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