Rule-applying legal arguments are traditionally treated as a kind of syllogism. Such a treatment overlooks the fact that legal principles and rules are not statements which describe the world, but rather means by which humans impose structure on the world. Legal rules create legal consequences, they do not describe them. This has consequences for the logic of rule- and principle-applying arguments, the most important of which may be that such arguments are defeasible. This book offers an extensive analysis of the (...) role of rules and principles in legal reasoning, which focuses on the close relationship between rules, principles, and reasons. Moreover, it describes a logical theory which assigns a central place to the notion of reasons for and against a conclusion, and which is especially suited to deal with rules and principles. (shrink)

This book identifies 25 argumentation schemes for presumptive reasoning and matches a set of critical questions to each.

We discuss several aspects of legal arguments, primarily arguments about the meaning of statutes. First, we discuss how the requirements of argument guide the specification and selection of supporting cases and how an existing case base influences argument formation. Second, we present,our evolving taxonomy of patterns of actual legal argument. This taxonomy builds upon our much earlier work on argument moves and also on our more recent analysis of how cases are used to support arguments for the interpretation of legal (...) statutes. Third, we show how the theory of argument used by CABARET, a hybrid case-based/rule-based reasoner, can support many of the argument patterns in our taxonomy. (shrink)

This paper takes up Berman and Hafner's (1993) challenge to model legal case-based reasoning not just in terms of factual similarities and differences but also in terms of the values that are at stake. The formal framework of Prakken and Sartor (1998) is applied to examples of case-based reasoning involving values, and a method for formalising such examples is proposed. The method makes it possible to express that a case should be decided in a certain way because that advances certain (...) values. The method also supports the comparison of conflicting precedents in terms of values, and it supports debates on the relevance of distinctions in terms of values. (shrink)

The Pleadings Game is a normative formalization and computational model of civil pleading, founded in Roberty Alexy''s discourse theory of legal argumentation. The consequences of arguments and counterarguments are modelled using Geffner and Pearl''s nonmonotonic logic,conditional entailment. Discourse in focussed using the concepts of issue and relevance. Conflicts between arguments can be resolved by arguing about the validity and priority of rules, at any level. The computational model is fully implemented and has been tested using examples from Article Nine of (...) the Uniform Commercial Code. (shrink)

This paper studies the modelling of legal reasoning about evidence within general theories of defeasible reasoning and argumentation. In particular, Wigmore's method for charting evidence and its use by modern legal evidence scholars is studied in order to give a formal underpinning in terms of logics for defeasible argumentation. Two notions turn out to be crucial, viz. argumentation schemes and empirical generalisations.

A central theme throughout the impressive series of philosophical books and articles Stephen Toulmin has published since 1948 is the way in which assertions and opinions concerning all sorts of topics, brought up in everyday life or in academic research, can be rationally justified. Is there one universal system of norms, by which all sorts of arguments in all sorts of fields must be judged, or must each sort of argument be judged according to its own norms? In The Uses (...) of Argument Toulmin sets out his views on these questions for the first time. In spite of initial criticisms from logicians and fellow philosophers, The Uses of Argument has been an enduring source of inspiration and discussion to students of argumentation from all kinds of disciplinary background for more than forty years. (shrink)

This paper studies the modelling of legal reasoning about evidence within general theories of defeasible reasoning and argumentation. In particular, Wigmore's method for charting evidence and its use by modern legal evidence scholars is studied in order to give a formal underpinning in terms of logics for defeasible argumentation. Two notions turn out to be crucial, viz. argumentation schemes and empirical generalisations.

Law and legal reasoning are a natural target for artificial intelligence systems. Like medical diagnosis and other tasks for expert systems, legal analysis is a matter of interpreting data in terms of higher-level concepts. But in law the data are more like those for a system aimed at understanding natural language: they tell a story about human events that may lead to a lawsuit. Statements of the law, too, are written in natural language and legal arguments are often arguments about (...) what that language means or ought to mean.This study is one of the few research efforts in this fertile area. It is unique in developing a computational model for analyzing legal problems in a way that brings these strands of AI research together and makes sense from a jurisprudential perspective as well.Gardner first analyzes several positions in Anglo-American jurisprudence and their relevance for work in artificial intelligence. She identifies aspects of legal reasoning that any truly expert system in law must make a place for and suggests a way of decomposing the process of legal analysis that takes these aspects into account. She compares the resulting framework with those used by other legal analysis programs. A solid exposition of current AI techniques follows in chapters covering the author's system (written in Maclisp) for offer and acceptance problems, taken from law examinations, involved in contract law.Anne von der Lieth Gardner has a law degree and a Ph.D. in computer science, both from Stanford University. An Artificial Intelligence Approach to Legal Reasoning inaugurates the series Artificial Intelligence and the Law: Processes and Models of Legal Reasoning, edited by L. Thorne McCarty and Edwina L. Rissland. A Bradford Book. (shrink)

"A sequel to Pollock's How to Build a Person, this volume builds upon that theoretical groundwork for the implementation of rationality through artificial ...

The Pleadings Game is a major contribution to artificial intelligence and legal theory. The book draws on jurisprudence and moral philosophy to develop a formal model of argumentation called the pleadings game. From a technical perspective, the work can be viewed as an extension of recent argumentation-based approaches to non-monotonic logic: (1) the game is dialogical rather than mono-logical; (2) the validity and priority of defeasible rules is subject to debate; and (3) resource limitations are acknowledged by rules for fairly (...) dividing the burdens of representation and proof among the players. Gordon's work evaluates important jurisprudential theories of argumentation and reasoning in the context of the U.S. commercial law on secured transactions. Audience: It is not necessary to have a formal background in law to appreciate The Pleadings Game. It will be of equal interest to both the artificial intelligence community and legal theorists. (shrink)

This paper describes an approach to legal logic based on the formal analysis of argumentation schemes. Argumentation schemes a notion borrowed from the .eld of argumentation theory - are a kind of generalized rules of inference, in the sense that they express that given certain premises a particular conclusion can be drawn. However, argumentation schemes need not concern strict, abstract, necessarily valid patterns of reasoning, but can be defeasible, concrete and contingently valid, i.e., valid in certain contexts or under certain (...) circumstances. A method is presented to analyze argumentation schemes and it is shown how argumentation schemes can be embedded in a formal model of dialectical argumentation. (shrink)

Reasoning with cases has been a primary focus of those working in AI and law who have attempted to model legal reasoning. In this paper we put forward a formal model of reasoning with cases which captures many of the insights from that previous work. We begin by stating our view of reasoning with cases as a process of constructing, evaluating and applying a theory. Central to our model is a view of the relationship between cases, rules based on cases, (...) and the social values which justify those rules. Having given our view of these relationships, we present our formal model of them, and explain how theories can be constructed, compared and evaluated. We then show how previous work can be described in terms of our model, and discuss extensions to the basic model to accommodate particular features of previous work. We conclude by identifying some directions for future work. (shrink)

Inspired by legal reasoning, this paper presents a formal framework for assessing conflicting arguments. Its use is illustrated with applications to realistic legal examples, and the potential for implementation is discussed. The framework has the form of a logical system for defeasible argumentation. Its language, which is of a logic-programming-like nature, has both weak and explicit negation, and conflicts between arguments are decided with the help of priorities on the rules. An important feature of the system is that these priorities (...) are not fixed, but are themselves defeasibly derived as conclusions within the system. Thus debates on the choice between conflicting arguments can also be modelled.The proof theory of the system is stated in dialectical style, where a proof takes the form of a dialogue between a proponent and an opponent of an argument. An argument is shown to be justified if the proponent can make the opponent run out of moves in whatever way the opponent attacks. Despite this dialectical form, the system reflects a declarative, or relational approach to modelling legal argument. A basic assumption of this paper is that this approach complements two other lines of research in AI and Law, investigations of precedent-based reasoning and the development of procedural, or dialectical models of legal argument. (shrink)

We discuss five kinds of representations of rationales and provide a formal account of how they can alter disputation. The formal model of disputation is derived from recent work in argument. The five kinds of rationales are compilation rationales, which can be represented without assuming domain-knowledge (such as utilities) beyond that normally required for argument. The principal thesis is that such rationales can be analyzed in a framework of argument not too different from what AI already has. The result is (...) a formal understanding of rationales, a partial taxonomy, and a foundation for computer programs that represent and reason with rationales.The five kinds of rationales are as follows: (c)ompression and (s)pecialization, which yield rules, and (d)isputation, which yields a decision. These are modeled as potentially changing the focus of the dispute. Then there are (f)it, a rationale for rules, and (r)esolution, a rationale for decisions. These cannot be modeled as simply; they force disputation to a meta-level, at least temporarily. (shrink)