Decidable Reasoning in a Fragment of the Epistemic Situation Calculus.
Gerhard LakemeyerHector J. LevesquePublished in: KR (2014)
Keyphrases
- situation calculus
- reasoning tasks
- reasoning about actions
- taxonomic reasoning
- action theories
- modal operators
- event calculus
- initial state
- concurrent actions
- modal logic
- provably correct
- fluent calculus
- computation tree logic
- knowledge base
- logical language
- action language
- knowledge representation and reasoning
- sensing actions
- reasoning systems
- automated reasoning
- indirect effects
- first order logic
- logic programming
- knowledge representation