Supporting Argumentation Systems by Graph Representation and Computation

Argumentation is a reasoning model based on arguments and on attacks between arguments. It consists in evaluating the acceptability of arguments, according to a given semantics. Due to its generality, Dung's framework for abstract argumentation systems, proposed in 1995, is a reference in the domain. Argumentation systems are commonly represented by graph structures, where nodes and edges respectively represent arguments and attacks between arguments. However beyond this graphical support, graph operations have not been considered as reasoning tools in argumentation systems. This paper proposes a conceptual graph representation of an argumentation system and a computation of argument acceptability relying on conceptual graph default rules.

[1]  Vasile Palade,et al.  Advanced Information and Knowledge Processing Series , 2006 .

[2]  Madalina Croitoru,et al.  Argumentation Map Generation with Conceptual Graphs: the Case for ESSENCE , 2009, ICCS 2009.

[3]  Thomas Eiter,et al.  Prioritizing Default Logic: Abridged Report , 2007 .

[4]  Sharon C. Salveter.  Review of Conceptual structures: information processing in mind and machine by John F. Sowa. Addison-Wesley 1984. , 1986 .

[5]  Jean-François Baget,et al.  Default Conceptual Graph Rules, Atomic Negation and Tic-Tac-Toe , 2010, ICCS.

[6]  Thomas Eiter,et al.  Prioritizing Default Logic , 2000, Intellectics and Computational Logic.

[7]  Sebastian Rudolph,et al.  Conceptual Structures: Leveraging Semantic Technologies , 2009 .

[8]  Bernard Moulin,et al.  A taxonomy of argumentation models used for knowledge representation , 2010, Artificial Intelligence Review.

[9]  Grigoris Antoniou,et al.  Nonmonotonic reasoning , 1997 .

[10]  Madalina Croitoru,et al.  Default Conceptual Graph Rules: Preliminary Results for an Agronomy Application , 2009, ICCS.

[11]  Marie-Laure Mugnier,et al.  Graph-based Knowledge Representation - Computational Foundations of Conceptual Graphs , 2008, Advanced Information and Knowledge Processing.

[12]  Miroslaw Truszczynski,et al.  Nonmonotonic Reasoning , 1988, We Will Show Them!.

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

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

[15]  John F. Sowa,et al.  Conceptual Structures: Information Processing in Mind and Machine , 1983 .

[16]  Marie-Laure Mugnier,et al.  Nested Graphs: A Graph-based Knowledge Representation Model with FOL Semantics , 1998, KR.

[17]  Madalina Croitoru,et al.  Conceptual Structures: From Information to Intelligence , 2011 .

[18]  A.R.C.S. A. H. Loveless.  What is an abstract ? , 1990 .

[19]  M. Chein,et al.  Graph-based Knowledge Representation and Reasoning , 2010, ICEIS.

[20]  Jean-Rémi Bourguet,et al.  Contribution aux méthodes d'argumentation pour la prise de décision. Application à l'arbitrage au sein de la filière céréalière. (Contribution to the methods of argumentation for decision making. Application to arbitration within the cereal industry) , 2010 .

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

[22]  Frank van Harmelen,et al.  Handbook of Knowledge Representation , 2008, Handbook of Knowledge Representation.

[23]  Marie-Laure Mugnier,et al.  Sound and Complete Forward and backward Chainingd of Graph Rules , 1996, ICCS.

[24]  J. Davenport.  Editor , 1960 .