Prioritized and non-prioritized multiple change on belief bases

DOI10.1007/S10992-011-9200-8MaRDI QIDQ421342zbMATH OpenOpenAlexFDO

Authors Marcelo A. Falappa, Gabriele Kern-Isberner, Mauricio Reis, 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

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

Recommendations

• Shifting Priorities: Simple Representations for Twenty-Seven Iterated Theory Change Operators
• Non-prioritized ranked belief change
• scientific article; zbMATH DE number 1500574
• Explanations, belief revision and defeasible reasoning.
• Modellings for belief change: Prioritization and entrenchment*

Cites work

• scientific article; zbMATH DE number 4168658 (Why is no real title available?)
• scientific article; zbMATH DE number 1269565 (Why is no real title available?)
• scientific article; zbMATH DE number 1333630 (Why is no real title available?)
• scientific article; zbMATH DE number 610968 (Why is no real title available?)
• scientific article; zbMATH DE number 1537937 (Why is no real title available?)
• A mathematical treatment of defeasible reasoning and its implementation.
• A survey of multiple contractions
• A textbook of belief dynamics. Theory change and database updating
• Belief contraction without recovery
• Belief revision: A critique
• Credibility limited revision
• Defeasible logic programming: an argumentative approach
• Explanations, belief revision and defeasible reasoning.
• Infinitary belief revision
• Kernel contraction
• Knowledge in flux. Modeling the dynamics of epistemic states
• Maps between some different kinds of contraction function: the finite case
• Merging Information Under Constraints: A Logical Framework
• Merging Logic Programs under Answer Set Semantics
• Multiple kernel contraction
• On Cores and Prime Implicants of Truth Functions
• On the logic of theory change: Partial meet contraction and revision functions
• Prime implicates and prime implicants: from propositional to modal logic
• Reversing the Levi identity
• Selective revision
• Semi-revision
• The Limit Assumption and Multiple Revision
• Theory contraction through base contraction

Cited in

(20)

• Assertional removed sets merging of DL-Lite knowledge bases
• Choice revision
• Merging existential rules programs in multi-agent contexts through credibility accrual
• Levi and Harper identities for non-prioritized belief base change
• Multi-source multiple change on belief bases
• Belief revision in structured probabilistic argumentation, model and application to cyber security
• A characterization of probability-based dichotomous belief revision
• Stratified belief bases revision with argumentative inference
• Non-prioritized ranked belief change
• Bayesian belief revision based on Agent's criteria
• Toward credible belief base revision
• Formalization and implementation of credibility dynamics through prioritized multiple revision
• Merging operators on stratified belief bases equipped with argumentative inference
• Four ways in which theories of belief revision could benefit from theories of epistemic justification
• Deductive belief change
• Credibility-limited base revision: new classes and their characterizations
• Preemption operators
• Belief base contraction by belief accrual
• Rational evaluation in belief revision
• Rational metabolic revision based on core beliefs

This page was built for publication: Prioritized and non-prioritized multiple change on belief bases

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q421342)