The logic of defeasible argumentation

20-10-99


Click here to start


Table of Contents

The logic of defeasible argumentation

Argument structure and attack

Example: an undercutter

Overview

CumulA’s defeaters

The attack relation as a graph

A defeater

Undercutting defeat: the simplest form

An undercutter as the conclusion of a non-trivial argument

Defeater schemes

Undercutting defeat: the general form

A defeater scheme

Legend

A catalogue of types of defeat

Example: a rebutter

Rebutting defeat

An example of defeat by sequential weakening

Defeat by sequential weakening

An example of defeat by parallel strengthening

Defeat by parallel strengthening

Argument structure and defeat

Initials, narrowings and defeat

An argument and its subarguments

An argument and its initials

An argument and its narrowings

PPT Slide

An undefeated argument with a defeated narrowing

An undefeated argument with a defeated narrowing

PPT Slide

The accrual of reasons

PPT Slide

An argument saving one of its narrowings from being defeated

An argument saving one of its narrowings from being defeated

PPT Slide

Argumentation stages for unstructured arguments

Direct and indirect defeat

Argumentation stages with structured arguments

Argumentation stages with structured arguments

PPT Slide

PPT Slide

A classification of theories of defeat

Sentence-type defeat

Special case: assumption-type defeat

Example of assumption-type defeat

Not an example of assumption-type defeat

Step-type defeat

Composite-type defeat

PPT Slide

Pollock

Vreeswijk

Simari and Loui

Bondarenko, Toni, Kowalski

Prakken and Sartor

CumulA

PPT Slide

Summary

PPT Slide

Author: Bart Verheij

Email: b.verheij at ai dot rug dot nl

Home Page: http://www.ai.rug.nl/~verheij/