Keyphrases
- situation calculus
- logical language
- action theories
- event calculus
- reasoning about actions
- initial state
- fluent calculus
- blocks world
- reasoning tasks
- provably correct
- universally quantified
- concurrent actions
- formal semantics
- taxonomic reasoning
- operational semantics
- modal logic
- knowledge representation
- agent programming
- sensing actions
- general purpose
- logical theories
- expert systems
- search algorithm