Multi-source multiple change on belief bases

DOI10.1016/j.ijar.2019.04.008zbMath1460.68102OpenAlexW2941126761WikidataQ128002422 ScholiaQ128002422MaRDI QIDQ2283279

Guillermo R. Simari, Luciano H. Tamargo, Cristhian A. D. Deagustini, Marcelo A. Falappa, Alejandro Javier García

Publication date: 30 December 2019

Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ijar.2019.04.008

zbMATH Keywords

belief basesmulti-source belief revisionmultiple change

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Agent technology and artificial intelligence (68T42)

Related Items (3)

Merging existential rules programs in multi-agent contexts through credibility accrual ⋮ Formalization and implementation of credibility dynamics through prioritized multiple revision ⋮ Merging operators on stratified belief bases equipped with argumentative inference

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Parallel belief revision: revising by sets of formulas
• Prioritized and non-prioritized multiple change on belief bases
• Logic based merging
• On the logic of theory change: safe contraction
• Rational belief change, Popper functions and counterfactuals
• Subjunctives, dispositions and chances
• Resolving conflicting information
• A practical approach to revising prioritized knowledge bases
• Arguing about informant credibility in open multi-agent systems
• Multiple kernel contraction
• Refined epistemic entrenchment
• A textbook of belief dynamics. Theory change and database updating
• A belief revision framework for revising epistemic states with partial epistemic states
• On the revision of informant credibility orders
• Merging Belief Bases Represented by Logic Programs
• On the logic of theory change: Partial meet contraction and revision functions
• Kernel contraction
• Merging Information Under Constraints: A Logical Framework
• Strong equivalence made easy: nested expressions and weight constraints
• Safe Contraction Revisited
• A Belief-Based Approach to Measuring Message Acceptability
• A framework for multi-agent belief revision

This page was built for publication: Multi-source multiple change on belief bases