 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| n |
Real world is
absurdly complex
|
|
|
state space must be abstracted for problem
solving
|
|
|
| n |
(Abstract)
state = set of real states
|
|
|
| n |
(Abstract)
action = complex combination of real actions
|
|
|
n |
e.g.,
"Arad Zerind" represents a complex set of possible
routes,
|
|
detours, rest
stops, etc.
|
|
| n |
For guaranteed
realizability, any real state "in Arad“ must
|
|
|
get to some real state "in Zerind"
|
|
|
| n |
(Abstract)
solution =
|
|
|
|
n |
set of real
paths that are solutions in the real world
|
|
| n |
Each abstract
action should be "easier" than the original
|
|
|
problem
|
|
