Bayes filter is a recursive method that takes past beliefs and updates them to produce a future belief.
It is used in a variety of applications like Histogram, Kalman and particle filters
$bel(x_t)=\eta p(z_t|x_t) \int p(x_t|u_t,x_{t-1})bel(x_{t-1})dx_{t-1}$
A framework for recursive state estimate
The above will produce an updated belief in a future timestep

<aside> 💡 Movement: Law of Total Probability
</aside>
<aside> 💡 Measurement: Bayes Rule
</aside>
Probability of $Y$ happening given that $X$ has occurred
$$ P(Y|X) = \frac{P(Y\cap X)}{P(X)} $$
<aside> 📌 SUMMARY: Bayes filter is what many filter applications are built on. The two terms in the filter are a result of movement (Total probability) and measurement (Histogram filter)
</aside>
The probability of a future time-step is dependent on the summation of the probabilities of the previous locations
The total probability of an outcome can be realized via several distinct events

$P(X_i^t) = \sum P(X_j^{t-1})\cdot P(X_i|X_j)$
<aside> 💡 Total probability is applied for movement, and is shown in the Bayes filter above (within integral)
</aside>
Law of total probably is the sum of the probability of $A$ occurring given that $B$ occurs, multiplied by the probability that $B$ occurs.
<aside> 📌 SUMMARY: Total probability is used for estimating future positions based on prior movements
</aside>