How Represent Actions?
Simplifying assumptions
- Atomic time
- Agent is omniscient (no sensing necessary).
- Agent is sole cause of change
- Actions have deterministic effects
STRIPS representation
- World = set of true propositions
- Actions:
- Precondition: (conjunction of literals)
- Effects (conjunction of literals)