On the Progression of Knowledge and Belief for Nondeterministic Actions in the Situation Calculus.
Liangda FangYongmei LiuXiming WenPublished in: IJCAI (2015)
Keyphrases
- situation calculus
- initial state
- modal operators
- sensing actions
- action theories
- reasoning about actions
- event calculus
- concurrent actions
- modal logic
- domain knowledge
- knowledge base
- logical theories
- blocks world
- belief space
- reasoning tasks
- logical language
- action language
- indirect effects
- universally quantified
- provably correct
- dynamic programming
- expert systems
- agent programming
- belief revision
- background knowledge
- general purpose
- search algorithm