Agent Dialogue as Partial Uncertain Argumentation and its Fixpoint Semantics

Argumentation and dialogue provide important foundations for agent-oriented computing since social computing mechanism such as negotiation, cooperation, conflict resolution, etc. are to be built on them. In this paper, we consider relationship between argumentation and dialogue in a formal way. In doing so, we first describe a primitive but natural inter-agent dialogue model in which dialogue can be seen as partial argumentation that allows us to avoid excessive or unnecessary conflicts. Next, we give the semantics for such a type of dialogue, and the soundness and completeness under it.

[1]  Ana Gabriela Maguitman,et al.  Logical models of argument , 2000, CSUR.

[2]  Henry Prakken,et al.  Argument-Based Extended Logic Programming with Defeasible Priorities , 1997, J. Appl. Non Class. Logics.

[3]  Phan Minh Dung,et al.  On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games , 1995, Artif. Intell..

[4]  Hajime Sawamura,et al.  Agent Dialogue as Partial Argumentation and Its Fixpoint Semantics , 2007, PRIMA.

[5]  Michael Wooldridge,et al.  Properties and Complexity of Some Formal Inter-agent Dialogues , 2003, J. Log. Comput..

[6]  Claudette Cayrol,et al.  A Reasoning Model Based on the Production of Acceptable Arguments , 2002, Annals of Mathematics and Artificial Intelligence.

[7]  Rolf Haenni,et al.  Probabilistic Argumentation Systems , 2003 .

[8]  Peter McBurney,et al.  Risk Agoras: Dialectical Argumentation for Scientific Reasoning , 2000, UAI.

[9]  Guillermo Ricardo Simari,et al.  A Logic Programming Framework for Possibilistic Argumentation with Vague Knowledge , 2004, UAI.

[10]  Henry Prakken,et al.  Coherence and Flexibility in Dialogue Games for Argumentation , 2005, J. Log. Comput..

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

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

[13]  Hajime Sawamura,et al.  A logic of multiple-valued argumentation , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[14]  Douglas Walton,et al.  The New Dialectic: Conversational Contexts of Argument , 1998 .

[15]  V. S. Subrahmanian,et al.  Theory of Generalized Annotated Logic Programming and its Applications , 1992, J. Log. Program..