A formal framework for inter-agent dialogues

We present a logic-based formalism for modeling of dialogues between intelligent and autonomous software agents, building on a theory of abstract dialogue games which we present. The formalism enables representation of complex dialogues as sequences of moves in a combination of dialogue games, and allows dialogues to be embedded inside one another. The formalism can be readily operationalized and its modular nature enables different types of dialogues to be represented.

[1]  Simon Parsons,et al.  Modelling dialogues using argumentation , 2000, Proceedings Fourth International Conference on MultiAgent Systems.

[2]  Nicholas R. Jennings,et al.  Neogotiation Through Argumentation - A Preliminary Report , 1996 .

[3]  D. Walton,et al.  Commitment in Dialogue: Basic Concepts of Interpersonal Reasoning , 1995 .

[4]  Chris Reed,et al.  Dialogue frames in agent communication , 1998, Proceedings International Conference on Multi Agent Systems (Cat. No.98EX160).

[5]  R. Parikh.  The logic of games and its applications , 1985 .