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)

There was a long tradition in philosophy according to which good reasoning had to be deductively valid. However, that tradition began to be questioned in the 1960’s, and is now thoroughly discredited. What caused its downfall was the recognition that many familiar kinds of reasoning are not deductively valid, but clearly confer justification on their conclusions. Here are some simple examples.

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)

Judges and jurors must make decisions in an environment of ignoranceand uncertainty for example by hearing statements of possibly unreliable ordishonest witnesses, assessing possibly doubtful or irrelevantevidence, and enduring attempts by the opponents to manipulate thejudge''s and the jurors'' perceptions and feelings. Three importantaspects of decision making in this environment are the quantificationof sufficient proof, the weighing of pieces of evidence, and therelevancy of evidence. This paper proposes a mathematical frameworkfor dealing with the two first aspects, namely the quantification ofproof (...) and weighing of evidence. Our approach is based on subjectivelogic, which is an extension of standard logic and probability theory,in which the notion of probability is extended by including degrees ofuncertainty. Subjective Logic is a framework for modelling humanreasoning and we show how it can be applied to legalreasoning. (shrink)

This paper describes a model of legal reasoning and a logic for reasoning with rules, principles and goals that is especially suited to this model of legal reasoning. The paper consists of three parts. The first part describes a model of legal reasoning based on a two-layered view of the law. The first layer consists of principles and goals that express fundamental ideas of a legal system. The second layer contains legal rules which in a sense summarise the outcome of (...) the interaction of the principles and goals for a number of case types. Both principles, goals and rules can be used in legal arguments, but their logical roles are different. One characteristic of the model of legal reasoning described in the first part of the paper is that it takes these logical differences into account. Another characteristic is that it pays serious attention to the phenomena of reasoning about the validity and acceptance of rules, respectively principles and goals, and about the application of legal rules, and the implications of these arguments for the use of rules, principles and goals in deriving legal conclusions for concrete cases.The second part of the paper first describes a logic (Reason-Based Logic) that is especially suited to deal with legal arguments as described in terms of the previously discussed model. The facilities of the logic are illustrated by means of examples that correspond to the several aspects of the model. (shrink)

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

A detailed treatment regarding the diverse properties and uses of evidence and the judgmental tasks they entail. Examines various processes by which evidence may be developed or discovered. Considers the construction of arguments made in defense of the relevance and credibility of individual items and masses of evidence as well as the task of assessing the inferential force of evidence. Includes over 100 numerical examples to illustrate the workings of diverse probabilistic expressions for the inferential force of evidence and the (...) subtleties they reveal. (shrink)

A new pragmatic approach, based on the latest developments in argumentation theory, analyzing appeal to expert opinion as a form of argument. Reliance on authority has always been a common recourse in argumentation, perhaps never more so than today in our highly technological society when knowledge has become so specialized—as manifested, for instance, in the frequent appearance of "expert witnesses" in courtrooms. When is an appeal to the opinion of an expert a reasonable type of argument to make, and when (...) does it become a fallacy? This book provides a method for the evaluation of these appeals in everyday argumentation. Specialized domains of knowledge such as science, medicine, law, and government policy have gradually taken over as the basis on which many of our rational decisions are made daily. Consequently, appeal to expert opinion in these areas has become a powerful type of argument. Challenging an argument based on expert scientific opinion, for example, has become as difficult as it once was to question religious authority. Walton stresses that even in cases where expert opinion is divided, the effect of it can still be so powerful that it overwhelms an individual's ability to make a decision based on personal deliberation of what is right or wrong in a given situation. The book identifies the requirements that make an appeal to expert opinion a reasonable or unreasonable argument. Walton's new pragmatic approach analyzes that appeal as a distinctive form of argument, with an accompanying set of appropriate critical questions matching the form. Throughout the book, a historical survey of the key developments in the evolution of the argument from authority, dating from the time of the ancients, is given, and new light is shed on current problems of "junk science" and battles between experts in legal argumentation. (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 ...

A rational agent (artificial or otherwise) residing in a complex changing environment must gather information perceptually, update that information as the world changes, and combine that information with causal information to reason about the changing world. Using the system of defeasible reasoning that is incorporated into the OSCAR architecture for rational agents, a set of reasonschemas is proposed for enabling an agent to perform some of the requisite reasoning. Along the way, solutions are proposed for the Frame Problem, the Qualification (...) Problem, and the Ramification Problem. The principles and reasoning described have all been implemented in OSCAR. (shrink)