Contraction: On the Decision-Theoretical Origins of Minimal Change and Entrenchment.
Horacio L. Arló-CostaIsaac LeviPublished in: Synth. (2006)
Keyphrases
- minimal change
- belief change
- belief revision
- belief update
- horn contraction
- logic program updates
- decision making
- propositional logic
- belief set
- horn logic
- nonmonotonic reasoning
- decision problems
- default reasoning
- probability theory
- ctl model update
- action theories
- model theoretic
- reasoning about actions
- decision makers
- probability distribution
- relational databases
- knowledge base