A unifying semantics for belief change.
Richard BoothSamir ChopraThomas Andreas MeyerAditya GhosePublished in: NMR (2004)
Keyphrases
- belief change
- belief revision
- epistemic states
- update operators
- belief update
- conditional logic
- propositional logic
- prime implicates
- principle of minimal change
- default reasoning
- logical framework
- minimal change
- formal semantics
- possibilistic logic
- logic programming
- description logics
- data model
- probability theory
- temporal logic
- belief set
- update semantics
- horn logic
- knowledge representation