Well-founded argumentation semantics for extended logic programming

This paper defines an argumentation semantics for extended logic programming and shows its equivalence to the well-founded semantics with explicit negation. We set up a general framework in which we extensively compare this semantics to other argumentation semantics, including those of Dung, and Prakken and Sartor. We present a general dialectical proof theory for these argumentation semantics.

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

[2]  D. Warren.  An argumentation semantics for logic programming with explicit negation , 1993 .

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

[4]  Michael Gelfond,et al.  Logic Programs with Classical Negation , 1990, ICLP.

[5]  Dirk Vermeir,et al.  Robust Semantics for Argumentation Frameworks , 1999, J. Log. Comput..

[6]  Michael Schroeder,et al.  An Efficient Argumentation Framework for Negtiating Autonomous Agents , 1999, MAAMAW.

[7]  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..

[8]  Gerard Vreeswijk,et al.  Abstract Argumentation Systems , 1997, Artif. Intell..

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

[10]  Dirk Vermeir,et al.  Dialectic semantics for argumentation frameworks , 1999, ICAIL '99.

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

[12]  Antonis C. Kakas,et al.  Computing Argumentation in Logic Programming , 1999, J. Log. Comput..

[13]  José Júlio Alferes,et al.  A logic programming system for nonmonotonic reasoning , 1995, Journal of Automated Reasoning.

[14]  Kenneth A. Ross,et al.  The well-founded semantics for general logic programs , 1991, JACM.

[15]  Gerd Wagner.  Vivid Logic: Knowledge-Based Reasoning with Two Kinds of Negation , 1994 .

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

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

[18]  Phan Minh Dung,et al.  An Abstract, Argumentation-Theoretic Approach to Default Reasoning , 1997, Artif. Intell..

[19]  A. Tarski.  A LATTICE-THEORETICAL FIXPOINT THEOREM AND ITS APPLICATIONS , 1955 .