next up previous
Next: SINGLE-MATERIAL WORLDS WITH SINGLE-STATE Up: SINGLE-MATERIAL WORLDS Previous: SINGLE-MATERIAL WORLDS

SINGLE-MATERIAL WORLDS WITH NO TOOLS

Since materials have linear chains as their state spaces, action in them is restricted, to say the least. In the case of an egg, we might have the chain:

displaymath1866

(We will assume that the identity, or ``nop,'' action is always available in every state. This is not a trivial assumption.) In any given state, only one non-trivial action can be executed, so action selection for an agent is trivial. When solving a DCP involving a single-material world one of the following must always hold:

All that really matters in single-material worlds, therefore, is how many states there are and in which direction the goal lies relative to the current state. In a sense, there is only really one single-material world, or rather one class of them, namely the chains tex2html_wrap_inline1876 of given length: 

displaymath1867

(Note this is just the same as the environment tex2html_wrap_inline1878 , but without the actions that move backward along the chain.)

proposition439

Proof: Let E=(S,A) be the single-material environment. Define tex2html_wrap_inline1886 by letting tex2html_wrap_inline1888 be s's position in E's state chain, i.e. the first state maps to 1, the second to 2, etc. Let action(s) denote the unique action that can be performed in state s. Then

displaymath1868

is a tex2html_wrap_inline1600 -implementation of tex2html_wrap_inline1650 and so E is reduced. tex2html_wrap_inline1904

Just as there is only one real class of single-material worlds, there is only one real class of policies for single-material DCPs:

displaymath1869

which clearly solves the DCP tex2html_wrap_inline1906 for any n and valid G.

  corollary448


next up previous
Next: SINGLE-MATERIAL WORLDS WITH SINGLE-STATE Up: SINGLE-MATERIAL WORLDS Previous: SINGLE-MATERIAL WORLDS

Ian Horswill
Wed Apr 2 15:17:20 CST 1997