Propositional knowledge base revision and minimal change
Artificial Intelligence
Reasoning about knowledge
KQML as an agent communication language
Software agents
Reasoning about Information Change
Journal of Logic, Language and Information
Arbitration (or How to Merge Knowledge Bases)
IEEE Transactions on Knowledge and Data Engineering
Automated Reasoning with Merged Contradictory Information Whose Reliability Depends on Topics
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Belief, information acquisition, and trust in multi-agent systems: a modal logic formulation
Artificial Intelligence
A Logical Approach for Describing (Dis)Belief Change and Message Processing
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
From Binary Trust to Graded Trust in Information Sources: A Logical Perspective
Trust in Agent Societies
Dynamic Epistemic Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
(Dis)Belief change based on messages processing
CLIMA IV'04 Proceedings of the 4th international conference on Computational Logic in Multi-Agent Systems
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
A combined system for update logic and belief revision
PRIMA'04 Proceedings of the 7th Pacific Rim international conference on Intelligent Agents and Multi-Agent Systems
| Hi-index | 0.00 |
The aim of this paper is to propose a modal framework for reasoning about signed information. This modal framework allows agents to keep track of information source as long as they receive information in a multi-agent system. Agents gain that they can elaborate and justify their own current belief state by considering a reliability relation over the sources of information. The belief elaboration process is considered under two perspectives: (i) from a static point of view an agent aggregates received signed information according to its preferred sources in order to build its belief and (ii) from a dynamic point of view as an agent receives information it adapts its belief state about signed information. Splitting the notions of beliefs and signed statement is useful for handling the underlying trust issue: an agent believes some statement because it may justify the statement's origin and its reliability.