No Cover Image

Journal article 43 views 1 download

Senses of ‘argument’ in instantiated argumentation frameworks / Adam Wyner; Trevor Bench-Capon; Paul Dunne; Federico Cerutti

Argument & Computation, Volume: 6, Issue: 1, Pages: 50 - 72

Swansea University Author: Wyner, Adam

Abstract

Abstract Argumentation Frameworks (AFs) provide a fruitful basis for exploring issues of defeasible reasoning. Their power largely derives from the abstract nature of the arguments within the framework, where arguments are atomic nodes in an undifferentiated relation of attack. This abstraction conc...

Full description

Published in: Argument & Computation
ISSN: 1946-2166 1946-2174
Published: Taylor and Francis 2015
Online Access: Check full text

URI: https://cronfa.swan.ac.uk/Record/cronfa40673
Tags: Add Tag
No Tags, Be the first to tag this record!
Abstract: Abstract Argumentation Frameworks (AFs) provide a fruitful basis for exploring issues of defeasible reasoning. Their power largely derives from the abstract nature of the arguments within the framework, where arguments are atomic nodes in an undifferentiated relation of attack. This abstraction conceals different senses of argument, namely a single-step reason to a claim, a series of reasoning steps to a single claim, and reasoning steps for and against a claim. Concrete instantiations encounter difficulties and complexities as a result of conflating these senses. To distinguish them, we provide an approach to instantiating AFs in which the nodes are restricted to literals and rules, encoding the underlying theory directly. Arguments in these senses emerge from this framework as distinctive structures of nodes and paths. As a consequence of the approach, we reduce the effort of computing argumentation extensions, which is in contrast to other approaches. Our framework retains the theoretical and computational benefits of an abstract AF, distinguishes senses of argument, and efficiently computes extensions. Given the mixed intended audience of the paper, the style of presentation is semi-formal.
Keywords: abstract argumentation, instantiated argumentation, knowledge bases, graph
College: Hillary Rodham Clinton School of Law
Issue: 1
Start Page: 50
End Page: 72