On the Role of Possibility in Action Execution and Knowledge in the Situation Calculus.
Vahid VaezianJames P. DelgrandePublished in: Canadian Conference on AI (2017)
Keyphrases
- situation calculus
- sensing actions
- action theories
- reasoning about actions
- fluent calculus
- initial state
- concurrent actions
- event calculus
- action language
- indirect effects
- knowledge base
- domain knowledge
- modal operators
- expert systems
- provably correct
- planning problems
- modal logic
- agent programming
- blocks world
- logical language
- background knowledge
- belief state
- heuristic search