Dynamic Derivations for Sequent-Based Logical Argumentation

We introduce a general approach for representing and reasoning with argumentation-based systems. In our framework arguments are represented by Gentzen-style sequents, attacks (conflicts) between arguments are represented by sequent elimination rules, and deductions are made by dynamic proof systems. This framework accommodates different languages and logics in which arguments may be represented, supports a variety of attack relations, and tolerates dynamic changes in the argumentation setting by revising derivations of assertions in light of new information.

[1]  Anthony Hunter,et al.  Argumentation Based on Classical Logic , 2009, Argumentation in Artificial Intelligence.

[2]  Gerhard Gentzen,et al.  Investigations into Logical Deduction , 1970 .

[3]  Christian Straßer,et al.  Sequent-Based Argumentation for Normative Reasoning , 2014, DEON.

[4]  John L. Pollock,et al.  How to Reason Defeasibly , 1992, Artif. Intell..

[5]  Gerhard Brewka,et al.  Dynamic Argument Systems: A Formal Model of Argumentation Processes Based on Situation Calculus , 2001, J. Log. Comput..

[6]  Dov M. Gabbay,et al.  A Logical Account of Formal Argumentation , 2009, Stud Logica.

[7]  Diderik Batens,et al.  A Universal Logic Approach to Adaptive Logics , 2007, Logica Universalis.

[8]  Henry Prakken,et al.  An argumentation framework in default logic , 1993, Annals of Mathematics and Artificial Intelligence.

[9]  Anthony Hunter,et al.  Instantiating abstract argumentation with classical logic arguments: Postulates and properties , 2011, Artif. Intell..

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

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

[12]  Guillermo Ricardo Simari,et al.  A Mathematical Treatment of Defeasible Reasoning and its Implementation , 1992, Artif. Intell..

[13]  Graham Priest,et al.  Reasoning About Truth , 1989, Artif. Intell..

[14]  Ofer Arieli,et al.  A Sequent-Based Representation of Logical Argumentation , 2013, CLIMA.

[15]  Phan Minh Dung,et al.  Dialectic proof procedures for assumption-based, admissible argumentation , 2006, Artif. Intell..

[16]  Henry Prakken.  Two approaches to the formalisation of defeasible deontic reasoning , 1996, Stud Logica.

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