Our aim is to represent object segmentation and its uncertainty, which means a
belief over object segmentation, and update this belief with new measurements over time. Representing such a belief is hard, because the space of possible segmentations is complex, high-dimensional, and can have multiple modes. Consequently, we cannot simply represent this belief with a Gaussian over object segmentation. We have shown previously that, instead, we can use a Monte Carlo approach for such representations, where each set of particles corresponds with the likely segmentation of the scene (
Mengers et al., 2023, Sec. III-A). These particles together represent a belief over the segmentation, which we can recursively update with a
particle filter (
Thrun, Burgard, & Fox, 2005). To give an intuition for this particle filtering approach, let us consider the general problem of estimating a belief over a state
st that dynamically changes over time and for which we obtain measurements
zt. When using a particle filter, we represent the belief over the state
st by a set of different particles, each a hypothesis
s[i] for the current state. If the state was not dynamic, we could now use the measurements over time to determine the true state by weighting each hypothesis with a weight
\(w^{[\mathrm{i}]}_\mathrm{t}\) (
Equation 1, where η is a normalizing factor and
i is the index of the particle). Unlikely states are removed using weighted resampling, that is, redetermining the particle set by randomly drawing with replacement particles from the current set according to their weights. To account for dynamism, we can add a prediction step (
Equation 2), where we adapt each hypothesis
\(s_\mathrm{t}^{[\mathrm{i}]}\) according to available information
at on the current development of the state
st. For a more detailed introduction and derivation of the particle filter, please see (
Thrun et al., 2005).
\begin{eqnarray}
\forall _i: w^{[\mathrm{i}]}_\mathrm{t} = \frac{1}{\eta } \cdot p(z_\mathrm{t} | s^{[\mathrm{i}]}_\mathrm{t})\quad
\end{eqnarray}
\begin{eqnarray}
\forall _i: s^{[\mathrm{i}]}_\mathrm{t} \sim p(s_\mathrm{t} | s^{[\mathrm{i}]}_{\mathrm{t-\Delta t}}, a_\mathrm{t}) \quad
\end{eqnarray}