Argumentation in AI and Law: Editors' Introduction

1. Overview Argument is central to law: legal disputes arise out of a disagreement between two parties and, since the disappearance of trials by ordeal and combat, such disputes are resolved by the parties to the dispute presenting arguments for their position to an agreed arbiter, who will typically justify the choice of the arguments he accepts with an argument of his own, intended to convince superior courts and the public at large. Given the centrality of argument to law, it is unsurprising that AI systems intended to model legal reasoning have found it necessary to model argument. This volume contains a collection of papers representing some of the very latest work on argumentation in AI and Law. The papers derive from a workshop run in conjunction with the Tenth International Conference on AI and Law, held in Bologna in June 2005. The papers have since been significantly extended and revised for publication here. In this introduction we will try to provide some of the context in which this work was done. We will not pretend to give a complete survey, but rather to introduce the key concerns and issues relating to argumentation which have arisen in previous work in AI and Law. Major topics which have emerged as important in AI and Law and argumentation include: – Arguing on the basis of precedent cases – Using argumentation to resolve rule conflicts and explore defeasibility – Dialogue and dialectics – Argument Schemes – Determining whether an attack on an argument is successful We will briefly consider each of these in turn.

[1]  Henry Prakken Incomplete Arguments in Legal Discourse: a Case Study , 2002 .

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

[3]  Bart Verheij,et al.  About the logical relations between cases and rules , 2008, JURIX.

[4]  C. C. Marshall,et al.  Representing the structure of a legal argument , 1989, ICAIL '89.

[5]  Trevor J. M. Bench-Capon The missing link revisited: The role of teleology in representing legal argument , 2002, Artificial Intelligence and Law.

[6]  Thomas F. Gordon,et al.  The Pleadings Game , 1994, Artificial Intelligence and Law.

[7]  Vincent A. W. M. M. Aleven,et al.  Teaching case-based argumentation through a model and examples , 1997 .

[8]  Marek J. Sergot,et al.  The British Nationality Act as a logic program , 1986, CACM.

[9]  Henry Prakken,et al.  Dialogues about the burden of proof , 2005, ICAIL '05.

[10]  L. S. Lutomski,et al.  The design of an attorney's statistical consultant , 1989, ICAIL '89.

[11]  Trevor J. M. Bench-Capon,et al.  Argument‐based explanation of the British nationality act as a logic program , 1993 .

[12]  Trevor J. M. Bench-Capon Specification and Implementation of Toulmin Dialogue Game , 1999 .

[13]  Arthur M. Farley,et al.  Burden of proof in legal argumentation , 1995, ICAIL '95.

[14]  Thomas F. Gordon,et al.  Pleadings game - an artificial intelligence model of procedural justice , 1995 .

[15]  T. Gordon The Pleadings Game , 1993, ICAIL '93.

[16]  Trevor J. M. Bench-Capon,et al.  A model of legal reasoning with cases incorporating theories and values , 2003, Artif. Intell..

[17]  Edwina L. Rissland,et al.  Arguments and cases: An inevitable intertwining , 1992, Artificial Intelligence and Law.

[18]  Henry Prakken,et al.  An exercise in formalising teleological case-based reasoning , 2002, Artificial Intelligence and Law.

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

[20]  Henry Prakken,et al.  A dialectical model of assessing conflicting arguments in legal reasoning , 1996, Artificial Intelligence and Law.

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

[22]  Andrew Stranieri,et al.  The split-up system: integrating neural networks and rule-based reasoning in the legal domain , 1995, ICAIL '95.

[23]  Henry Prakken,et al.  Argumentation schemes and generalisations in reasoning about evidence , 2003, ICAIL.

[24]  A. Lodder DiaLaw : on legal justification and dialog games , 1998 .

[25]  D. Walton Argumentation Schemes for Presumptive Reasoning , 1995 .

[26]  R. Leenes DiaLaw; On legal Justification and Dialogue Games. Bespreking van het proefschrift van Arno Lodder , 1998 .

[27]  Giovanni Sartor,et al.  Teleological arguments and theory-based dialectics , 2002, Artificial Intelligence and Law.

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

[29]  Trevor J. M. Bench-Capon,et al.  Towards a computational account of persuasion in law , 2003, ICAIL.

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

[31]  Carole D. Hafner,et al.  Representing teleological structure in case-based legal reasoning: the missing link , 1993, ICAIL '93.