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)

In this paper a theoretical definition that helps to explain how the logical structure of legal presumptions is constructed by applying the Carneades model of argumentation developed in artificial intelligence. Using this model, it is shown how presumptions work as devices used in evidentiary reasoning in law in the event of a lack of evidence to assist a chain of reasoning to move forward to prove or disprove a claim. It is shown how presumptions work as practical devices that may (...) be useful in cases in which there is insufficient evidence to prove the claim to an appropriate standard of proof. (shrink)

Argumentation schemes are forms of reasoning that are fallible but correctable within a self-correcting framework. Their use provides a basis for taking rational action or for reasonably accepting a conclusion as a tentative hypothesis, but they are not deductively valid. We argue that teleological reasoning can provide the basis for justifying the use of argument schemes both in monological and dialogical reasoning. We consider how such a teleological justification, besides being inspired by the aim of directing a bounded cognizer to (...) true belief and correct choices, needs to take into account the attitudes of dialogue partners as well as normative models of dialogue and communicative activity types, in particular social and cultural settings. (shrink)

This paper presents a theory of reasoning with evidence in order to determine the facts in a criminal case. The focus is on the process of proof, in which the facts of the case are determined, rather than on related legal issues, such as the admissibility of evidence. In the literature, two approaches to reasoning with evidence can be distinguished, one argument-based and one story-based. In an argument-based approach to reasoning with evidence, the reasons for and against the occurrence of (...) an event, e.g., based on witness testimony, are central. In a story-based approach, evidence is evaluated and interpreted from the perspective of the factual stories as they may have occurred in a case, e.g., as they are defended by the prosecution. In this paper, we argue that both arguments and narratives are relevant and useful in the reasoning with and interpretation of evidence. Therefore, a hybrid approach is proposed and formally developed, doing justice to both the argument-based and the narrative-based perspective. By the formalization of the theory and the associated graphical representations, our proposal is the basis for the design of software developed as a tool to make sense of the evidence in complex cases. (shrink)

The informal logic movement began as an attempt to develop – and teach – an alternative logic which can account for the real life arguing that surrounds us in our daily lives – in newspapers and the popular media, political and social commentary, advertising, and interpersonal exchange. The movement was rooted in research and discussion in Canada and especially at the University of Windsor, and has become a branch of argumentation theory which intersects with related traditions and approaches (notably formal (...) logic, rhetoric and dialectics in the form of pragma-dialectics). In this volume, some of the best known contributors to the movement discuss their views and the reasoning and argument which is informal logic’s subject matter. Many themes and issues are explored in a way that will fuel the continued evolution of the field. Federico Puppo adds an insightful essay which considers the origins and development of informal logic and whether informal logicians are properly described as a “school” of thought. In considering that proposition, Puppo introduces readers to a diverse range of essays, some of them previously published, others written specifically for this volume. (shrink)

This paper combines three computational argumentation systems to model the sequence of argumentation in a famous murder trial and the appeal procedure that followed. The paper shows how the argumentation scheme for argument from expert opinion can be built into a testing procedure whereby an argument graph is used to interpret, analyze and evaluate evidence-based natural language argumentation of the kind found in a trial. It is shown how a computational argumentation system can do this by combining argument schemes with (...) argumentation graphs. Frighteningly, it is also shown by this example that when there are potentially confusing conflicting arguments from expert opinion, a jury can only too easily accept a conclusion prematurely before considering critical questions that need to be asked. (shrink)

This paper shows how the critical questions matching an argumentation scheme can be mod-eled in the Carneades argumentation system as three kinds of premises. Ordinary premises hold only if they are supported by sufficient arguments. Assumptions hold, by default, until they have been questioned. With exceptions the negation holds, by default, until the exception has been supported by sufficient arguments. By “sufficient arguments”, we mean arguments sufficient to satisfy the applicable proof standard.

This paper takes an argumentation approach to find the place of trust in a method for evaluating arguments from expert opinion. The method uses the argumentation scheme for argument from expert opinion along with its matching set of critical questions. It shows how to use this scheme in three formal computational argumentation models that provide tools to analyse and evaluate instances of argument from expert opinion. The paper uses several examples to illustrate the use of these tools. A conclusion of (...) the paper is that from an argumentation point of view, it is better to critically question arguments from expert opinion than to accept or reject them based solely on trust. (shrink)

This paper applies recent work on scripts and stories developed as tools of evidential reasoning in artificial intelligence to model the use of argument from analogy as a rhetorical device of persuasion. The example studied is Gerry Spence’s closing argument in the case of Silkwood v. Kerr-McGee Corporation, said to be the most persuasive closing argument ever used in an American trial. It is shown using this example how argument from analogy is based on a similarity premise where similarity between (...) two cases is modeled using the device of a story scheme from the hybrid theory of legal evidential reasoning (Bex in Arguments, stories and criminal evidence: a formal hybrid theory. Springer, Dordrecht 2011). It is shown how the rhetorical strategy of Spence’s argumentation in the closing argument interweaves argument from analogy with explanation through three levels. (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)

The study of presumptions has intensified in argumentation theory over the last years. Although scholars put forward different accounts, they mostly agree that presumptions can be studied in deliberative and epistemic contexts, have distinct contextual functions, and promote different kinds of goals. Accordingly, there are “practical” and “cognitive” presumptions. In this paper, I show that the differences between practical and cognitive presumptions go far beyond contextual considerations. The central aim is to explore Nicholas Rescher’s contention that both types of presumptions (...) have a closely analogous pragmatic function, i.e., that practical and cognitive presumptions are made to avoid greater harm in circumstances of epistemic uncertainty. By comparing schemes of practical and cognitive reasoning, I show that Rescher’s contention requires qualifications. Moreover, not only do practical and cognitive presumptions have distinct pragmatic functions, but they also perform different dialogical functions and, in some circumstances, cannot be defeated by the same kinds of evidence. Hence, I conclude that the two classes of presumptions merit distinct treatment in argumentation theory. (shrink)

Hamblin distinguished between formal and descriptive dialectic. Formal normative models of deliberation dialogue have been strongly emphasized as argumentation frameworks in computer science. But making such models of deliberation applicable to real natural language examples has reached a point where the descriptive aspect needs more interdisciplinary work. The new formal and computational models of deliberation dialogue that are being built in computer science seem to be closely related to some already existing and very well established computing technologies such as problem (...) solving and decision making, but whether or how dialectical argumentation can be helpful to support these systems remains an open question. The aim of this paper is to examine some real examples of argumentation that seem to hover on the borderlines between deliberation, problem solving and decision making. (shrink)

The primary aim of this chapter is to explain the nature of evidential reasoning, the characteristic difficulties encountered, and the tools to address these difficulties. Our focus is on evidential reasoning in criminal cases. There is an extensive scholarly literature on these topics, and it is a secondary aim of the chapter to provide readers the means to find their way in historical and ongoing debates.

In this paper, a case study is conducted to test the capability of the Carneades Argumentation System to model the argumentation in a case where forensic evidence was collected in an investigation triggered by a conflict among art experts on the attribution of a painting to Leonardo da Vinci. A claim that a portrait of a young woman in a Renaissance dress could be attributed to da Vinci was initially dismissed by art experts. Forensic investigations were carried out, and evidence (...) was collected by art history experts and scientific experts. The expert opinions were initially in conflict, but new evidence shifted the burden of proof onto the side of the skeptics. This paper presents an analysis of the structure of the interlocking argumentation in the case using argument mapping tools to track the accumulation of evidence pro and con. (shrink)

In his book on fallacies, Hamblin built a very simple system for argumentation in dialogue he called the Why Because System with Questions. In his discussion of this system, he replaced the concept of burden of proof with a simpler concept of initiative, which could be described as something like getting the upper hand as the argumentation moves back and forth in the dialogue between the one party and the other. No doubt he realized that the concept of burden of (...) proof was too complex a matter to be dealt with in the limited scope of his chapter on formal dialogue systems. In this paper is shown how an extended version of Hamblin’s dialogue system provides a nice way of modeling the phenomenon of shifting of burden of proof in a dialogue, yielding a precise way of distinguishing between different kinds of burden of proof, and dealing with fallacies like the argumentum ad ignorantiam (argument from negative evidence). (shrink)

This paper argues that some traditional fallacies should be considered as reasonable arguments when used as part of a properly conducted dialog. It is shown that argumentation schemes, formal dialog models, and profiles of dialog are useful tools for studying properties of defeasible reasoning and fallacies. It is explained how defeasible reasoning of the most common sort can deteriorate into fallacious argumentation in some instances. Conditions are formulated that can be used as normative tools to judge whether a given defeasible (...) argument is fallacious or not. It is shown that three leading violations of proper dialog standards for defeasible reasoning necessary to see how fallacies work are: (a) improper failure to retract a commitment, (b) failure of openness to defeat, and (c) illicit reversal of burden of proof. (shrink)

In his book on fallacies, Hamblin built a very simple system for argumentation in dialogue he called the Why Because System with Questions. In his discussion of this system, he replaced the concept of burden of proof with a simpler concept of initiative, which could be described as something like getting the upper hand as the argumentation moves back and forth in the dialogue between the one party and the other. No doubt he realized that the concept of burden of (...) proof was too complex a matter to be dealt with in the limited scope of his chapter on formal dialogue systems. In this paper is shown how an extended version of Hamblin’s dialogue system provides a nice way of modeling the phenomenon of shifting of burden of proof in a dialogue, yielding a precise way of distinguishing between different kinds of burden of proof, and dealing with fallacies like the argumentum ad ignorantiam. (shrink)

Problem setting. New complex challenges of the present, including transformation and complication of heterogeneity and entropy of the Internet space, intensive development of robotics, technologies of artificial intelligence, can not but affect the state and development of the entire legal system of the state and legislation in various spheres of public relations. It is necessary to formulate criteria for a typology of legal problems that can be solved by digital formalization, and which require the use of the potential of "personal (...) knowledge" to which intuition and practical experience are involved, etc. Recent research and publications analysis. The results of studies of these problems make it possible to point out that, as a whole, a systematic scientific understanding of the complex, voluminous and multidimensional problem of clarifying the perspectives and limits of the technological approach in professional legal practice, legal expert activity, influence on the transformation of legal norms, jurisprudence and legal education and the like need further careful study. The rapid development of new technologies, in particular artificial intelligence technologies, the Internet of Things, cloud technologies, etc., is contributing to changes in current legislation. Today, advanced economies are already pondering the question of regulating the status and use of AI technologies. While these are only the first bold steps, in the future, all of these can affect global changes in the legal system - perhaps full-fledged comprehensive institutions of law and institutions of law, even the branches and branches of law. Paper objectiv. The purpose of this article is to consideration of certain aspects of digitization of law and the limits of possible and admissible in the technological approach to legal knowledge on the basis of the results of understanding of this problem by different representatives of the humanities and interdisciplinary researchers. Paper main body. The article substantiates the importance and methodology of the technological approach in law, the limits of the use of this approach. It is shown that since the intensive development of innovative technologies, their widespread adoption in various spheres of public life is a significant factor in the development of modern society, this gradually leads to the formation of a new "digital" reality. It is disclosed that innovative technologies are not only potentially applicable, but have long been effectively used in the legal sphere, due to which, in particular, the correct and quick solution of various tasks is ensured, which contributes to more efficient provision of legal services, ensuring professional legal practice, etc. It is revealed that in the new reality, law becomes not only a means, a tool that provides digitalization of the economy, management and other segments of society, but also the object of digitalization, as a result of which it experiences changes in its form, content, system, structure, mechanism of action and demonstrates tendencies to strengthen these transformations. Conclusions of the research. In the face of new reality, law becomes not only a means, a tool that ensures the digitization of the economy, governance and other segments of social life, but also the object of digitalization, in which it changes its form, content, system, structure, mechanism of action and demonstrates a tendency to enhance these transformations. The following are legally and in fact possible and relevant directions and forms of the use of artificial intelligence technologies in legal practice, in particular in the judiciary: information and documentary support of legal practice, which includes automated intellectual classification of legal documents, formation and documentation of cases, elaboration through the use of artificial intelligence technologies of projects of solutions to various legal problems by means of using and analyzing databases; intellectual expert-analytical support of legal practice by comparison of technologies of artificial intelligence of norms of law, comparison of normative legal acts in order to determine their hierarchy, establishment of norms and acts of higher legal force from among those that are compared; generating and issuing expert assessments within the framework of forensic expertise or specialist opinion, automated systems for supporting legal decisions based on artificial intelligence); facilitating decision-making on large volumes of heterogeneous tasks in difficult uncertainty conditions, based on inaccurate, insufficient or poorly structured information. (shrink)

Doug Walton, who died in January 2020, was a prolific author whose work in informal logic and argumentation had a profound influence on Artificial Intelligence, including Artificial Intelligence and Law. He was also very interested in interdisciplinary work, and a frequent and generous collaborator. In this paper seven leading researchers in AI and Law, all past programme chairs of the International Conference on AI and Law who have worked with him, describe his influence on their work.

We provide a logical analysis of private international law, a rather esoteric, but increasingly important, domain of the law. Private international law addresses overlaps and conflicts between legal systems by distributing cases between the authorities of such systems (jurisdiction) and establishing what rules these authorities have to apply to each case (choice of law). A formal model of the resulting interactions between legal systems is proposed based on modular argumentation. It is argued that this model may also be useful for (...) governing the interactions between heterogeneous agents, belonging to different and differently regulated virtual societies, without recourse to a central regulatory agency. The model also provides for multiple interpretations concerning rules of private international law as well as substantive rules of the different legal systems. (shrink)

In place of the traditional epistemological view of knowledge as justified true belief we argue that artificial intelligence and law needs an evidence-based epistemology according to which scientific knowledge is based on critical analysis of evidence using argumentation. This new epistemology of scientific evidence (ESE) models scientific knowledge as achieved through a process of marshaling evidence in a scientific inquiry that results in a convergence of scientific theories and research results. We show how a dialogue interface of argument from expert (...) opinion, along with its set of critical questions, provides the argumentation component of the ESE. It enables internal scientific knowledge to be translated over into a wider arena in which individual nonexpert citizens and groups can make use of it. The external component shows how evidence is presented and used in a legal procedural setting that includes fact-finding, weighing the credibility of expert witnesses, and critical questioning of arguments. The paper critically reviews the standards of admissibility of scientific evidence using the ESE. (shrink)