Some Reflections on Two Current Trends in Formal Argumentation

This paper discusses two recent developments in the formal study of argumentation-based inference: work on preference-based abstract argumentation and on classical (deductive) argumentation. It is first argued that general models of the use of preferences in argumentation cannot leave the structure of arguments and the nature of attack and defeat unspecified. Then it is claimed that classical argumentation cannot model some common forms of defeasible reasoning in a natural way. In both cases it will be argued that the recently proposed ASPIC + framework for structured argumentation does not suffer from these limitations. In the final part of the paper the work of Marek Sergot on argumentation-based inference will be discussed in light of the preceding discussion.

[1]  David J. Israel What's Wrong with Non-Monotonic Logic? , 1980, AAAI.

[2]  Thomas F. Gordon,et al.  The pleadings game: formalizing procedural justice , 1993, ICAIL '93.

[3]  Gerhard Brewka,et al.  Preferred Subtheories: An Extended Logical Framework for Default Reasoning , 1989, IJCAI.

[4]  John F. Horty,et al.  Some direct theories of nonmonotonic inheritance , 1994 .

[5]  Henry Prakken Reconstructing Popov v. Hayashi in a framework for argumentation with structured arguments and Dungean semantics , 2012, Artificial Intelligence and Law.

[6]  Henry Prakken,et al.  Contrary-to-duty obligations , 1996, Stud Logica.

[7]  Frank Wolter,et al.  Semi-qualitative Reasoning about Distances: A Preliminary Report , 2000, JELIA.

[8]  John L. Pollock,et al.  A Recursive Semantics for Defeasible Reasoning , 2009, Argumentation in Artificial Intelligence.

[9]  Anthony Hunter Reasoning about the Appropriateness of Proponents for Arguments , 2008, AAAI.

[10]  G. G. Stokes "J." , 1890, The New Yale Book of Quotations.

[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]  Floris Bex Evidence for a good story. A hybrid theory of arguments, stories and criminal evidence , 2005 .

[14]  Henry Prakken,et al.  Towards a Formal Account of Reasoning about Evidence: Argumentation Schemes and Generalisations , 2003, Artificial Intelligence and Law.

[15]  Trevor J. M. Bench-Capon,et al.  Towards a rule-based representation of open texture in law , 1985 .

[16]  Michael Wooldridge,et al.  Weighted argument systems: Basic definitions, algorithms, and complexity results , 2011, Artif. Intell..

[17]  Paolo Mancarella,et al.  Abductive Logic Programming , 1992, LPNMR.

[18]  Martin Caminada,et al.  On the Limitations of Abstract Argumentation , 2011 .

[19]  Alexander Artikis,et al.  An executable specification of a formal argumentation protocol , 2007, Artif. Intell..

[20]  Phan Minh Dung,et al.  Assumption-Based Argumentation , 2009, Argumentation in Artificial Intelligence.

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

[22]  Paolo Mancarella,et al.  Computing ideal sceptical argumentation , 2007, Artif. Intell..

[23]  Nicholas Rescher,et al.  Plausible reasoning , 1976 .

[24]  Francesca Toni,et al.  Argumentation and answer set programming , 2011 .

[25]  Jaap Hage,et al.  A theory of legal reasoning and a logic to match , 1996, Artificial Intelligence and Law.

[26]  Philippe Besnard,et al.  A Formal Analysis of Logic-Based Argumentation Systems , 2010, SUM.

[27]  Fangzhen Lin,et al.  Argument Systems: A Uniform Basis for Nonmonotonic Reasoning , 1989, KR.

[28]  John Fox,et al.  Capturing expert knowledge with argumentation: a case study in bioinformatics , 2006, Bioinform..

[29]  Matthew L. Ginsberg AI and nonmonotonic reasoning , 1994 .

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

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

[32]  Henry Prakken,et al.  Formalising ordinary legal disputes: a case study , 2008, Artificial Intelligence and Law.

[33]  松本 裕治 Default Reasoningと非単調論理(海外研究動向) , 1981 .

[34]  Philippe Besnard,et al.  Bridging the Gap between Abstract Argumentation Systems and Logic , 2009, SUM.

[35]  Srdjan Vesic,et al.  Two Roles of Preferences in Argumentation Frameworks , 2011, ECSQARU.

[36]  J. Pollock Cognitive Carpentry: A Blueprint for How to Build a Person , 1995 .

[37]  Hadassa Jakobovits,et al.  On the theory of argumentation frameworks , 2000 .

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

[39]  Drew McDermott,et al.  Default Reasoning, Nonmonotonic Logics, and the Frame Problem , 1986, AAAI.

[40]  Bart Verheij,et al.  Two Approaches to Dialectical Argumentation: Admissible Sets and Argumentation Stages , 1999 .

[41]  Donald Nute,et al.  Defeasible Deontic Logic , 2010 .

[42]  Gerard Vreeswijk,et al.  Abstract Argumentation Systems , 1997, Artif. Intell..

[43]  S. Modgil Reasoning About Preferences in Argumentation Frameworks TR-09-01 , 2009 .

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

[45]  John L. Pollock,et al.  Defeasible Reasoning , 2020, Synthese Library.

[46]  Floris Bex A Hybrid Theory of Stories and Arguments , 2011 .

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

[48]  G. Sartor Legal Reasoning: A Cognitive Approach to Law , 2005 .

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

[50]  Trevor J. M. Bench-Capon,et al.  Argumentation in artificial intelligence , 2007, Artif. Intell..

[51]  Henry Prakken,et al.  Argument-Based Extended Logic Programming with Defeasible Priorities , 1997, J. Appl. Non Class. Logics.

[52]  Ziqiang Wang,et al.  Document Classification Algorithm Using Kernel LPP , 2009, 2009 International Conference on Computational Intelligence and Natural Computing.

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

[54]  Pierre Marquis,et al.  Constrained Argumentation Frameworks , 2006, KR.

[55]  Francesca Toni,et al.  An Assumption-Based Framework for Non-Monotonic Reasoning , 1993, LPNMR.

[56]  Claudette Cayrol,et al.  A Reasoning Model Based on the Production of Acceptable Arguments , 2002, Annals of Mathematics and Artificial Intelligence.

[57]  Michael Clarke,et al.  Symbolic and Quantitative Approaches to Reasoning and Uncertainty , 1991, Lecture Notes in Computer Science.

[58]  Donald Nute,et al.  Defeasible Logic , 1994, INAP.

[59]  Gerhard Brewka,et al.  Nonmonotonic Reasoning: Logical Foundations of Commonsense By Gerhard Brewka (Cambridge University Press, 1991) , 1991, SGAR.

[60]  David Poole,et al.  A Logical Framework for Default Reasoning , 1988, Artif. Intell..

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

[62]  David S. Touretzky,et al.  A Skeptical Theory of Inheritance in Nonmonotonic Semantic Networks , 1987, Artif. Intell..

[63]  Henry Prakken,et al.  Reasoning about Preferences in Structured Extended Argumentation Frameworks , 2010, COMMA.

[64]  Martin Caminada,et al.  On the Issue of Reinstatement in Argumentation , 2006, JELIA.

[65]  Henry Prakken,et al.  Dyadic Deontic Logic and Contrary-to-Duty Obligations , 1997 .

[66]  Michael Wooldridge,et al.  Properties and Complexity of Some Formal Inter-agent Dialogues , 2003, J. Log. Comput..

[67]  Ronald Prescott Loui,et al.  Defeat among arguments: a system of defeasible inference , 1987, Comput. Intell..

[68]  Nicholas Rescher,et al.  Dialectics: A Controversy-Oriented Approach to the Theory of Knowledge , 1977 .

[69]  Claudette Cayrol,et al.  On the Acceptability of Arguments in Preference-based Argumentation , 1998, UAI.

[70]  Henry Prakken,et al.  Reconstructing Causal Reasoning about Evidence: a Case Study , 2001 .

[71]  Martin Caminada,et al.  On the Issue of Contraposition of Defeasible Rules , 2008, COMMA.

[72]  Henry Prakken,et al.  A logical framework for modelling legal argument , 1993, International Conference on Artificial Intelligence and Law.

[73]  Bart Verheij,et al.  Dialectical Argumentation with Argumentation Schemes: An Approach to Legal Logic , 2003, Artificial Intelligence and Law.

[74]  Henry Prakken,et al.  Revisiting Preferences and Argumentation , 2011, IJCAI.

[75]  Tran Cao Son,et al.  Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning , 2011, Lecture Notes in Computer Science.

[76]  Trevor J. M. Bench-Capon Value-based argumentation frameworks , 2002, NMR.

[77]  Jaap Hage,et al.  An Integrated View on Rules and Principles , 1998, Artificial Intelligence and Law.

[78]  John L. Pollock,et al.  Justification and Defeat , 1994, Artif. Intell..

[79]  Claudette Cayrol,et al.  On the Relation between Argumentation and Non-monotonic Coherence-Based Entailment , 1995, IJCAI.

[80]  Phan Minh Dung,et al.  An Argumentation Semantics for Logic Programming with Explicit Negation , 1993, ICLP.

[81]  Andrew B. Baker,et al.  A Theorem Prover for Prioritized Circumscription , 1989, IJCAI.

[82]  Dov M. Gabbay,et al.  Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning , 1994 .

[83]  Henry Prakken,et al.  Logical Tools for Modelling Legal Argument , 1997 .

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

[85]  Anthony Hunter,et al.  Elements of Argumentation , 2007, ECSQARU.

[86]  Henry Prakken,et al.  On the nature of argument schemes , 2010 .

[87]  Sanjay Modgil,et al.  Reasoning about preferences in argumentation frameworks , 2009, Artif. Intell..

[88]  Jeff Z. Pan,et al.  An Argument-Based Approach to Using Multiple Ontologies , 2009, SUM.

[89]  Hendrik Prakken Proceedings of the Eighteenth International Conference on Artificial Intelligence and Law , 2021 .

[90]  Dov M. Gabbay,et al.  Handbook of logic in artificial intelligence and logic programming (vol. 1) , 1993 .

[91]  Henry Prakken,et al.  Argumentation structures in legal dossiers , 2007, ICAIL.

[92]  E. Krabbe,et al.  Dialectics, Dialogue and Argumentation: , 2010 .

[93]  Fangzhen Lin,et al.  Argument systems , 1989, KR 1989.