loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2 (AAMAS'04)
A Logical Model for Commitment and Argument Network for Agent Communication
New York City, New York, USA
July 19-July 23
ISBN: 0-7695-2092-8
Jamal Bentahar, Laval University
Bernard Moulin, Laval University
John-Jules Ch. Meyer, University Utrecht
Brahim Chaib-draa, Laval University
In this paper we present a semantics for our approach based on social commitments (SCs) and arguments for conversational agents. More precisely, we propose a logical model based on CTL* and on dynamic logic (DL). Called Commitment and Argument Network, our formal framework based on this approach uses three basic elements: SCs, actions that agents apply to these SCs and arguments that agents use to support their actions. The advantage of this logical model is to bring together all these elements and the relations existing between them within the same framework. Our semantics makes it possible to represent the dynamics of agent communication. It also allows us to establish the important link between SCs as a deontic concept and arguments. CTL* enables us to express the temporal characteristics of SCs and arguments. DL enables us to capture the actions that agents are committed to achieve.
Citation:
Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, Brahim Chaib-draa, "A Logical Model for Commitment and Argument Network for Agent Communication," aamas, vol. 2, pp.792-799, 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.