An Efficient Argumentation Framework for Negtiating Autonomous Agents

Argumentation is important for agent negotiation. In this paper, we develop an efficient framework for multi-agent argumentation. We identify aspects of classical argumentation theory that are suitable and useful for artificial agents and develop an argumentation framework around them. In the framework, we distinguish cooperation and argumentation and introduce skeptical and credulous agents. We develop an operational, goal-driven top-down proof procedure for the argumentation process and evaluate an implementation of our framework for an example of a BT business process.

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

[2]  Nicholas R. Jennings,et al.  Agents That Reason and Negotiate by Arguing , 1998, J. Log. Comput..

[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]  D. Warren.  An argumentation semantics for logic programming with explicit negation , 1993 .

[5]  José Júlio Alferes,et al.  Well Founded Semantics for Logic Programs with Explicit Negation , 1992, ECAI.

[6]  Irving M. Copi,et al.  Introduction to Logic , 1962 .

[7]  Irving M. Copi,et al.  Introduction to Logic , 1962 .

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

[9]  Iara Carnevale de Almeida.  Argumentation and Cooperation for DistributedExtended Logic Programs , 1998 .

[10]  Sarit Kraus,et al.  Reaching Agreements Through Argumentation: A Logical Model and Implementation , 1998, Artif. Intell..

[11]  Nicholas R. Jennings,et al.  Agent-Based Business Process Management , 1996, Int. J. Cooperative Inf. Syst..

[12]  Kenneth A. Ross,et al.  Unfounded sets and well-founded semantics for general logic programs , 1988, PODS.

[13]  José Júlio Alferes,et al.  Vivid Agents Arguing about Distributed Extended Logic Programs , 1997, EPIA.

[14]  Francesca Toni,et al.  An Assumption-Based Framework for Non-Monotonic Reasoning , 1993, LPNMR.

[15]  José Júlio Alferes,et al.  Reasoning with Logic Programming , 1996, Lecture Notes in Computer Science.

[16]  Pablo Noriega,et al.  A Framework for Argumentation-Based Negotiation , 1997, ATAL.