We present a series of realistic examples of deliberation and discuss how they can form the basis for building a typology of deliberation dialogues. The observations from our examples are used to suggest that argumentation researchers and philosophers have been thinking about deliberation in overly simplistic ways. We argue that to include all the kinds of argumentation that make up realistic deliberations, it is necessary to distinguish between different kinds of deliberations. We propose a model including a problem-solving type of (...) deliberation based on practical reasoning, characterised by revisions of the initial issue made necessary by the agents’ increased knowledge of new circumstances. (shrink)

This paper uses argument diagrams, argumentation schemes, and some tools from formal argumentation systems developed in artificial intelligence to build a graph-theoretic model of relevance shown to be applicable as a practical method for helping a third party judge issues of relevance or irrelevance of an argument in real examples. Examples used to illustrate how the method works are drawn from disputes about relevance in natural language discourse, including a criminal trial and a parliamentary debate.

Develops a logical analysis of dialogue in which two or more parties attempt to advance their own interests. It includes a classification of the major types of dialogues and a discussion of several important informal fallacies.

Short abstract (98 words). Reasoning is generally seen as a means to improve knowledge and make better decisions. However, much evidence shows that reasoning often leads to epistemic distortions and poor decisions. This suggests that the function of reasoning should be rethought. Our hypothesis is that the function of reasoning is argumentative. It is to devise and evaluate arguments intended to persuade. Reasoning so conceived is adaptive given humans’ exceptional dependence on communication and vulnerability to misinformation. A wide range of (...) evidence in the psychology of reasoning and decision making can be reinterpreted and better explained in the light of this hypothesis. (shrink)

We present a logic-based formalism for modeling ofdialogues between intelligent and autonomous software agents,building on a theory of abstract dialogue games which we present.The formalism enables representation of complex dialogues assequences of moves in a combination of dialogue games, and allowsdialogues to be embedded inside one another. The formalism iscomputational and its modular nature enables different types ofdialogues to be represented.

Artificial Intelligence: A Modern Approach, 3e offers the most comprehensive, up-to-date introduction to the theory and practice of artificial intelligence. Number one in its field, this textbook is ideal for one or two-semester, undergraduate or graduate-level courses in Artificial Intelligence. Dr. Peter Norvig, contributing Artificial Intelligence author and Professor Sebastian Thrun, a Pearson author are offering a free online course at Stanford University on artificial intelligence. According to an article in The New York Times, the course on artificial intelligence is (...) “one of three being offered experimentally by the Stanford computer science department to extend technology knowledge and skills beyond this elite campus to the entire world.” One of the other two courses, an introduction to database software, is being taught by Pearson author Dr. Jennifer Widom. Artificial Intelligence: A Modern Approach, 3e is available to purchase as an eText for your Kindle™, NOOK™, and the iPhone®/iPad®. (shrink)

Fundamentals of Critical Argumentation presents the basic tools for the identification, analysis, and evaluation of common arguments for beginners. The book teaches by using examples of arguments in dialogues, both in the text itself and in the exercises. Examples of controversial legal, political, and ethical arguments are analyzed. Illustrating the most common kinds of arguments, the book also explains how to evaluate each kind by critical questioning. Douglas Walton shows how arguments can be reasonable under the right dialogue conditions by (...) using critical questions to evaluate them. The book teaches by example, both in the text itself and in exercises, but it is based on methods that have been developed through the author's thirty years of research in argumentation studies. (shrink)

In this paper we consider persuasion in the context of practical reasoning, and discuss the problems associated with construing reasoning about actions in a manner similar to reasoning about beliefs. We propose a perspective on practical reasoning as presumptive justification of a course of action, along with critical questions of this justification, building on the account of Walton. From this perspective, we articulate an interaction protocol, which we call PARMA, for dialogues over proposed actions based on this theory. We outline (...) an axiomatic semantics for the PARMA Protocol, and discuss two implementations which use this protocol to mediate a discussion between humans. We then show how our proposal can be made computational within the framework of agents based on the Belief-Desire-Intention model, and illustrate this proposal with an example debate within a multi agent system. (shrink)

We present a high-level declarative programming language for representing argumentation schemes, where schemes represented in this language can be easily validated by domain experts, including developers of argumentation schemes in informal logic and philosophy, and serve as executable specifications for automatically constructing arguments, when applied to a set of assumptions. This new rule language for representing argumentation schemes is validated by using it to represent twenty representative argumentation schemes.

Describes and evaluates a number of existing criticisms of the formal theory of rationality and subjective expected utility theory. The author argues that rationality is not a behavioural entity, but rather has to do with the relation between an agent's preferences and his or her behaviour.

To illustrate the development of argumentation theory, the paper traces the journey of the pragma-dialectical theory as it widened its scope, step by step, from an abstract model of critical discussion to the complexities of actual argumentative discourse. It describes how, having contextualized, empiricalized and formalized their approach, pragma-dialecticians are now putting the theory’s analytical instruments to good use in identifying prototypical argumentative patterns in specific communicative activity types in the various communicative domains. This means that they can now start (...) answering the crucial question about the typical characteristics of their discourse asked by interested lawyers, politicians, academics and other practitioners of argumentation. (shrink)

In this paper we describe an approach to practical reasoning, reasoning about what it is best for a particular agent to do in a given situation, based on presumptive justifications of action through the instantiation of an argument scheme, which is then subject to examination through a series of critical questions. We identify three particular aspects of practical reasoning which distinguish it from theoretical reasoning. We next provide an argument scheme and an associated set of critical questions which is able (...) to capture these features. In order that both the argument scheme and the critical questions can be given precise interpretations we use the semantic structure of an Action-Based Alternating Transition System as the basis for their definition. We then work through a detailed example to show how this approach to practical reasoning can be applied to a problem solving situation, and briefly describe some other previous applications of the general approach. In a second example we relate our account to the social laws paradigm for co-ordinating multi-agent systems. The contribution of the paper is to provide firm foundations for an approach to practical reasoning based on presumptive argument in terms of a well-known model for representing the effects of actions of a group of agents. (shrink)

To illustrate the development of argumentation theory, the paper traces the journey of the pragma-dialectical theory as it widened its scope, step by step, from an abstract model of critical discussion to the complexities of actual argumentative discourse. It describes how, having contextualized, empiricalized and formalized their approach, pragma-dialecticians are now putting the theory’s analytical instruments to good use in identifying prototypical argumentative patterns in specific communicative activity types in the various communicative domains. This means that they can now start (...) answering the crucial question about the typical characteristics of their discourse asked by interested lawyers, politicians, academics and other practitioners of argumentation. (shrink)

This book provides an argumentation model for means-end reasoning, a distinctive type of reasoning used for problem-solving gand decision-making. Means-end reasoning is modeled as goal-directed argumentation from an agent's goals and known circumstances, and from an action selected as a means, to a decision to carry out the action. Goal-based reasoning for argumentation provides an argumentation model for this kind of reasoning, showing how it is employed in settings of intelligent deliberation where agents try to collectively arrive at a conclusion (...) on what they should do to move forward in a set of circumstances. The book explains how this argumentation model can help build more realistic computational systems of deliberation and decision-making and shows how such systems can be applied to solve problems posed by goal-based reasoning in numerous fields, from social psychology and sociology, to law, political science, anthropology, cognitive science, artificial intelligence, multi-agent systems, and robotics." -- Back cover. (shrink)