OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Equivalence in Logic-Based Argumentation

Amgoud, Leila and Besnard, Philippe and Vesic, Srdjan Equivalence in Logic-Based Argumentation. (2014) Journal of Applied Non-Classical Logics, 24 (3). 181-208. ISSN 1166-3081

[img]
Preview
(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
322kB

Official URL: http://dx.doi.org/10.1080/11663081.2014.959332

Abstract

This paper investigates when two abstract logic-based argumentation systems are equivalent. It defines various equivalence criteria, investigates the links between them, and identifies cases where two systems are equivalent with respect to each of the proposed criteria. In particular, it shows that under some reasonable conditions on the logic underlying an argumentation system, the latter has an equivalent finite subsystem, called core. This core constitutes a threshold under which arguments of the system have not yet attained their final status and consequently adding a new argument may result in status change. From that threshold, the statuses of all arguments become stable.

Item Type:Article
Additional Information:Thanks to Taylor & Francis editor. The definitive version is available at http://www.tandfonline.com/doi/full/10.1080/11663081.2014.959332
HAL Id:hal-01123719
Audience (journal):International peer-reviewed journal
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Institut National Polytechnique de Toulouse - INPT (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UPS (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
?? univ-artois ??
Laboratory name:
Statistics:download
Deposited By: IRIT IRIT
Deposited On:05 Mar 2015 12:36

Repository Staff Only: item control page