Foundations for the Situation Calculus.
Hector J. LevesqueFiora PirriRaymond ReiterPublished in: Electron. Trans. Artif. Intell. (1998)
Keyphrases
- situation calculus
- action theories
- event calculus
- reasoning about actions
- artificial intelligence
- initial state
- fluent calculus
- reasoning tasks
- provably correct
- concurrent actions
- logical language
- modal logic
- blocks world
- indirect effects
- taxonomic reasoning
- sensing actions
- agent programming
- search algorithm
- multi agent