A modal logic framework for multi-agent belief fusion
نویسندگان
چکیده
منابع مشابه
A Modal Logic for Reasoning about Possibilistic Belief Fusion
In this paper, we propose a modal logic for reasoning about possibilistic belief fusion. This is a combination of multiagent epistemic logic and possibilistic logic. We use graded epistemic operators to represent agents’ uncertain beliefs, and the operators are interpreted in accordance with possibilistic semantics. We employ ordered fusion based on a level skipping strategy to resolve the inco...
متن کاملar X iv : c s . A I / 02 01 02 0 v 1 23 J an 2 00 2 A Modal Logic Framework for Multi - agent Belief Fusion ∗
This paper is aimed at providing a uniform framework for reasoning about beliefs of multiple agents and their fusion. In the first part of the paper, we develop logics for reasoning about cautiously merged beliefs of agents with different degrees of reliability. The logics are obtained by combining the multi-agent epistemic logic and multi-sources reasoning systems. Every ordering for the relia...
متن کاملBelief Change in a Multi-Agent Framework
Title Abstract: \Belief change in a multi-agent framework" 1
متن کاملBelief, information acquisition, and trust in multi-agent systems--A modal logic formulation
In this paper, we consider the influence of trust on the assimilation of acquired information into an agent’s belief. By use of modal logic, we semantically and axiomatically characterize the relationship among belief, information acquisition and trust. The belief and information acquisition operators are respectively represented by KD45 and KD normal modalities, whereas trust is denoted by a m...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Computational Logic
سال: 2005
ISSN: 1529-3785,1557-945X
DOI: 10.1145/1042038.1042043