An Abstract Presentation of Dialectical Explanations in Defeasible Argumentation

Abstract argumentation frameworks have played a major role as a way of understanding argument-based inference, resulting in different a gument-based proof procedures. We will provide an abstract characterization of the warrant construction in the context of Skeptical Argumentation Frameworks. Often in th e literature an argument is regarded as an explanation as well as a form of support for a claim, and this argument is evaluated to decide if the claim is accepted. The concept of explanation has received attention from different are as in Artificial Intelligence, particulary in the Knowledge-Based Systems community. Onl a few of them consider explanations in relation with argument systems. In th is paper, we propose a type of explanation that attempts to fill this gap providin g a perspective from the point of view of argumentation systems.

[1]  Guillermo Ricardo Simari,et al.  Computing Dialectical Trees Efficiently in Possibilistic Defeasible Logic Programming , 2005, LPNMR.

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

[3]  David Stuart Robertson,et al.  Argument-based applications to knowledge engineering , 2000, The Knowledge Engineering Review.

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

[5]  Guillermo Ricardo Simari,et al.  Explanations, belief revision and defeasible reasoning , 2002, Artif. Intell..

[6]  Carmen Lacave,et al.  A review of explanation methods for heuristic expert systems , 2004, The Knowledge Engineering Review.

[7]  Guillermo Ricardo Simari,et al.  A Lattice-Based Approach to Computing Warranted Beliefs in Skeptical Argumentation Frameworks , 2007, IJCAI.

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

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

[10]  Trevor J. M. Bench-Capon,et al.  Multi-Agent Argumentation for eDemocracy , 2005, EUMAS.

[11]  Bernard Moulin,et al.  Explanation and Argumentation Capabilities:Towards the Creation of More Persuasive Agents , 2002, Artificial Intelligence Review.

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

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

[14]  Anthony Hunter,et al.  A logic-based theory of deductive arguments , 2001, Artif. Intell..

[15]  Simon Parsons,et al.  An argumentation-based Semantics for Agent Communication Languages , 2002, ECAI.

[16]  Guillermo Ricardo Simari,et al.  A Logic Programming Framework for Possibilistic Argumentation with Vague Knowledge , 2004, UAI.

[17]  L. Richard Ye,et al.  The Impact of Explanation Facilities in User Acceptance of Expert System Advice , 1995, MIS Q..