From Signed Information to Belief in Multi-Agent Systems

The aim of this paper is to propose a logical framework for reasoning about signed information. That is, as long as agents receive information in a multi-agent system, they keep track of the information source. The main advantage is that by considering a reliability relation over the sources of information, agents can justify their own current belief state. Agents believe at first information issued from the most reliable sources. Keeping track of belief’s origin also enables agents to improve communication by asking and gaining details about exchanged information. This is a key issue in trust handling and improvement: an agent believes some statement because it may justify the statement’s origin and its reliability.

[1]  Timothy W. Finin,et al.  KQML as an agent communication language , 1994, CIKM '94.

[2]  Jelle Gerbrandy,et al.  Reasoning about Information Change , 1997, J. Log. Lang. Inf..

[3]  Wiebe van der Hoek,et al.  Dynamic Epistemic Logic and Knowledge Puzzles , 2007, ICCS.

[4]  Emiliano Lorini,et al.  From Binary Trust to Graded Trust in Information Sources: A Logical Perspective , 2008, AAMAS-TRUST.

[5]  Hector J. Levesque,et al.  Communicative Actions for Artificial Agents , 1997, ICMAS.

[6]  Paolo Giorgini,et al.  Revising Beliefs Received from Multiple Sources , 2001 .

[7]  P G rdenfors,et al.  Knowledge in flux: modeling the dynamics of epistemic states , 1988 .

[8]  Laurent Perrussel,et al.  A logical approach for describing (dis)belief change and message processing , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[9]  Hirofumi Katsuno,et al.  Propositional Knowledge Base Revision and Minimal Change , 1991, Artif. Intell..

[10]  Felix A. Fischer,et al.  Communication Attitudes: A Formal Approach to Ostensible Intentions, and Individual and Group Opinions , 2006, LCMAS.

[11]  Dominique Longin,et al.  Belief Reconstruction in Cooperative Dialogues , 1998, AIMSA.

[12]  Peter Gärdenfors,et al.  Knowledge in Flux: Modeling the Dynamics of Epistemic States , 2008 .

[13]  Churn-Jung Liau,et al.  Belief, information acquisition, and trust in multi-agent systems--A modal logic formulation , 2003, Artif. Intell..

[14]  Laurent Perrussel,et al.  (Dis)Belief Change Based on Messages Processing , 2004, CLIMA.

[15]  Hector J. Levesque,et al.  Rational interaction as the basis for communication , 2003 .

[16]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

[17]  Sébastien Konieczny,et al.  Propositional belief base merging or how to merge beliefs/goals coming from several sources and some links with social choice theory , 2005, Eur. J. Oper. Res..

[18]  Dominique Longin,et al.  Belief Dynamics in Cooperative Dialogues , 2000, J. Semant..

[19]  Salem Benferhat,et al.  Handling Locally Stratified Inconsistent Knowledge Bases , 2002, Stud Logica.

[20]  Marco Schaerf,et al.  Arbitration (or How to Merge Knowledge Bases) , 1998, IEEE Trans. Knowl. Data Eng..

[21]  Michael Wooldridge,et al.  Towards a Logic of Rational Agency , 2003, Log. J. IGPL.

[22]  Laurence Cholvy.  Automated Reasoning with Merged Contradictory Information Whose Reliability Depends on Topics , 1995, ECSQARU.

[23]  Anand S. Rao,et al.  Modeling Rational Agents within a BDI-Architecture , 1997, KR.

[24]  Laurence Cholvy.  A Modal Logic for Reasoning with Contradictory Beliefs Which Takes into Account the Number and the Reliability of the Sources , 2005, ECSQARU.