Suppose that the goal is HAVE(MILK).
– From some initial state where HAVE(MILK) is not
satisfied, the successor function must be
repeatedly applied to eventually generate a state
where HAVE(MILK) is satisfied.
– An explicit representation of the possible actions
and their effects would help the problem solver
select the relevant actions
– Otherwise, in the real world an agent would be
overwhelmed by irrelevant actions