Decidable Reasoning in a Modified Situation Calculus.
Yilan GuMikhail SoutchanskiPublished in: IJCAI (2007)
Keyphrases
- situation calculus
- reasoning tasks
- reasoning about actions
- taxonomic reasoning
- action theories
- event calculus
- initial state
- modal logic
- concurrent actions
- logical language
- provably correct
- fluent calculus
- blocks world
- action language
- logic programming language
- agent programming
- knowledge base
- reasoning systems
- automated reasoning
- knowledge representation
- sensing actions
- query evaluation
- universally quantified