From Belief Change to Obligation Change in the Situation Calculus.
Robert DemolombePublished in: ECAI (2004)
Keyphrases
- situation calculus
- belief change
- belief revision
- action theories
- minimal change
- belief update
- event calculus
- reasoning about actions
- provably correct
- modal logic
- fluent calculus
- initial state
- propositional logic
- reasoning tasks
- sensing actions
- concurrent actions
- horn logic
- multi agent systems
- reinforcement learning
- logical language
- taxonomic reasoning
- decision problems
- dynamic programming
- domain knowledge
- rationality postulates