A Computational Model for Conversation Policies for Agent Communication

In this paper we propose a formal specification of a persuasion protocol between autonomous agents using an approach based on social commitments and arguments. In order to be flexible, this protocol is defined as a combination of a set of conversation policies. These policies are formalized as a set of dialogue games. The protocol is specified using two types of dialogue games: entry dialogue game and chaining dialogue games. The protocol terminates when exit conditions are satisfied. Using a tableau method, we prove that this protocol always terminates. The paper addresses also the implementation issues of our protocol using logical programming and an agentoriented platform.

• Type: Conference
• Year: 2004
• Where: CLIMA
• Authors: Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, Brahim Chaib-draa
• Keywords: CLIMA 2004, CLIMA 2007, Dialogue Games, Formal Specification, Persuasion Protocol