Prioritized and non-prioritized multiple change on belief bases

DOI10.1007/s10992-011-9200-8zbMath1252.03032OpenAlexW1966781086MaRDI QIDQ421342

Marcelo A. Falappa, Maurício D. L. Reis, Gabriele Kern-Isberner, Guillermo R. Simari

Publication date: 23 May 2012

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-011-9200-8

zbMATH Keywords

belief revisionmergingbelief basesmultiple change operators

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30)

Related Items

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, Toward credible belief base revision, Deductive belief change, Levi and Harper identities for non-prioritized belief base change, Stratified belief bases revision with argumentative inference, Rational metabolic revision based on core beliefs, Credibility-limited Base Revision: New Classes and Their Characterizations, Assertional Removed Sets Merging of DL-Lite Knowledge Bases, Rational evaluation in belief revision, Belief revision in structured probabilistic argumentation, model and application to cyber security, Choice revision, Multi-source multiple change on belief bases, Four ways in which theories of belief revision could benefit from theories of epistemic justification, Bayesian belief revision based on Agent's criteria, Belief base contraction by belief accrual, A characterization of probability-based dichotomous belief revision

Cites Work

• Theory contraction through base contraction
• A mathematical treatment of defeasible reasoning and its implementation.
• Maps between some different kinds of contraction function: the finite case
• Belief contraction without recovery
• Reversing the Levi identity
• A survey of multiple contractions
• Explanations, belief revision and defeasible reasoning.
• Multiple kernel contraction
• Belief revision: A critique
• Selective revision
• A textbook of belief dynamics. Theory change and database updating
• Semi-revision
• Prime Implicates and Prime Implicants: From Propositional to Modal Logic
• On the logic of theory change: Partial meet contraction and revision functions
• Kernel contraction
• Credibility limited revision
• Merging Logic Programs under Answer Set Semantics
• Merging Information Under Constraints: A Logical Framework
• Defeasible logic programming: an argumentative approach
• The Limit Assumption and Multiple Revision
• On Cores and Prime Implicants of Truth Functions
• Infinitary belief revision
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item