Between Belief Bases and Belief Sets: Partial Meet Contraction.
Yuri David SantosMárcio Moretto RibeiroRenata WassermannPublished in: DARe@IJCAI (2015)
Keyphrases
- belief change
- belief base
- belief revision
- horn logic
- horn contraction
- belief merging
- propositional logic
- logical properties
- belief set
- possibilistic logic
- belief update
- merging operators
- minimal change
- default reasoning
- update operators
- constraint satisfaction
- probability theory
- nonmonotonic reasoning
- revision operators
- logical framework
- probabilistic logic