Formalizing Balancing Arguments

This paper presents a formal model of structured argument that can handle balancing arguments, arguments were pros and cons are balanced to choose among alternative options. The model can handle cumulative arguments, arguments that provide bits of evidence that can support or undermine hypothesis as new evidence comes in. The model has been fully implemented in version 4 of the Carneades Argumentation System.

[1]  Douglas Walton,et al.  Applying Recent Argumentation Methods to Some Ancient Examples of Plausible Reasoning , 2013, Argumentation.

[2]  Anthony Hunter,et al.  Constructing argument graphs with deductive arguments: a tutorial , 2014, Argument Comput..

[3]  Pietro Baroni,et al.  An introduction to argumentation semantics , 2011, The Knowledge Engineering Review.

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

[5]  Iyad Rahwan,et al.  The Argument Interchange Format , 2009, Argumentation in Artificial Intelligence.

[6]  T. Gordon,et al.  How to Buy a Porsche: An Approach to Defeasible Decision Making , 1994 .

[7]  Kuntz Werner,et al.  Issues as Elements of Information Systems , 1970 .

[8]  Henry Prakken,et al.  A study of accrual of arguments, with applications to evidential reasoning , 2005, ICAIL '05.

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

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

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

[12]  Francesca Toni,et al.  A tutorial on assumption-based argumentation , 2014, Argument Comput..

[13]  Floris Bex,et al.  Arguments, Stories and Criminal Evidence - A Formal Hybrid Theory , 2011, Law and philosophy library.

[14]  N. Fairclough,et al.  Political Discourse Analysis: A Method for Advanced Students , 2012 .

[15]  Douglas Walton,et al.  Fundamentals of critical argumentation , 2006, Critical reasoning and argumentation.

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

[17]  Henry Prakken,et al.  The ASPIC+ framework for structured argumentation: a tutorial , 2014, Argument Comput..

[18]  Henry Prakken,et al.  The Carneades model of argument and burden of proof , 2007, Artif. Intell..

[19]  Chris Reed,et al.  Araucaria: Software for Argument Analysis, Diagramming and Representation , 2004, Int. J. Artif. Intell. Tools.