Changing Beliefs about Domain Dynamics in the Situation Calculus.
Toryn Q. KlassenSheila A. McIlraithHector J. LevesquePublished in: KR (2020)
Keyphrases
- situation calculus
- action theories
- blocks world
- sensing actions
- event calculus
- initial state
- taxonomic reasoning
- reasoning about actions
- provably correct
- logical language
- reasoning tasks
- action language
- concurrent actions
- fluent calculus
- modal logic
- domain independent
- agent programming
- belief revision
- modal operators
- domain specific
- dynamical systems
- multi agent systems