A Unifying Semantics for Belief Change.
Richard BoothSamir ChopraThomas Andreas MeyerAditya GhosePublished in: ECAI (2004)
Keyphrases
- belief change
- belief revision
- epistemic states
- update operators
- belief update
- conditional logic
- minimal change
- default reasoning
- horn logic
- principle of minimal change
- propositional logic
- prime implicates
- logic programming
- formal semantics
- rationality postulates
- probability theory
- logical framework
- expert systems
- nonmonotonic reasoning
- logic programs
- domain knowledge