This paper studies how legal choices, and in particular legislative determinations, need to consider multiple rights and values, and can be assessed accordingly. First it is argued that legal norms (and in particular constitutional right-norms) often prescribe the pursuit of goals, which may be in conflict one with another. Then a model of teleological reasoning is brought to bear on choices affecting different goals, among which those prescribed by constitutional norms. An analytical framework is provided for evaluating such choices with (...) regard to possible alternatives. The assessment of legislative choices according to proportionality is then considered, and is modelled using the provided analytical framework. Finally, the framework is expanded to include the ideas of reasonableness and institutional deference, and the corresponding margins of appreciation. (shrink)

We propose in this paper DIAL, a framework for inter-agents dialogue, which formalize a collective decision-making process to compose divergent interests and perspectives. This framework bounds a dialectics system in which argumentative agents play and arbitrate to reach an agreement. For this purpose, we propose an argumentation-based reasoning to manage the conflicts between arguments having different strengths for different agents. Moreover, we propose a model of argumentative agents which justify the hypothesis to which they commit and take into account the (...) commitments of their interlocutors according to their reputations. In the scope of our dialectics system, a third agent is responsible of the final decision outcome which is taken by resolving the conflict between two players according to their competences and the advanced arguments. (shrink)

This paper describes one way in which a precise reason model of precedent could be developed, based on the general idea that courts are constrained to reach a decision that is consistent with the assessment of the balance of reasons made in relevant earlier decisions. 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. (...) The account presented is firmly based on a body of work that has emerged in AI and Law. This work is discussed, and there is a particular discussion of approaches based on theory construction, and how that work relates to the model described in this paper. (shrink)

Proper linear models are those in which predictor variables are given weights such that the resulting linear composite optimally predicts some criterion of interest; examples of proper linear models are standard regression analysis, discriminant function analysis, and ridge regression analysis. Research summarized in P. Meehl's book on clinical vs statistical prediction and research stimulated in part by that book indicate that when a numerical criterion variable is to be predicted from numerical predictor variables, proper linear models outperform clinical intuition. Improper (...) linear models are those in which the weights of the predictor variables are obtained by some nonoptimal method. The present article presents evidence that even such improper linear models are superior to clinical intuition when predicting a numerical criterion from numerical predictors. In fact, unit weighting is quite robust for making such predictions. The application of unit weights to decide what bullet the Denver Police Department should use is described; some technical, psychological, and ethical resistances to using linear models in making social decisions are considered; and arguments that could weaken these resistances are presented. (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)

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)

This paper studies the use of hypothetical and value-based reasoning in US Supreme-Court cases concerning the United States Fourth Amendment. Drawing upon formal AI & Law models of legal argument a semi-formal reconstruction is given of parts of the Carney case, which has been studied previously in AI & law research on case-based reasoning. As part of the reconstruction, a semi-formal proposal is made for extending the formal AI & Law models with forms of metalevel reasoning in several argument schemes. (...) The result is compared with Rissland’s (1989) analysis in terms of dimensions and Ashley’s (2008) analysis in terms of his process model of legal argument with hypotheticals. (shrink)

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)