Belief merging by examples

DOI10.1145/2818645MaRDI QIDQ5277910zbMATH OpenOpenAlexFDO

Authors Paolo Liberatore

Publication date 12 July 2017

Published in ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1409.5340

zbMATH Keywords

belief mergingreliability estimation

Mathematics Subject Classification ID

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

Abstract: A common assumption in belief revision is that the reliability of the information sources is either given, derived from temporal information, or the same for all. This article does not describe a new semantics for integration but the problem of obtaining the reliability of the sources given the result of a previous merging. As an example, the relative reliability of two sensors can be assessed given some certain observation, and allows for subsequent mergings of data coming from them.

Recommendations

• Belief integration and source reliability assessment
• Logic based merging
• Merging information
• Merging Information Under Constraints: A Logical Framework
• Logics in Artificial Intelligence

Cites work

• A model-theoretic approach to belief change in answer set programming
• Belief contraction in the context of the general theory of rational choice
• Belief revision and update: Complexity of model checking
• Degrees of acyclicity for hypergraphs and relational database schemes
• Disjunctive merging: quota and Gmin merging operators
• scientific article; zbMATH DE number 1269566 (Why is no real title available?)
• scientific article; zbMATH DE number 1301608 (Why is no real title available?)
• Iterated belief revision, revised
• Logic based merging
• Maps in Multiple Belief Change
• 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 Semantics of Arbitration
• Propositional update operators based on formula/literal dependence
• Reconstructing an Agent's Epistemic State from Observations about its Beliefs and Non-beliefs
• Revising beliefs on the basis of evidence
• Revision by history
• Solving SAT and SAT modulo theories, from an abstract Davis-Putnam-Logemann-Loveland procedure to \(\operatorname{DPLL}(T)\)
• Tableau methods for classical propositional logic
• The complexity of nested counterfactuals and iterated knowledge base revisions

Cited in

(5)

• Impossibility in belief merging
• Belief integration and source reliability assessment
• Merging information
• Conciliation through Iterated Belief Merging
• Mixed Iterated Revisions: Rationale, Algorithms, and Complexity

This page was built for publication: Belief merging by examples

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