loading...
A Logical Approach for Describing (Dis)Belief Change and Message Processing
New York City, New York, USA July 19-July 23
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/AAMAS.2004.10075Third International Joint Conference ...
 This Article 
 
PDF
HTML
IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Laurent Perrussel, IRIT-Universit? Toulouse 1
Jean-Marc Th?venin, IRIT-Universit? Toulouse 1
This paper focuses on the features of two KQML performatives, namely tell and untell, in the context of nonprioritized belief change. Tell allows agents to send beliefs while untell allows agents to send explicit disbeliefs. In a multi agent system, agents have to change their belief when they receive new information from other agents. They may revise or contract their belief state accordingly. The revision action consists of inserting a new belief in a beliefs set while the contraction action consists of managing a set of disbeliefs. Whenever incoming information entails inconsistencies in an agent?s belief state, the agent must either drop some beliefs or refuse the incoming statement. For this, agents consider a preference relation over other agents embedded in the multi agent system and may reject new information based on their belief state and their preference relation. In this article, we survey a logic-based framework for handling messages and (dis)beliefs change. In this context, we formally describe the consequences of tell and untell performatives.
Citation:
Laurent Perrussel, Jean-Marc Th?venin, "A Logical Approach for Describing (Dis)Belief Change and Message Processing," aamas, vol. 2, pp.614-621, Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2 (AAMAS'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.