A Characterization of Belief Merging Operators in the Regular Horn Fragment of Signed Logic.
Pilar DellundePublished in: MDAI (2020)
Keyphrases
- horn logic
- belief base
- merging operators
- belief revision
- propositional logic
- belief merging
- possibilistic logic
- belief change
- logical properties
- belief set
- logical framework
- modal operators
- probability theory
- default reasoning
- nonmonotonic logics
- horn clauses
- np hard
- logic programming
- truth values
- knowledge base
- nonmonotonic reasoning
- probabilistic logic
- preference relations
- belief update
- aggregation functions
- belief functions
- modal logic
- minimal change
- aggregate queries
- classical logic