On the Instantiation of Knowledge Bases in Abstract Argumentation Frameworks

Abstract Argumentation Frameworks afs provide a fruitful basis for exploring issues of defeasible reasoning. Their power largely derives from the abstract nature of the arguments within the framework, where arguments are atomic nodes in an undifferentiated relation of attack. This abstraction conceals different conceptions of argument, and concrete instantiations encounter difficulties as a result of conflating these conceptions. We distinguish three distinct senses of the term. We provide an approach to instantiating AF in which the nodes are restricted to literals and rules, encoding the underlying theory directly. Arguments, in each of the three senses, then emerge from this framework as distinctive structures of nodes and paths. Our framework retains the theoretical and computational benefits of an abstract af, while keeping notions distinct which are conflated in other approaches to instantiation.

[1]  Henry Prakken,et al.  An abstract framework for argumentation with structured arguments , 2010, Argument Comput..

[2]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[3]  Guillermo Ricardo Simari,et al.  Defeasible logic programming: an argumentative approach , 2003, Theory and Practice of Logic Programming.

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

[5]  Trevor J. M. Bench-Capon,et al.  Three Senses of "Argument" , 2008, Computable Models of the Law, Languages, Dialogues, Games, Ontologies.

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

[7]  Pompeu Casanovas,et al.  Computable Models of the Law, Languages, Dialogues, Games, Ontologies , 2008, Computable Models of the Law, Languages, Dialogues, Games, Ontologies.

[8]  Trevor J. M. Bench-Capon.  Persuasion in Practical Argument Using Value-based Argumentation Frameworks , 2003, J. Log. Comput..

[9]  Trevor J. M. Bench-Capon,et al.  Instantiating Knowledge Bases in Abstract Argumentation Frameworks , 2009, AAAI Fall Symposium: The Uses of Computational Argumentation.

[10]  John McCarthy,et al.  Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..

[11]  Martin Caminada,et al.  On the Limitations of Abstract Argumentation , 2011 .

[12]  Trevor J. M. Bench-Capon,et al.  Coherence in finite argument systems , 2002, Artif. Intell..

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

[14]  Anthony Hunter,et al.  Elements of Argumentation , 2007, ECSQARU.

[15]  Stefan Woltran,et al.  Abstract Dialectical Frameworks , 2010, KR.

[16]  Martin Caminada,et al.  On the evaluation of argumentation formalisms , 2007, Artif. Intell..