Robust Semantics for Argumentation Frameworks

We suggest a so-called `robust' semantics for a model of argumentation which represents arguments and their interactions, called `argumentation frameworks'. We study a variety of additional definitions of acceptability of arguments; we explore the properties of these definitions; we describe their interrelationships: e.g. robust models can be characterized using the minimal (well-founded) models of a meta-framework. The various definitions of acceptability of argument sets can all deal with contradiction within an argumentation framework.

[1]  Carlo Zaniolo,et al.  Stable models and non-determinism in logic programs with negation , 1990, PODS.

[2]  Paolo Mancarella,et al.  The Acceptability Semantics for Logic Programs , 1994, ICLP.

[3]  Dimitris Papadias,et al.  An Argumentation Based Framework for Defeasible and Qualitative Reasoning , 1996, SBIA.

[4]  T. Gordon,et al.  How to Buy a Porsche: An Approach to Defeasible Decision Making , 1994 .

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

[6]  Henry Prakken,et al.  Dialectical Proof Theory for Defeasible Argumentation with Defeasible Priorities (Preliminary Report) , 1997, ModelAge Workshop.

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

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

[9]  Robert Sedgewick,et al.  Algorithms in C , 1990 .

[10]  Henry Prakken,et al.  On the relation between legal language and legal argument: assumptions, applicability and dynamic priorities , 1995, ICAIL '95.

[11]  John L. Pollock,et al.  Justification and Defeat , 1994, Artif. Intell..

[12]  Hans Hermes,et al.  Introduction to mathematical logic , 1973, Universitext.

[13]  Henry Prakken,et al.  A System for Defeasible Argumentation, with Defeasible Priorities , 1996, Artificial Intelligence Today.

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

[15]  H. Jakobovits,et al.  Contradiction in Argumentation Frameworks , 1996 .

[16]  Nikos I. Karacapilidis,et al.  The Zeno argumentation framework , 1997, ICAIL '97.