Under this model, the history I-state is truncated. Any actions or
observations received earlier than
stages ago are dropped from
memory. An I-map,
, is defined as
 |
(11.41) |
for any integer
and
. If
, then the derived
I-state is the full history I-state, (11.14). The
advantage of this approach, if it leads to a solution, is that the
length of the I-state no longer grows with the number of stages. If
and
are finite, then the derived I-space is also finite. Note
that
is sufficient in the sense defined in Section
11.2.1 because enough history is passed from stage to stage
to determine the derived I-states.
Steven M LaValle
2020-08-14