ABSTRACT

This chapter is a very short summary of the book where the central concepts are recalled as an extended glossary.

Bayesian filters are a particular case of Bayesian programs (see Section 17.4) defined as follows:

Pr

 

Ds

 

Sp(π)

 

V a :

S0, · · · , ST , O0, · · · , OT Dc : 

P ( S0 ∧ · · · ∧ ST ∧O0 ∧ · · · ∧OT |π)

= P ( S0 ∧O0)× T∏

[ P ( St|St−1)× P (Ot|St)]

Fo :  P ( S0 ∧O0)

P ( St|St−1)

P ( Ot|St)

Id

Qu : 

P ( St+k|O0 ∧ · · · ∧Ot)

(k = 0) ≡ Filtering (k > 0) ≡ Prediction (k < 0) ≡ Smoothing

(17.1)

See Section 13.1.2 for details and special cases like hidden Markov models (HMMs), Kalman filters, and particle filters.