Some notes on action representation
STRIPS Assumption: Actions must specify all the state variables whose values they change...
No disjunction allowed in effects
- Conditional effects are NOT disjunctive
- (antecedent refers to the previous state & consequent refers to the next state)
Quantification is over finite universes
- essentially syntactic sugaring
All actions can be compiled down to a canonical representation where preconditions and effects are propositional
- Exponential blow-up may occur (e.g removing conditional effects)
- We will assume the canonical representation