Propositional knowledge base revision and minimal change
Artificial Intelligence
On the semantics of theory change: arbitration between old and new information
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On the revision of conditional belief sets
Conditionals
On the logic of iterated belief revision
Artificial Intelligence
Resolving Conflicting Information
Journal of Logic, Language and Information
Changing conditional beliefs unconditionally
TARK '96 Proceedings of the 6th conference on Theoretical aspects of rationality and knowledge
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
A negotiation-style framework for non-prioritised revision
TARK '01 Proceedings of the 8th conference on Theoretical aspects of rationality and knowledge
A modal logic framework for multi-agent belief fusion
ACM Transactions on Computational Logic (TOCL)
Matrix representation of belief states: an algebraic semantics for belief logics
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
Social contraction and belief negotiation
Information Fusion
Negotiation as mutual belief revision
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Aggregation of Trust for Iterated Belief Revision in Probabilistic Logics
SUM '09 Proceedings of the 3rd International Conference on Scalable Uncertainty Management
Representing and aggregating conflicting beliefs
Journal of Artificial Intelligence Research
ECSQARU'11 Proceedings of the 11th European conference on Symbolic and quantitative approaches to reasoning with uncertainty
Hi-index | 0.00 |
We introduce a new operator – belief fusion– which aggregates the beliefs of two agents, each informed by asubset of sources ranked by reliability. In the process we definepedigreed belief states, which enrich standard belief states withthe source of each piece of information. We note that the fusionoperator satisfies the invariants of idempotence, associativity, andcommutativity. As a result, it can be iterated without difficulty. Wealso define belief diffusion; whereas fusion generally produces abelief state with more information than is possessed by either of itstwo arguments, diffusion produces a state with less information. Fusionand diffusion are symmetric operators, and together define adistributive lattice. Finally, we show that AGM revision can be viewedas fusion between a novice and an expert.