Belief change with noisy sensing in the situation calculus.
Jianbing MaWeiru LiuPaul MillerPublished in: UAI (2011)
Keyphrases
- situation calculus
- belief change
- sensing actions
- belief revision
- action theories
- minimal change
- event calculus
- belief update
- reasoning about actions
- propositional logic
- initial state
- reasoning tasks
- modal logic
- fluent calculus
- concurrent actions
- logical language
- horn logic
- default reasoning
- relational databases
- action language
- belief base
- belief set
- temporal logic
- bayesian networks