ADL: Exploring the Middle Ground Between STRIPS and the Situation Calculus.
Edwin P. D. PednaultPublished in: KR (1989)
Keyphrases
- situation calculus
- event calculus
- action theories
- reasoning about actions
- initial state
- concurrent actions
- reasoning tasks
- provably correct
- modal logic
- action language
- blocks world
- fluent calculus
- agent programming
- description language
- logical language
- indirect effects
- sensing actions
- software engineering
- universally quantified
- multi agent