El trabajo explora la controversia entre las concepciones atomistas y holistas del razonamiento probatorio con el objeto de evaluar críticamente sus contribuciones desde la perspectiva de una teoría normativa de la justifi cación de la decisión judicial sobre los hechos. La autora reconoce a las aproximaciones holistas el mérito de haber iluminado la relevancia semántica de la integración de las proposiciones a probar en un relato global del caso y la relevancia justifi cativa de la integración explicativa entre cada una (...) de ellas y el conjunto de pruebas disponibles. Pero a la vez sostiene que, por razones epistémicas y jurídicas, en la arquitectura de la justifi cación probatoria cada hecho principal debe mantenerse atomísticamente diferenciado como objeto de prueba y respecto de cada elemento de prueba debe analizarse en forma individualizada su fi abilidad y la solidez de la inferencia que lo conecta con un hecho principal. (shrink)

Information technology is so ubiquitous and AI’s progress so inspiring that also legal professionals experience its benefits and have high expectations. At the same time, the powers of AI have been rising so strongly that it is no longer obvious that AI applications (whether in the law or elsewhere) help promoting a good society; in fact they are sometimes harmful. Hence many argue that safeguards are needed for AI to be trustworthy, social, responsible, humane, ethical. In short: AI should be (...) good for us. But how to establish proper safeguards for AI? One strong answer readily available is: consider the problems and solutions studied in AI & Law. AI & Law has worked on the design of social, explainable, responsible AI aligned with human values for decades already, AI & Law addresses the hardest problems across the breadth of AI (in reasoning, knowledge, learning and language), and AI & Law inspires new solutions (argumentation, schemes and norms, rules and cases, interpretation). It is argued that the study of AI as Law supports the development of an AI that is good for us, making AI & Law more relevant than ever. (shrink)

This paper is an introduction to a virtual special issue of AI and Law exploring the legacy of the influential HYPO system of Rissland and Ashley. The papers included are: Arguments and cases: An inevitable intertwining, BankXX: Supporting legal arguments through heuristic retrieval, Modelling reasoning with precedents in a formal dialogue Game, A note on dimensions and factors, An empirical investigation of reasoning with legal cases through theory construction and application, Automatically classifying case texts and predicting outcomes, A factor-based definition (...) of precedential constraint and An improved factor based approach to precedential constraint. After describing HYPO, in this introduction to the special issue I look at various aspects of its influence on AI and Law: the developments led by Rissland at Amherst; the developments led by Ashley in Pittsburgh; the expression of these ideas in terms of rule based systems, and their subsequent formalisation; value based theories, which were inspired by a critique of HYPO; and contemporary approaches which revive the idea of dimensions. (shrink)

Evidential reasoning is hard, and errors can lead to miscarriages of justice with serious consequences. Analytic methods for the correct handling of evidence come in different styles, typically focusing on one of three tools: arguments, scenarios or probabilities. Recent research used Bayesian networks for connecting arguments, scenarios, and probabilities. Well-known issues with Bayesian networks were encountered: More numbers are needed than are available, and there is a risk of misinterpretation of the graph underlying the Bayesian network, for instance as a (...) causal model. The formalism presented here models presumptive arguments about coherent hypotheses that are compared in terms of their strength. No choice is needed between qualitative or quantitative analytic styles, since the formalism can be interpreted with and without numbers. The formalism is applied to key concepts in argumentative, scenario and probabilistic analyses of evidential reasoning, and is illustrated with a fictional crime investigation example based on Alfred Hitchcock’s film ‘To Catch A Thief’. (shrink)

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, we look at reasoning with evidence and facts in criminal cases. We show how this reasoning may be analysed in a dialectical way by means of critical questions that point to typical sources of doubt. We discuss critical questions about the evidential arguments adduced, about the narrative accounts of the facts considered, and about the way in which the arguments and narratives are connected in an analysis. Our treatment shows how two different types of knowledge, represented as (...) schemes, play a role in reasoning with evidence: argumentation schemes and story schemes. (shrink)

A well-known ambiguity in the term ‘argument’ is that of argument as an inferential structure and argument as a kind of dialogue. In the first sense, an argument is a structure with a conclusion supported by one or more grounds, which may or may not be supported by further grounds. Rules for the construction and criteria for the quality of arguments in this sense are a matter of logic. In the second sense, arguments have been studied as a form of (...) dialogical interaction, in which human or artificial agents aim to resolve a conflict of opinion by verbal means. Rules for conducting such dialogues and criteria for their quality are part of dialogue theory. Usually, formal accounts of argumentation dialogues in logic and artificial intelligence presuppose an argument-based logic. That is, the ways in which dialogue participants support and attack claims are modelled as the construction of explicit arguments and counterarguments (in the inferential sense). However, in this paper formal models of argumentation dialogues are discussed that do not presuppose arguments as inferential structures. The motivation for such models is that there are forms of inference that are not most naturally cast in the form of arguments (such as abduction, statistical reasoning and coherence-based reasoning) but that can still be the subject of argumentative dialogue. Some recent work in artificial intelligence is discussed which embeds non-argumentative inference in an argumentative dialogue system, and some general observations are drawn from this discussion. (shrink)

In this paper we compare causal models with reason models in the construction of Bayesian networks for legal evidence. In causal models, arrows in the network are drawn from causes to effects. In a reason model, the arrows are instead drawn towards the evidence, from factum probandum to factum probans. We explore the differences between causal models and reason models and observe several distinct advantages with reason models. Reason models are better aligned with the philosophy of Bayesian inference, as they (...) model reasons for up-dating beliefs. Reason models are better suited for measuring the combined support of the evidence, and a prior probability of guilt that reflects the number of possible perpetrators is accommodated more easily with reason models. (shrink)

In criminal trials, judges or jurors have to decide whether the facts described in the indictment are proven beyond a reasonable doubt. However, these decision-makers cannot always imagine every relevant sequence of events—there may be unconceived alternatives. The possibility of unconceived alternatives is an overlooked source of reasonable doubt. I argue that decision-makers should not consider the defendant’s guilt proven if they have good reasons to believe that plausible, unconceived scenarios exist. I explore this thesis through the lens of the (...) two most influential accounts of rational criminal proof—Bayesian and explanation-based approaches. I draw on related ideas from the philosophy of science to show why and when unconceived alternatives lead to reasonable doubt on either account. (shrink)

In the court of law, a person can be punished for attempting to commit a crime. An open issue in the study of Artificial Intelligence and Law is whether the law of attempts could be formally modelled. There are distinct legal rules for determining attempted crime whereas the last-act rule (also called proximity rule) represents the strictest approach. In this paper, we provide a formal model of the last-act rule using structured argumentation.

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 hybrid model of argument from analogy is presented that combines argumentation schemes and story schemes. One premise of the argumentation scheme for argument from analogy in the model claims that one case is similar to another. Story schemes are abstract representations of stories (narratives, explanations) based on common knowledge about how sequences of actions and events we are familiar with can normally be expected to unfold. Story schemes are used (a) to model similarity between two cases, (...) and (2) as the basis of evidence to support the similarity premise of an argument from analogy. Four examples of argument from analogy are used to test the theory. (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)

This paper uses argumentation tools such as argument diagrams and argumentation schemes to analyze four examples of argument from analogy, and argues that to proceed from there to evaluating these arguments, features of the context of dialogue need to be taken into account. The evidence drawn from these examples is taken to support a pragmatic approach to studying argument from analogy, meaning that identifying the logical form of the argument by building an argument diagram of the premises and conclusion is (...) not by itself sufficient for argument evaluation. To get further, it is argued, the argument evaluator needs to take into account how this particular argument was used in context to support a conversational goal.Cet article utilise des outils d'argumentation tels que des diagrammes d'argument et des schèmes d'argumentation pour analyser trois exemples d'argument par analogie, et soutient que pour évaluer ces arguments de manière adéquate, il est nécessaire de tenir compte du contexte d'utilisation de l'argument. Ces exemples suggèrent que l’étude des arguments par analogie à partir de seulement l’identification de leur forme logique n'est pas adéquate. Pour aller plus loin, on avance que l'analyste d'argument doit prendre en compte comment un argument particulier a été utilisé dans un contexte pour soutenir un but conversationnel. (shrink)

Explanationist accounts of rational legal proof view trials as a competition between explanations. Such accounts are often criticized for being underdeveloped. One question in need of further attention is when guilt is proven beyond a reasonable doubt in criminal trials. This article defends an inference to the best explanation -based approach on which guilt is only established BARD if the best guilt explanation in a case is substantially more plausible than any innocence explanation, and there is no good reason to (...) presume that we have overlooked evidence or alternative explanations that could realistically have exonerated the defendant. This is a comparative account, which I argue is better suited for arriving at accurate verdicts than the non-comparative ‘no plausible alternative’ account that many explanationists tacitly assume. Furthermore, this account is not susceptible to the most important arguments against IBE in criminal trials or to arguments against other, non-explanationist interpretations of the BARD standard. I use a case study to illustrate how this account provides meaningful guidance for decision makers in criminal trials. (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)

In this paper, I have two primary goals. First, I show that the causal-based story approach in A hybrid formal theory of arguments, stories and criminal evidence is ill suited to negative causation. In the literature, the causal-based approach requires that hypothetical stories be causally linked to the explanandum. Many take these links to denote physical or psychological causation, or temporal precedence. However, understanding causality in those terms, as I will show, cannot capture cases of negative causation, which are of (...) interest to the Law. In keeping with this, I also discuss some of the difficulties Hybrid Theory invites by remaining silent on the nature of the causal links. In my second aim, I sketch a way for Hybrid Theory to overcome this problem. By replacing the original, underlying causal structure with contrastive causation in the law, Hybrid Theory can represent reasoning in which the evidence that is appealed to is causally linked via negative causation to the explananda. (shrink)

‘AI & Law’ research has been around since the 1970s, even though with shifting emphasis. This is an overview of the contributions of digital technologies, both artificial intelligence and non-AI smart tools, to both the legal professions and the police. For example, we briefly consider text mining and case-automated summarization, tools supporting argumentation, tools concerning sentencing based on the technique of case-based reasoning, the role of abductive reasoning, research into applying AI to legal evidence, tools for fighting crime and tools (...) for identification. (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.

This paper analyzes legal fact-argumentation in the framework of the argumentation-based litigation game by Xiong :16–19, 2012). Rather than as an ontological one, an ALG treats a legal fact as a fact-qua-claim whose acceptability depends on the reasons supporting it. In constructing their facts-qua-claims, parties to an ALG must interact to maintain a game-theoretic equilibrium. We compare the general interactional constraints that the civil and common law systems assign, and detail what the civil, administrative, and criminal codes of mainland China (...) require of the suitor, the respondent, and the trier to establish their respective S-, R- and T-facts. We also offer an improved version of the legal syllogism. (shrink)

This paper presents a methodology to design and implement programs intended to decide cases, described as sets of factors, according to a theory of a particular domain based on a set of precedent cases relating to that domain. We useDialectical Frameworks, a recent development in AI knowledge representation, as the central feature of our design method. ADFs will play a role akin to that played by Entity–Relationship models in the design of database systems. First, we explain how the factor hierarchy (...) of the well-known legal reasoning system CATO can be used to instantiate an ADF for the domain of US Trade Secrets. This is intended to demonstrate the suitability of ADFs for expressing the design of legal cased based systems. The method is then applied to two other legal domains often used in the literature of AI and Law. In each domain, the design is provided by the domain analyst expressing the cases in terms of factors organised into an ADF from which an executable program can be implemented in a straightforward way by taking advantage of the closeness of the acceptance conditions of the ADF to components of an executable program. We evaluate the ease of implementation, the performance and efficacy of the resulting program, ease of refinement of the program and the transparency of the reasoning. This evaluation suggests ways in which factor based systems, which are limited by taking as their starting point the representation of cases as sets of factors and so abstracting away the particular facts, can be extended to address open issues in AI and Law by incorporating the case facts to improve the decision, and by considering justification and reasoning using portion of precedents. (shrink)

In this paper, we continue our research on a hybrid narrative-argumentative approach to evidential reasoning in the law by showing the interaction between factual reasoning (providing a proof for ‘what happened’ in a case) and legal reasoning (making a decision based on the proof). First we extend the hybrid theory by making the connection with reasoning towards legal consequences. We then emphasise the role of legal stories (as opposed to the factual stories of the hybrid theory). Legal stories provide a (...) coherent, holistic legal perspective on a case. They steer what needs to be proven but are also selected on the basis of what can be proven. We show how these legal stories can be used to model a shift of the legal perspective on a case, and we discuss how gaps in a legal story can be filled using a factual story (i.e. the process of reasoning with circumstantial evidence). Our model is illustrated by a discussion of the Dutch Wamel murder case. (shrink)

In a criminal trial, evidence is used to draw conclusions about what happened concerning a supposed crime. Traditionally, the three main approaches to modeling reasoning with evidence are argumentative, narrative and probabilistic approaches. Integrating these three approaches could arguably enhance the communication between an expert and a judge or jury. In previous work, techniques were proposed to represent narratives in a Bayesian network and to use narratives as a basis for systematizing the construction of a Bayesian network for a legal (...) case. In this paper, these techniques are combined to form a design method for constructing a Bayesian network based on narratives. This design method is evaluated by means of an extensive case study concerning the notorious Dutch case of the Anjum murders. (shrink)

In a criminal trial, a judge or jury needs to reason about what happened based on the available evidence, often including statistical evidence. While a probabilistic approach is suitable for analysing the statistical evidence, a judge or jury may be more inclined to use a narrative or argumentative approach when considering the case as a whole. In this paper we propose a combination of two approaches, combining Bayesian networks with scenarios. Whereas a Bayesian network is a popular tool for analysing (...) parts of a case, constructing and understanding a network for an entire case is not straightforward. We propose an explanation method for understanding a Bayesian network in terms of scenarios. This method builds on a previously proposed construction method, which we slightly adapt with the use of scenario schemes for the purpose of explaining. The resulting structure is explained in terms of scenarios, scenario quality and evidential support. A probabilistic interpretation of scenario quality is provided using the concept of scenario schemes. Finally, the method is evaluated by means of a case study. (shrink)