A Logic of Abstract Argumentation

In this paper we introduce a logic of abstract argumentation capturing Dung’s theory of abstract argumentation, based on connectives for attack and defend. We extend it to a modal logic of abstract argumentation to generalize Dung’s theory and define variants of it. Moreover, we use the logic to relate Dung’s theory of abstract argumentation to more traditional conditional and comparative formalisms, and we illustrate how to reason about arguments in meta-argumentation.

[1]  Andrea Omicini,et al.  Declarative Agent Languages and Technologies III , 2005, Lecture Notes in Computer Science.

[2]  Alexander Bochman,et al.  Collective Argumentation and Disjunctive Logic Programming , 2003, J. Log. Comput..

[3]  Bart Verheij,et al.  Accrual of arguments in defeasible argumentation , 1999 .

[4]  Christopher D. Walton,et al.  Model Checking Agent Dialogues , 2004, DALT.

[5]  Michael Wooldridge,et al.  On the meta-logic of arguments , 2005, AAMAS '05.

[6]  John F. Horty,et al.  Argument construction and reinstatement in logics for defeasible reasoning , 2001, Artificial Intelligence and Law.

[7]  Edith Hemaspaandra,et al.  The Price of Universality , 1996, Notre Dame J. Formal Log..

[8]  Henry Prakken,et al.  Logics for Defeasible Argumentation , 2001 .

[9]  Thomas Wallgren,et al.  Georg Henrik von Wright , 2003 .

[10]  Leon van der Torre,et al.  Constraints for Input/Output Logics , 2001, J. Philos. Log..

[11]  Alexander Bochman.  Propositional Argumentation and Causal Reasoning , 2005, IJCAI.

[12]  Philippe Besnard,et al.  Checking the acceptability of a set of arguments , 2004, NMR.

[13]  Alexander Bochman,et al.  A causal approach to nonmonotonic reasoning , 2004, 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]  Henry Prakken,et al.  Modelling Reasoning with Precedents in a Formal Dialogue Game , 1998 .

[16]  Leon van der Torre,et al.  Input/Output Logics , 2000, J. Philos. Log..

[17]  D. Davidson.  The Logic of Preference: An Essay. , 1966 .

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

[19]  Dov M. Gabbay,et al.  Handbook of Philosophical Logic , 2002 .

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

[21]  Alexander Bochman,et al.  A Causal Logic of Logic Programming , 2004, KR.