Executability in the Situation Calculus.
Timothy Joseph CerexheMaurice PagnuccoPublished in: Australasian Conference on Artificial Intelligence (2011)
Keyphrases
- situation calculus
- event calculus
- reasoning about actions
- action theories
- initial state
- reasoning tasks
- fluent calculus
- modal logic
- provably correct
- blocks world
- sensing actions
- logical language
- indirect effects
- concurrent actions
- universally quantified
- modal operators
- agent programming
- action language
- general purpose