Work on a computer program called SMILE + IBP (SMart Index Learner Plus Issue-Based Prediction) bridges case-based reasoning and extracting information from texts. The program addresses a technologically challenging task that is also very relevant from a legal viewpoint: to extract information from textual descriptions of the facts of decided cases and apply that information to predict the outcomes of new cases. The program attempts to automatically classify textual descriptions of the facts of legal problems in terms of Factors, a (...) set of classification concepts that capture stereotypical fact patterns that effect the strength of a legal claim, here trade secret misappropriation. Using these classifications, the program can evaluate and explain predictions about a problem’s outcome given a database of previously classified cases. This paper provides an extended example illustrating both functions, prediction by IBP and text classification by SMILE, and reports empirical evaluations of each. While IBP’s results are quite strong, and SMILE’s much weaker, SMILE + IBP still has some success predicting and explaining the outcomes of case scenarios input as texts. It marks the first time to our knowledge that a program can reason automatically about legal case texts. (shrink)

Practical Reason and Norms focuses on three problems: In what way are rules normative, and how do they differ from ordinary reasons? What makes normative systems systematic? What distinguishes legal systems, and in what consists their normativity? All three questions are answered by taking reasons as the basic normative concept, and showing the distinctive role reasons have in every case, thus paving the way to a unified account of normativity. Rules are a structure of reasons to perform the required act (...) and an exclusionary reason not to follow some competing reasons. Exclusionary reasons are explained, and used to unlock the secrets of orders, promises, and decisions as well as rules. Games are used to exemplify normative systems. Inevitably, the analysis extends to some aspects of normative discourse, which is truth-apt, but with a diminished assertoric force. (shrink)

Legitimate authority -- The claims of law -- Legal positivism and the sources of law -- Legal reasons, sources, and gaps -- The identity of legal systems -- The institutional nature of law -- Kelsen's theory of the basic norm -- Legal validity -- The functions of law -- Law and value in adjudication -- The rule of law and its virtue -- The obligation to obey the law -- Respect for law -- A right to dissent? : civil disobedience (...) -- A right to dissent? : conscientious objection --The purity of the pure theory -- The argument from justice, or how not to reply to legal positivism. (shrink)

In "The Rule of Rules" Larry Alexander and Emily Sherwin examine this dilemma.

Rules are a central component of such diverse enterprises as law, morality, language, games, religion, etiquette, and family governance, but there is often confusion about what a rule is, and what rules do. Offering a comprehensive philosophical analysis of these questions, this book challenges much of the existing legal, jurisprudential, and philosophical literature, by seeing a significant role for rules, an equally significant role for their stricter operation, and making the case for rules as devices for the allocation of power (...) among decision-makers. (shrink)

The goal of this paper is to frame a theory of reasons--what they are, how they support actions or conclusions--using the tools of default logic. After sketching the basic account of reasons as provided by defaults, I show how it can be elaborated to deal with two more complicated issues: first, situations in which the priority relation among defaults, and so reasons as well, is itself established through default reasoning; second, the treatment of undercutting defeat and exclusionary reasons. Finally, and (...) by way of application, I show how the resulting account can shed some light on Jonathan Dancy's argument from reason holism to a form of extreme particularism in moral theory. (shrink)

This article argues that legal precedents do not create rules, but rather create a special type of reason in favour of a decision in later cases. Precedents are often argued to be analogous to statutes in their law-creating function, but the common law practice of distinguishing is difficult to reconcile with orthodox accounts of the function of rules. Instead, a precedent amounts to a decision on the balance of reasons in the case before the precedent court, and later courts are (...) required to decide cases on the basis that the earlier decision was correctly decided. (shrink)

In this volume, John Horty brings to bear his work in logic to present a framework that allows for answers to key questions about reasons and reasoning, namely: What are reasons, and how do they support actions or conclusions?

The result model of precedent holds that a legal precedent controls a fortiori cases—those cases, that is, that are at least as strong for the winning side of the precedent as the precedent case itself. This paper defends the result model against some objections by Larry Alexander, drawing on ideas from the field of Artificial Intelligence and Law in order to define an appropriate strength ordering for cases.

In recent years several proposals to view reasoning with legal cases as theory construction have been advanced. The most detailed of these is that of Bench-Capon and Sartor, which uses facts, rules, values and preferences to build a theory designed to explain the decisions in a set of cases. In this paper we describe CATE (CAse Theory Editor), a tool intended to support the construction of theories as described by Bench-Capon and Sartor, and which produces executable code corresponding to a (...) theory. CATE has been used in a series of experiments intended to explore a number of issues relating to such theories, including how the theories should be constructed, how sets of values should be compared, and the representation of cases using structured values as opposed to factors. (shrink)

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)

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)

The doctrine of precedent, as it has evolved within the common law, has at its heart a form of reasoning—broadly speaking, alogic—according to which the decisions of earlier courts in particular cases somehow generalize to constrain the decisions of later courts facing different cases, while still allowing these later courts a degree of freedom in responding to fresh circumstances. Although the techniques for arguing on the basis of precedent are taught early on in law schools, mastered with relative ease, and (...) applied on a daily basis by legal practitioners, it has proved to be considerably more difficult to arrive at a theoretical understanding of the doctrine itself—a clear articulation of the underlying logic. (shrink)

This paper describes one way in which a precise reason model of precedent could be developed, based on Grant Lamond’s general idea that a later court is constrained to reach a decision that is consistent an earlier court’s assessment of the balance of reasons. The account provided here has the additional advantage of showing how this reason model can be reconciled with the traditional idea that precedential constraint involves rules, as long as these rules are taken to be defeasible.

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)

In this paper we describe AGATHA, a program designed to automate the process of theory construction in case based domains. Given a seed case and a number of precedent cases, the program uses a set of argument moves to generate a search space for a dialogue between the parties to the dispute. Each move is associated with a set of theory constructors, and thus each point in the space can be associated with a theory intended to explain the seed case (...) and the other cases in the domain. The space is large and so an heuristic search method is needed. This paper describes two methods based on A* and alpha/beta pruning and also a series of experiments designed to explore the appropriateness of different evaluation functions, the most useful precedents to use as seed cases and the quality of the resulting theories. (shrink)