On the Links Between Argumentation-Based Reasoning and Nonmonotonic Reasoning

Zimi Li, Nir Oren, Simon Parsons

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Downloads (Pure)

Abstract

In this paper we investigate the links between instantiated argumentation systems and the axioms for non-monotonic reasoning described in [9] with the aim of characterising the nature of argument based reasoning. In doing so, we consider two possible interpretations of the consequence relation, and describe which axioms are met by ASPIC+ under each of these interpretations. We then consider the links between these axioms and the rationality postulates. Our results indicate that argument based reasoning as characterised by ASPIC+ is - according to the axioms of - non-cumulative and non-monotonic, and therefore weaker than the weakest non-monotonic reasoning systems they considered possible. This weakness underpins ASPIC+'s success in modelling other reasoning systems, and we conclude by considering the relationship between ASPIC+ and other weak logical systems.
Original languageEnglish
Title of host publicationTheory and Applications of Formal Argumentation
Subtitle of host publicationTAFA 2017
EditorsElizabeth Black, Sanjay Modgil, Nir Oren
Place of PublicationCham
PublisherSpringer International Publishing
Pages67-85
Number of pages19
ISBN (Electronic)9783319755533
ISBN (Print)9783319755526
DOIs
Publication statusPublished - 2018
Event4th International Workshop on Theory and Applications of Formal Argumentation, TAFA 2017: (TAFA 2017) - Melbourne, Australia
Duration: 19 Aug 201720 Aug 2017

Publication series

NameLecture Notes in Computer Science (LNCS)
PublisherSpringer
Volume10757
ISSN (Print)0302-9743

Conference

Conference4th International Workshop on Theory and Applications of Formal Argumentation, TAFA 2017
CountryAustralia
CityMelbourne
Period19/08/1720/08/17

Fingerprint

Argumentation
Nonmonotonic Reasoning
Rationality
Logic
Consequence Relation
Modeling

Cite this

Li, Z., Oren, N., & Parsons, S. (2018). On the Links Between Argumentation-Based Reasoning and Nonmonotonic Reasoning. In E. Black, S. Modgil, & N. Oren (Eds.), Theory and Applications of Formal Argumentation: TAFA 2017 (pp. 67-85). (Lecture Notes in Computer Science (LNCS); Vol. 10757). Cham: Springer International Publishing. https://doi.org/10.1007/978-3-319-75553-3_5

On the Links Between Argumentation-Based Reasoning and Nonmonotonic Reasoning. / Li, Zimi; Oren, Nir; Parsons, Simon.

Theory and Applications of Formal Argumentation: TAFA 2017. ed. / Elizabeth Black; Sanjay Modgil; Nir Oren. Cham : Springer International Publishing, 2018. p. 67-85 (Lecture Notes in Computer Science (LNCS); Vol. 10757).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Li, Z, Oren, N & Parsons, S 2018, On the Links Between Argumentation-Based Reasoning and Nonmonotonic Reasoning. in E Black, S Modgil & N Oren (eds), Theory and Applications of Formal Argumentation: TAFA 2017. Lecture Notes in Computer Science (LNCS), vol. 10757, Springer International Publishing, Cham, pp. 67-85, 4th International Workshop on Theory and Applications of Formal Argumentation, TAFA 2017, Melbourne, Australia, 19/08/17. https://doi.org/10.1007/978-3-319-75553-3_5
Li Z, Oren N, Parsons S. On the Links Between Argumentation-Based Reasoning and Nonmonotonic Reasoning. In Black E, Modgil S, Oren N, editors, Theory and Applications of Formal Argumentation: TAFA 2017. Cham: Springer International Publishing. 2018. p. 67-85. (Lecture Notes in Computer Science (LNCS)). https://doi.org/10.1007/978-3-319-75553-3_5
Li, Zimi ; Oren, Nir ; Parsons, Simon. / On the Links Between Argumentation-Based Reasoning and Nonmonotonic Reasoning. Theory and Applications of Formal Argumentation: TAFA 2017. editor / Elizabeth Black ; Sanjay Modgil ; Nir Oren. Cham : Springer International Publishing, 2018. pp. 67-85 (Lecture Notes in Computer Science (LNCS)).
@inproceedings{8ceedc877f64471d9d71e085ba7527ab,
title = "On the Links Between Argumentation-Based Reasoning and Nonmonotonic Reasoning",
abstract = "In this paper we investigate the links between instantiated argumentation systems and the axioms for non-monotonic reasoning described in [9] with the aim of characterising the nature of argument based reasoning. In doing so, we consider two possible interpretations of the consequence relation, and describe which axioms are met by ASPIC+ under each of these interpretations. We then consider the links between these axioms and the rationality postulates. Our results indicate that argument based reasoning as characterised by ASPIC+ is - according to the axioms of - non-cumulative and non-monotonic, and therefore weaker than the weakest non-monotonic reasoning systems they considered possible. This weakness underpins ASPIC+'s success in modelling other reasoning systems, and we conclude by considering the relationship between ASPIC+ and other weak logical systems.",
author = "Zimi Li and Nir Oren and Simon Parsons",
note = "Acknowledgements. This work was partially supported by EPSRC grant EP/P010105/1.",
year = "2018",
doi = "10.1007/978-3-319-75553-3_5",
language = "English",
isbn = "9783319755526",
series = "Lecture Notes in Computer Science (LNCS)",
publisher = "Springer International Publishing",
pages = "67--85",
editor = "Elizabeth Black and Sanjay Modgil and Nir Oren",
booktitle = "Theory and Applications of Formal Argumentation",

}

TY - GEN

T1 - On the Links Between Argumentation-Based Reasoning and Nonmonotonic Reasoning

AU - Li, Zimi

AU - Oren, Nir

AU - Parsons, Simon

N1 - Acknowledgements. This work was partially supported by EPSRC grant EP/P010105/1.

PY - 2018

Y1 - 2018

N2 - In this paper we investigate the links between instantiated argumentation systems and the axioms for non-monotonic reasoning described in [9] with the aim of characterising the nature of argument based reasoning. In doing so, we consider two possible interpretations of the consequence relation, and describe which axioms are met by ASPIC+ under each of these interpretations. We then consider the links between these axioms and the rationality postulates. Our results indicate that argument based reasoning as characterised by ASPIC+ is - according to the axioms of - non-cumulative and non-monotonic, and therefore weaker than the weakest non-monotonic reasoning systems they considered possible. This weakness underpins ASPIC+'s success in modelling other reasoning systems, and we conclude by considering the relationship between ASPIC+ and other weak logical systems.

AB - In this paper we investigate the links between instantiated argumentation systems and the axioms for non-monotonic reasoning described in [9] with the aim of characterising the nature of argument based reasoning. In doing so, we consider two possible interpretations of the consequence relation, and describe which axioms are met by ASPIC+ under each of these interpretations. We then consider the links between these axioms and the rationality postulates. Our results indicate that argument based reasoning as characterised by ASPIC+ is - according to the axioms of - non-cumulative and non-monotonic, and therefore weaker than the weakest non-monotonic reasoning systems they considered possible. This weakness underpins ASPIC+'s success in modelling other reasoning systems, and we conclude by considering the relationship between ASPIC+ and other weak logical systems.

U2 - 10.1007/978-3-319-75553-3_5

DO - 10.1007/978-3-319-75553-3_5

M3 - Conference contribution

SN - 9783319755526

T3 - Lecture Notes in Computer Science (LNCS)

SP - 67

EP - 85

BT - Theory and Applications of Formal Argumentation

A2 - Black, Elizabeth

A2 - Modgil, Sanjay

A2 - Oren, Nir

PB - Springer International Publishing

CY - Cham

ER -