Reasoning in the Situation Calculus with Limited Belief.
Christoph SchweringPublished in: COMMONSENSE (2017)
Keyphrases
- situation calculus
- reasoning tasks
- reasoning about actions
- taxonomic reasoning
- modal operators
- event calculus
- action theories
- initial state
- fluent calculus
- provably correct
- logical language
- concurrent actions
- knowledge base
- logic programming language
- blocks world
- knowledge representation
- belief revision
- indirect effects
- agent programming
- action language
- first order logic
- sensing actions
- automated reasoning
- belief space
- modal logic
- reasoning systems
- default reasoning