Belief fusion and revision: an overview based on epistemic logic semantics

@article{Liau2004BeliefFA,
  title={Belief fusion and revision: an overview based on epistemic logic semantics},
  author={Churn-Jung Liau},
  journal={Journal of Applied Non-Classical Logics},
  year={2004},
  volume={14},
  pages={247 - 274}
}
  • C. Liau
  • Published 1 January 2004
  • Philosophy, Computer Science
  • Journal of Applied Non-Classical Logics
In this paper, we formulate some approaches to belief fusion and revision using epistemic logic semantics. Fusion operators considered in this paper are majority merging, arbitration, and general merging. Some modalities corresponding to belief fusion and revision operators are incorporated into epistemic logics. The Kripke semantics of these extended logics are presented. While most existing approaches treat belief fusion and revision operators as meta-level constructs, we directly incorporate… 
1 Citations
A Modal Logic for Reasoning with Contradictory Beliefs Which Takes into Account the Number and the Reliability of the Sources
TLDR
A modal logic is presented, extending KD logic, for reasoning with merged beliefs accordingly and it is shown that this logic unifies two different logics that have been defined in the past.

References

SHOWING 1-10 OF 75 REFERENCES
Epistemic Logics for Information Fusion
  • C. Liau
  • Philosophy, Computer Science
    ECSQARU
  • 2003
TLDR
The fusion operators considered in this paper include majority merging, arbitration, and general merging are considered and some modalities corresponding to these fusion operators are added to epistemic logics and the Kripke semantics of these extended logics are presented.
A modal logic framework for multi-agent belief fusion
TLDR
A modal logic framework for reasoning about cautiously merged agent beliefs that have different degrees of reliability is provided by combining the multi-agent epistemic logic and multi-source reasoning systems.
A Logic for Revision and Subjunctive Queries
We present a logic for belief revision in which revision of a theory by a sentence is represented using a conditional connective. The conditional is not primitive, but rather defined using two unary
Conditional Logics of Belief Change
TLDR
This paper investigates properties of a range of possible belief change operations and provides a logical language that describes belief change in such systems and gets both a semantic and an axiomatic characterization of belief revision and update in one natural framework.
A Modal Logic for Merging Partial Belief of Multiple Reasoners
TLDR
PL n, a multi-agent epistemic logic where each agent can perform uncertain (possibilistic) reasoning, is presented; a possible worlds semantics and an axiomatic calculus are provided and soundness, completeness and decidability are proved.
Possibilistic Reasoning - A Mini-Survey and Uniform Semantics
From Semantic to Syntactic Approaches to Information Combination in Possibilistic Logic
TLDR
S syntactic combination rules for merging uncertain propositional knowledge bases provided by different sources of information, in the framework of possibilistic logic, are proposed.
Belief Fusion: Aggregating Pedigreed Belief States
TLDR
A new operator is introduced – belief fusion – which aggregates the beliefs of two agents, each informed by a subset of sources ranked by reliability, which definespedigreed belief states, which enrich standard belief states with the source of each piece of information.
Belief, information acquisition, and trust in multi-agent systems--A modal logic formulation
  • C. Liau
  • Computer Science
    Artif. Intell.
  • 2003
...
...