Planning States and Operators
Example:
- goal is to be at B and fuel tank full
- truck is currently at A and fuel tank half
- A and B are connected
- you can only refuel at B
State:
- S0 = { at(TRUCK, A), fuel(HALF), connected(A,B), refuel-at(B) }
- everything is false unless explicitly stated true