Belief change with noisy sensing in the situation calculus
Jianbing MaWeiru LiuPaul MillerPublished in: CoRR (2012)
Keyphrases
- situation calculus
- belief change
- sensing actions
- belief revision
- action theories
- minimal change
- event calculus
- belief update
- initial state
- concurrent actions
- reasoning about actions
- fluent calculus
- reasoning tasks
- logical language
- propositional logic
- modal logic
- indirect effects
- belief base
- default reasoning
- planning problems
- expressive power
- probability distribution
- relational databases