We provide a retrospective of 25 years of the International Conference on AI and Law, which was first held in 1987. Fifty papers have been selected from the thirteen conferences and each of them is described in a short subsection individually written by one of the 24 authors. These subsections attempt to place the paper discussed in the context of the development of AI and Law, while often offering some personal reactions and reflections. As a whole, the subsections build into (...) a history of the last quarter century of the field, and provide some insights into where it has come from, where it is now, and where it might go. (shrink)

We argue that common knowledge, of the kind used in reasoning in law and computing is best analyzed using a dialogue model of argumentation (Walton & Krabbe 1995). In this model, implicit premises resting on common knowledge are analyzed as endoxa or widely accepted opinions and generalizations (Tardini 2005). We argue that, in this sense, common knowledge is not really knowledge of the kind represent by belief and/or knowledge of the epistemic kind studied in current epistemology. This paper takes a (...) different approach, defining it in relation to a common commitment store of two participants in a rule-governed dialogue in which two parties engage in rational argumentation (Jackson & Jacobs 1980; van Eemeren & Grootendorst 2004). A theme of the paper is how arguments containing common knowledge premises can be studied with the help of argumentation schemes for arguments from generally accepted opinion and expert opinion. It is argued that common knowledge is a species of provi- sional acceptance of a premise that is not in dispute at a given point in a dia- logue, but may later be defeated as the discussion proceeds . (shrink)

This article presents a formal dialogue game for adjudication dialogues. Existing AI & law models of legal dialogues and argumentation-theoretic models of persuasion are extended with a neutral third party, to give a more realistic account of the adjudicator’s role in legal procedures. The main feature of the model is a division into an argumentation phase, where the adversaries plea their case and the adjudicator has a largely mediating role, and a decision phase, where the adjudicator decides the dispute on (...) the basis of the claims, arguments and evidence put forward in the argumentation phase. The model allows for explicit decisions on admissibility of evidence and burden of proof by the adjudicator in the argumentation phase. Adjudication is modelled as putting forward arguments, in particular undercutting and priority arguments, in the decision phase. The model reconciles logical aspects of burden of proof induced by the defeasible nature of arguments with dialogical aspects of burden of proof as something that can be allocated by explicit decisions on legal grounds. (shrink)

While defeasibility in legal reasoning has been the subject of recent scholarship, it has yet to be studied in the context of judicial opinion. Yet, being subject to appeal, judicial decisions can default for a variety of reasons. Prakken (2001) argued that the defeasibility affecting reasoning involved in adversarial legal argumentation is best analysed as procedural rather than logical. In this paper we argue that the defeasibility of ratio decendi is similarly best explained and modeled in a procedural and dialectical (...) framework. We propose that appeals are best understood as meta-dialogues about the reasoned dialogue occurring in the initial trial. (shrink)

We present a formal, mathematical model of argument structure and evaluation, taking seriously the procedural and dialogical aspects of argumentation. The model applies proof standards to determine the acceptability of statements on an issue-by-issue basis. The model uses different types of premises (ordinary premises, assumptions and exceptions) and information about the dialectical status of statements (stated, questioned, accepted or rejected) to allow the burden of proof to be allocated to the proponent or the respondent, as appropriate, for each premise separately. (...) Our approach allows the burden of proof for a premise to be assigned to a different party than the one who has the burden of proving the conclusion of the argument, and also to change the burden of proof or applicable proof standard as the dialogue progresses from stage to stage. Useful for modeling legal dialogues, the burden of production and burden of persuasion can be handled separately, with a different responsible party and applicable proof standard for each. Carneades enables critical questions of argumentation schemes to be modeled as additional premises, using premise types to capture the varying effect on the burden of proof of different kinds of questions. (shrink)

In this article the argumentation structure of the court’s decision in the Popov v. Hayashi case is formalised in Prakken’s (Argument Comput 1:93–124; 2010) abstract framework for argument-based inference with structured arguments. In this framework, arguments are inference trees formed by applying two kinds of inference rules, strict and defeasible rules. Arguments can be attacked in three ways: attacking a premise, attacking a conclusion and attacking an inference. To resolve such conflicts, preferences may be used, which leads to three corresponding (...) kinds of defeat, after which Dung’s (Artif Intell 77:321–357; 1995) abstract acceptability semantics can be used to evaluate the arguments. In the present paper the abstract framework is instantiated with strict inference rules corresponding to first-order logic and with defeasible inference rules for defeasible modus ponens and various argument schemes. The main techniques used in the formal reconstruction of the case are rule-exception structures and arguments about rule validity. Arguments about socio-legal values and the use of precedent cases are reduced to arguments about rule validity. The tree structure of arguments, with explicit subargument relations between arguments, is used to capture the dependency relations between the elements of the court’s decision. (shrink)

In this paper, a solution to the problem of analyzing burden of proof in argumentation is developed by building on the pioneering work of Erik C. W. Krabbe on metadialogues. Three classic cases of burden of proof disputes are analyzed, showing how metadialogue theory can solve the problems they pose. The solution is based on five dialectical requirements: (1) global burden of proof needs to be set at the confrontation stage of a dialogue, (2) there need to be special mechanisms (...) for resolving disputes about burden of proof at all four stages of the dialogue, (3) they are especially significant during the argumentation stage, where burden of proof often shifts back and forth at each move, (4) such local shifts need to be partly regulated by the global burden of proof already set, and (5) the connection between burden of proof and the speech act of making a presumption in a dialogue needs to be clarified. (shrink)

Use of argumentation methods applied to legal reasoning is a relatively new field of study. The book provides a survey of the leading problems, and outlines how future research using argumentation-based methods show great promise of leading to useful solutions. The problems studied include not only these of argument evaluation and argument invention, but also analysis of specific kinds of evidence commonly used in law, like witness testimony, circumstantial evidence, forensic evidence and character evidence. New tools for analyzing these kinds (...) of evidence are introduced. (shrink)

The phenomenon of defeasibility has long been a central theme in legal literature. This essay aims to shed new light on that phenomenon by clarifying some fundamental conceptual issues. First, the most widespread definition of legal defeasibility is examined and criticized. The essay shows that such a definition is poorly constructed, inaccurate and generates many problems. Indeed, the definition hides the close relationship between legal defeasibility and legal interpretation. Second, this essay argues that no new definition is needed. I will (...) show that from an interpretative standpoint, there is nothing special about legal defeasibility. Contrary to what some authors maintain, no unique or privileged source of legal defeasibility exists, nor are there privileged arguments to justify it. Specifically, legal defeasibility refers to interpretative outcomes deriving from interpretative arguments that, on the one hand, are very different from one another, and, on the other, are often employed to justify different interpretative outcomes. In the legal field, the problems related to defeasibility have little in common with the problems that this label covers in other areas—such as logic or epistemology—and they are nothing but the well-known problems related to legal interpretation. In conclusion, this paper argues that as far as legal argumentation is concerned, the notion of legal defeasibility lacks explanatory power, and it should be abandoned. (shrink)

In this paper we will analyse the issue of defeasibility in the law, taking into account research carried out in philosophy, artificial intelligence and legal theory. We will adopt a very general idea of legal defeasibility, in which we will include all different ways in which certain legal conclusions may need to be abandoned, though no mistake was made in deriving them. We will argue that defeasibility in the law involves three different aspects, which we will call inference‐based defeasibility, process‐based (...) defeasibility, and theory‐based defeasibility. Only the integration of these three perspectives allows us to provide a satisfactory account of the role of defeasibility in legal reasoning. (shrink)

This paper presents a formal reconstruction of a Dutch civil legal case in Prakken’s formal model of adjudication dialogues. The object of formalisation is the argumentative speech acts exchanged during the dispute by the adversaries and the judge. The goal of this formalisation is twofold: to test whether AI & law models of legal dialogues in general, and Prakken’s model in particular, are suitable for modelling particular legal procedures; and to learn about the process of formalising an actual legal dispute.