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.

In this paper, we present a particular role for abductive reasoning in law by applying it in the context of an argumentation scheme for practical reasoning. We present a particular scheme, based on an established scheme for practical reasoning, that can be used to reason abductively about how an agent might have acted to reach a particular scenario, and the motivations for doing so. Plausibility here depends on a satisfactory explanation of why this particular agent followed these motivations in the (...) particular situation. The scheme is given a formal grounding in terms of action-based alternating transition systems and we illustrate the approach with a running legal example. (shrink)

In this paper, we present a particular role for abductive reasoning in law by applying it in the context of an argumentation scheme for practical reasoning. We present a particular scheme, based on an established scheme for practical reasoning, that can be used to reason abductively about how an agent might have acted to reach a particular scenario, and the motivations for doing so. Plausibility here depends on a satisfactory explanation of why this particular agent followed these motivations in the (...) particular situation. The scheme is given a formal grounding in terms of action-based alternating transition systems and we illustrate the approach with a running legal example. Keywords Argumentation schemes - Abductive reasoning - Practical reasoning. (shrink)

This paper develops a descriptive and normative account of how people respond to testimony. It postulates a default pathway in which people more or less automatically respond to a claim by accepting it, as long as the claim made is consistent with their beliefs and the source is credible. Otherwise, people enter a reflective pathway in which they evaluate the claim based on its explanatory coherence with everything else they believe. Computer simulations show how explanatory coherence can be maximized in (...) real-life cases, taking into account all the relevant evidence including the credibility of whoever is making a claim. The explanatory-coherence account is more plausible both descriptively and normatively than a Bayesian account. (shrink)

ABSTRACT Inspired by legal reasoning, this paper presents a semantics and proof theory of a system for defeasible argumentation. Arguments are expressed in a logic-programming language with both weak and strong negation, 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 (...) semantics of the system is given with a fixpoint definition, while its proof theory 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. (shrink)

An abstract framework for structured arguments is presented, which instantiates Dung's ('On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming, and n- Person Games', Artificial Intelligence , 77, 321-357) abstract argumentation frameworks. Arguments are defined as inference trees formed by applying two kinds of inference rules: strict and defeasible rules. This naturally leads to three ways of attacking an argument: attacking a premise, attacking a conclusion and attacking an inference. To resolve such attacks, preferences may (...) be used, which leads to three corresponding kinds of defeat: undermining, rebutting and undercutting defeats. The nature of the inference rules, the structure of the logical language on which they operate and the origin of the preferences are, apart from some basic assumptions, left unspecified. The resulting framework integrates work of Pollock, Vreeswijk and others on the structure of arguments and the nature of defeat and extends it in several respects. Various rationality postulates are proved to be satisfied by the framework, and several existing approaches are proved to be a special case of the framework, including assumption-based argumentation and DefLog. (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)

One of our purposes here is to expose something of the elementary logical structure of abductive reasoning, and to do so in a way that helps orient theorists to the various tasks that a logic of abduction should concern itself with. We are mindful of criticisms that have been levelled against the very idea of a logic of abduction; so we think it prudent to proceed with a certain diffidence. That our own account of abduction is itself abductive is methodological (...) expression of this diffidence. A second objective is to test our conception of abduction's logical structure against some of the more promising going accounts of abductive reasoning. We offer our various suggestions in a benignly advisory way. The primary targets of our advice is ourselves, meant as guides to work we have yet to complete or, in some instances, start. It is possible that our colleagues in the abduction research communities will find our counsel to be of some interest. But we repeat that our first concern is to try to get ourselves straight about what a logic of abduction should encompass. (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.

This book provides a systematic analysis of many common argumentation schemes and a compendium of 96 schemes. The study of these schemes, or forms of argument that capture stereotypical patterns of human reasoning, is at the core of argumentation research. Surveying all aspects of argumentation schemes from the ground up, the book takes the reader from the elementary exposition in the first chapter to the latest state of the art in the research efforts to formalize and classify the schemes, outlined (...) in the last chapter. It provides a systematic and comprehensive account, with notation suitable for computational applications that increasingly make use of argumentation schemes. (shrink)

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 leading expert in informal logic, Douglas Walton turns his attention in this new book to how reasoning operates in trials and other legal contexts, with special emphasis on the law of evidence. The new model he develops, drawing on methods of argumentation theory that are gaining wide acceptance in computing fields like artificial intelligence, can be used to identify, analyze, and evaluate specific types of legal argument. In contrast with approaches that rely on deductive and inductive logic and rule (...) out many common types of argument as fallacious, Walton’s aim is to provide a more expansive view of what can be considered "reasonable" in legal argument when it is construed as a dynamic, rule-governed, and goal-directed conversation. This dialogical model gives new meaning to the key notions of relevance and probative weight, with the latter analyzed in terms of pragmatic criteria for what constitutes plausible evidence rather than truth. (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 ...

This book provides a systematic analysis of many common argumentation schemes and a compendium of 96 schemes. The study of these schemes, or forms of argument that capture stereotypical patterns of human reasoning, is at the core of argumentation research. Surveying all aspects of argumentation schemes from the ground up, the book takes the reader from the elementary exposition in the first chapter to the latest state of the art in the research efforts to formalize and classify the schemes, outlined (...) in the last chapter. It provides a systematic and comprehensive account, with notation suitable for computational applications that increasingly make use of argumentation schemes. (shrink)

This paper discusses abductive reasoning---that is, reasoning in which explanatory hypotheses are formed and evaluated. First, it criticizes two recent formal logical models of abduction. An adequate formalization would have to take into account the following aspects of abduction: explanation is not deduction; hypotheses are layered; abduction is sometimes creative; hypotheses may be revolutionary; completeness is elusive; simplicity is complex; and abductive reasoning may be visual and non-sentential. Second, in order to illustrate visual aspects of hypothesis formation, the paper describes (...) recent work on visual inference in archaeology. Third, in connection with the evaluation of explanatory hypotheses, the paper describes recent results on the computation of coherence. (shrink)