root/doc/html/philosophy.html @ 259

Revision 259, 6.8 kB (checked in by smidl, 15 years ago)

doc

Line 
1<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
2<html><head><meta http-equiv="Content-Type" content="text/html;charset=UTF-8">
3<title>mixpp: Introduction to Bayesian Decision Making Toolbox BDM</title>
4<link href="doxygen.css" rel="stylesheet" type="text/css">
5<link href="tabs.css" rel="stylesheet" type="text/css">
6</head><body>
7<!-- Generated by Doxygen 1.5.6 -->
8<div class="navigation" id="top">
9  <div class="tabs">
10    <ul>
11      <li><a href="index.html"><span>Main&nbsp;Page</span></a></li>
12      <li><a href="pages.html"><span>Related&nbsp;Pages</span></a></li>
13      <li><a href="modules.html"><span>Modules</span></a></li>
14      <li><a href="annotated.html"><span>Classes</span></a></li>
15      <li><a href="files.html"><span>Files</span></a></li>
16    </ul>
17  </div>
18</div>
19<div class="contents">
20<h1><a class="anchor" name="philosophy">Introduction to Bayesian Decision Making Toolbox BDM </a></h1>This is a brief introduction into elements used in the BDM. The toolbox was designed for two principle tasks:<p>
21<ul>
22<li>
23Design of Bayesian decisions-making startegies,  </li>
24<li>
25Bayesian system identification for on-line and off-line scenarios.  </li>
26</ul>
27Theoretically, the latter is a special case of the former, however we list it separately to highlight its importance in practical applications.<p>
28Here, we describe basic objects that are required for implementation of the Bayesian parameter estimation.<p>
29Key objects are: <dl>
30<dt>Bayesian Model: class <code>BM</code>  </dt>
31<dd>which is an encapsulation of the likelihood function, the prior and methodology of evaluation of the Bayes rule. This methodology may be either exact or approximate. </dd>
32<dt>Posterior density of the parameter: class <code>epdf</code>  </dt>
33<dd>representing posterior density of the parameter. Methods defined on this class allow any manipulation of the posterior, such as moment evaluation, marginalization and conditioning.  </dd>
34</dl>
35<h2><a class="anchor" name="bm">
36Class BM</a></h2>
37The class BM is designed for both on-line and off-line estimation. We make the following assumptions about data: <ul>
38<li>
39an individual data record is stored in a vector, <code>vec</code> <code>dt</code>, </li>
40<li>
41a set of data records is stored in a matrix,<code>mat</code> <code>D</code>, where each column represent one individual data record  </li>
42</ul>
43<p>
44On-line estimation is implemented by method <div class="fragment"><pre class="fragment"> <span class="keywordtype">void</span> bayes(vec dt)
45</pre></div> Off-line estimation is implemented by method <div class="fragment"><pre class="fragment"> <span class="keywordtype">void</span> bayesB(mat D)
46</pre></div><p>
47As an intermediate product, the bayes rule computes marginal likelihood of the data records <img class="formulaInl" alt="$ f(D) $" src="form_86.png">. Numerical value of this quantity which is important e.g. for model selection can be obtained by calling method <code>_ll()</code>.<h2><a class="anchor" name="epdf">
48Getting results from BM</a></h2>
49Class <code>BM</code> offers several ways how to obtain results: <ul>
50<li>
51generation of posterior or predictive pdfs, methods <code>_epdf()</code> and <code>predictor()</code>  </li>
52<li>
53direct evaluation of predictive likelihood, method <code>logpred()</code>  </li>
54</ul>
55Underscore in the name of method <code>_epdf()</code> indicate that the method returns a pointer to the internal posterior density of the model. On the other hand, <code>predictor</code> creates a new structure of type <code>epdf()</code>.<p>
56Direct evaluation of predictive pdfs via logpred offers a shortcut for more efficient implementation.<h2><a class="anchor" name="epdf">
57Getting results from BM</a></h2>
58As introduced above, the results of parameter estimation are in the form of probability density function conditioned on numerical values. This type of information is represented by class <code>epdf</code>.<p>
59This class allows such as moment evaluation via methods <code>mean()</code> and <code>variance()</code>, marginalization via method <code>marginal()</code>, and conditioning via method <code>condition()</code>.<p>
60Also, it allows generation of a sample via <code>sample()</code> and evaluation of one value of the posterior parameter likelihood via <code>evallog()</code>. Multivariate versions of these operations are also available by adding suffix <code>_m</code>, i.e. <code>sample_m()</code> and <code>evallog_m()</code>. These methods providen multiple samples and evaluation of likelihood in multiple points respectively.<h2><a class="anchor" name="pc">
61Classes for probability calculus</a></h2>
62When a more demanding task then generation of point estimate of the parameter is required, the power of general probability claculus can be used. The following classes (together with <code>epdf</code> introduced above) form the basis of the calculus: <ul>
63<li>
64<code>mpdf</code> a pdf conditioned on another symbolic variable, </li>
65</ul>
66<p>
67<code>RV</code> a symbolic variable on which pdfs are defined.  The former class is an extension of mpdf that allows conditioning on a symbolic variable. Hence, when numerical results - such as samples - are required, numericla values of the condition must be provided. The names of methods of the <code>epdf</code> are used extended by suffix <code>cond</code>, i.e. <code>samplecond()</code>, <code>evallogcond()</code>, where <code>cond</code> precedes matrix estension, i.e. <code>samplecond_m()</code> and <code>evallogcond_m()</code>.<p>
68The latter class is used to identify how symbolic variables are to be combined together. For example, consider the task of composition of pdfs via the chain rule: <p class="formulaDsp">
69<img class="formulaDsp" alt="\[ f(a,b,c) = f(a|b,c) f(b) f(c) \]" src="form_89.png">
70<p>
71 In our setup, <img class="formulaInl" alt="$ f(a|b,c) $" src="form_90.png"> is represented by an <code>mpdf</code> while <img class="formulaInl" alt="$ f(b) $" src="form_91.png"> and <img class="formulaInl" alt="$ f(c) $" src="form_92.png"> by two <code>epdfs</code>. We need to distinguish the latter two from each other and to deside in which order they should be added to the mpdf. This distinction is facilitated by the class <code>RV</code> which uniquely identify a random varibale.<p>
72Therefore, each pdf keeps record on which RVs it represents; <code>epdf</code> needs to know only one <code>RV</code> stored in the attribute <code>rv</code>; <code>mpdf</code> needs to keep two <code>RVs</code>, one for variable on which it is defined (<code>rv</code>) and one for variable incondition which is stored in attribute <code>rvc</code>. </div>
73<hr size="1"><address style="text-align: right;"><small>Generated on Tue Jan 27 16:30:11 2009 for mixpp by&nbsp;
74<a href="http://www.doxygen.org/index.html">
75<img src="doxygen.png" alt="doxygen" align="middle" border="0"></a> 1.5.6 </small></address>
76</body>
77</html>
Note: See TracBrowser for help on using the browser.