Journal of Symbolic Logic
Resolving Conflicting Information
Journal of Logic, Language and Information
Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
Revisions of knowledge systems using epistemic entrenchment
TARK '88 Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic (TOCL)
Belief operations for motivated BDI agents
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 1
Hi-index | 0.00 |
In this work we extend the communication abilities of agents in multi-agent systems by enabling them to reason about the credibility of information to be shared with other agents. We propose a framework in which agents exchange sentences of a logical language enriched by meta-information. We discuss several possible approaches and present an advanced approach overcoming previously shown problems. For this, we make use of a calculation method for the plausibility of information known from approaches to belief dynamics in multi-agent systems. Moreover, we present how this can be implemented in a multi-agent system.