No Cover Image

Journal article 266 views 24 downloads

Senses of ‘argument’ in instantiated argumentation frameworks / Adam, Wyner

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

Swansea University Author: Adam, Wyner

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!
first_indexed 2018-06-07T19:34:29Z
last_indexed 2018-11-14T14:11:24Z
id cronfa40673
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2018-11-14T08:21:46.5968995</datestamp><bib-version>v2</bib-version><id>40673</id><entry>2018-06-07</entry><title>Senses of &#x2018;argument&#x2019; in instantiated argumentation frameworks</title><swanseaauthors><author><sid>51fa34a3136b8e81fc273fce73e88099</sid><ORCID>0000-0002-2958-3428</ORCID><firstname>Adam</firstname><surname>Wyner</surname><name>Adam Wyner</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2018-06-07</date><deptcode>LAWD</deptcode><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.</abstract><type>Journal Article</type><journal>Argument &amp;amp; Computation</journal><volume>6</volume><journalNumber>1</journalNumber><paginationStart>50</paginationStart><paginationEnd>72</paginationEnd><publisher>Taylor and Francis</publisher><issnPrint>1946-2166</issnPrint><issnElectronic>1946-2174</issnElectronic><keywords>abstract argumentation, instantiated argumentation, knowledge bases, graph</keywords><publishedDay>2</publishedDay><publishedMonth>1</publishedMonth><publishedYear>2015</publishedYear><publishedDate>2015-01-02</publishedDate><doi>10.1080/19462166.2014.1002535</doi><url/><notes/><college>COLLEGE NANME</college><department>Legal Studies</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>LAWD</DepartmentCode><institution>Swansea University</institution><lastEdited>2018-11-14T08:21:46.5968995</lastEdited><Created>2018-06-07T15:49:59.7707835</Created><path><level id="1">Hillary Rodham Clinton School of Law</level><level id="2">Legal Studies</level></path><authors><author><firstname>Adam</firstname><surname>Wyner</surname><orcid>0000-0002-2958-3428</orcid><order>1</order></author><author><firstname>Trevor</firstname><surname>Bench-Capon</surname><order>2</order></author><author><firstname>Paul</firstname><surname>Dunne</surname><order>3</order></author><author><firstname>Federico</firstname><surname>Cerutti</surname><order>4</order></author></authors><documents><document><filename>0040673-11062018165222.pdf</filename><originalFilename>ThreeSensesInstantiated.pdf</originalFilename><uploaded>2018-06-11T16:52:22.0270000</uploaded><type>Output</type><contentLength>481477</contentLength><contentType>application/pdf</contentType><version>Version of Record</version><cronfaStatus>true</cronfaStatus><action/><embargoDate>2018-06-11T00:00:00.0000000</embargoDate><documentNotes>Published in an Open Access journal.</documentNotes><copyrightCorrect>true</copyrightCorrect><language>eng</language></document></documents></rfc1807>
spelling 2018-11-14T08:21:46.5968995 v2 40673 2018-06-07 Senses of ‘argument’ in instantiated argumentation frameworks 51fa34a3136b8e81fc273fce73e88099 0000-0002-2958-3428 Adam Wyner Adam Wyner true false 2018-06-07 LAWD 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. Journal Article Argument &amp; Computation 6 1 50 72 Taylor and Francis 1946-2166 1946-2174 abstract argumentation, instantiated argumentation, knowledge bases, graph 2 1 2015 2015-01-02 10.1080/19462166.2014.1002535 COLLEGE NANME Legal Studies COLLEGE CODE LAWD Swansea University 2018-11-14T08:21:46.5968995 2018-06-07T15:49:59.7707835 Hillary Rodham Clinton School of Law Legal Studies Adam Wyner 0000-0002-2958-3428 1 Trevor Bench-Capon 2 Paul Dunne 3 Federico Cerutti 4 0040673-11062018165222.pdf ThreeSensesInstantiated.pdf 2018-06-11T16:52:22.0270000 Output 481477 application/pdf Version of Record true 2018-06-11T00:00:00.0000000 Published in an Open Access journal. true eng
title Senses of ‘argument’ in instantiated argumentation frameworks
spellingShingle Senses of ‘argument’ in instantiated argumentation frameworks
Adam, Wyner
title_short Senses of ‘argument’ in instantiated argumentation frameworks
title_full Senses of ‘argument’ in instantiated argumentation frameworks
title_fullStr Senses of ‘argument’ in instantiated argumentation frameworks
title_full_unstemmed Senses of ‘argument’ in instantiated argumentation frameworks
title_sort Senses of ‘argument’ in instantiated argumentation frameworks
author_id_str_mv 51fa34a3136b8e81fc273fce73e88099
author_id_fullname_str_mv 51fa34a3136b8e81fc273fce73e88099_***_Adam, Wyner
author Adam, Wyner
format Journal article
container_title Argument &amp; Computation
container_volume 6
container_issue 1
container_start_page 50
publishDate 2015
institution Swansea University
issn 1946-2166
1946-2174
doi_str_mv 10.1080/19462166.2014.1002535
publisher Taylor and Francis
college_str Hillary Rodham Clinton School of Law
hierarchytype
hierarchy_top_id hillaryrodhamclintonschooloflaw
hierarchy_top_title Hillary Rodham Clinton School of Law
hierarchy_parent_id hillaryrodhamclintonschooloflaw
hierarchy_parent_title Hillary Rodham Clinton School of Law
department_str Legal Studies{{{_:::_}}}Hillary Rodham Clinton School of Law{{{_:::_}}}Legal Studies
document_store_str 1
active_str 0
description 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.
published_date 2015-01-02T19:54:31Z
_version_ 1667870933007728640
score 10.900483