Transforming Situation Calculus Action Theories for Optimised Reasoning.
Christopher James EwinAdrian R. PearceStavros VassosPublished in: KR (2014)
Keyphrases
- situation calculus
- action theories
- reasoning about actions
- reasoning tasks
- taxonomic reasoning
- event calculus
- initial state
- modal logic
- action language
- incomplete information
- knowledge base
- indirect effects
- knowledge representation
- probabilistic logic
- concurrent actions
- knowledge representation and reasoning
- probabilistic reasoning
- search space
- expert systems