Main issues in belief revision, belief merging and information fusion

DOI10.1007/978-3-030-06164-7_14MaRDI QIDQ6602229zbMATH OpenFDO

Authors Didier Dubois, Patricia Everaere, Sébastien Konieczny, Odile Papini

Publication date 11 September 2024

Full work available at URL https://doi.org/10.1007/978-3-030-06164-7_14

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 1252389
• Belief fusion and revision: an overview based on epistemic logic semantics
• Merging Information Under Constraints: A Logical Framework
• Information fusion and revision in qualitative and quantitative settings. Steps towards a unified framework
• Logic based merging

Cites work

• scientific article; zbMATH DE number 4074045 (Why is no real title available?)
• scientific article; zbMATH DE number 1376305 (Why is no real title available?)
• scientific article; zbMATH DE number 108002 (Why is no real title available?)
• scientific article; zbMATH DE number 3560492 (Why is no real title available?)
• scientific article; zbMATH DE number 1252389 (Why is no real title available?)
• scientific article; zbMATH DE number 1269569 (Why is no real title available?)
• scientific article; zbMATH DE number 1269571 (Why is no real title available?)
• scientific article; zbMATH DE number 1301608 (Why is no real title available?)
• scientific article; zbMATH DE number 592370 (Why is no real title available?)
• scientific article; zbMATH DE number 1735982 (Why is no real title available?)
• scientific article; zbMATH DE number 1149444 (Why is no real title available?)
• scientific article; zbMATH DE number 2000821 (Why is no real title available?)
• scientific article; zbMATH DE number 1784992 (Why is no real title available?)
• scientific article; zbMATH DE number 800786 (Why is no real title available?)
• scientific article; zbMATH DE number 2243366 (Why is no real title available?)
• A Default Logic Patch for Default Logic
• A consistency-based framework for merging knowledge bases
• A framework for iterated belief revision using possibilistic counterparts to Jeffrey's rule
• A framework for iterated revision
• A glance at revision and updating in knowledge bases
• A model-theoretic approach to belief change in answer set programming
• A simple signed system for paraconsistent reasoning
• A synthetic view of belief revision with uncertain inputs in the framework of possibility theory
• A textbook of belief dynamics. Theory change and database updating
• AGM 25 years. Twenty-five years of research in belief change
• Admissible and restrained revision
• Aggregation functions.
• Belief Base Change Operations for Answer Set Programming
• Belief merging within fragments of propositional logic
• Belief revision in Horn theories
• Boosting distance-based revision using SAT encodings
• COBA 2.0: A Consistency-Based Belief Change System
• Capturing model-based ontology evolution at the instance level: the case of DL-Lite
• Change, choice and inference. A study of belief revision and nonmonotonic reasoning
• Combining probability distributions: A critique and an annotated bibliography
• Conditionals in nonmonotonic reasoning and belief revision. Considering conditionals as agents
• Controlled Revision - An algorithmic approach for belief revision
• DL-Lite contraction and revision
• Disjunctive merging: quota and Gmin merging operators
• Dynamic updates of non-monotonic knowledge bases
• Entrenchment-based Horn contraction
• Epistemic entrenchment and possibilistic logic
• Extending Removed Sets Revision to partially preordered belief bases
• Fusion of possibilistic knowledge bases from a postulate point of view.
• Fusion: General concepts and characteristics
• Horn clause contraction functions
• Implementing semantic merging operators using binary decision diagrams
• Information fusion and revision in qualitative and quantitative settings. Steps towards a unified framework
• Integration of weighted knowledge bases
• Iterated belief revision, revised
• Iterated revision and minimal change of conditional beliefs
• Knowledge Base Revision in Description Logics
• Knowledge in flux. Modeling the dynamics of epistemic states
• Lost in translation: language independence in propositional logic -- application to belief change
• Merging Belief Bases Represented by Logic Programs
• Merging First-Order Knowledge Using Dilation Operators
• Merging Information Under Constraints: A Logical Framework
• Merging Logic Programs under Answer Set Semantics
• Merging Qualitative Constraints Networks Using Propositional Logic
• Notes on the history of ideas behind AGM
• On inference from inconsistent premisses
• On properties of update sequences based on causal rejection
• On the Semantics of Arbitration
• On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games
• On the complexity of propositional knowledge base revision, updates, and counterfactuals
• On the link between partial meet, kernel, and infra contraction and its application to Horn logic
• On the logic of iterated belief revision
• On the logic of theory change: Partial meet contraction and revision functions
• On the logic of theory change: safe contraction
• On the merging of Dung's argumentation systems
• On the semantics of combination operations
• Possibilistic merging and distance-based fusion of propositional information
• Prime implicates and relevant belief revision
• Prioritized assertional-based removed sets revision of \textit{DL}-\textit{Lite} belief bases
• Propositional knowledge base revision and minimal change
• Rational belief change, Popper functions and counterfactuals
• Reasoning with partially ordered information in a possibilistic logic framework
• Reconsidering AGM-style belief revision in the context of logic programs
• Reversing the Levi identity
• Semi-revision
• Shifting Priorities: Simple Representations for Twenty-Seven Iterated Theory Change Operators
• Some syntactic approaches to the handling of inconsistent knowledge bases: A comparative study. I: The flat case
• Strong equivalence made easy: nested expressions and weight constraints
• Study of some algebraical properties of adaptive combination rules
• Syntactic Propositional Belief Bases Fusion with Removed Sets
• Three Scenarios for the Revision of Epistemic States
• Two modellings for theory change
• Update rules in datalog programs
• Using Transfinite Ordinal Conditional Functions
• \(\text{DA}^2\) merging operators

Cited in

(1)

• Argumentation and inconsistency-tolerant reasoning

This page was built for publication: Main issues in belief revision, belief merging and information fusion

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