On the semantics of abstract argumentation
dc.contributor.author | Kakas, Antonis C. | en |
dc.contributor.author | Mancarella, P. | en |
dc.creator | Kakas, Antonis C. | en |
dc.creator | Mancarella, P. | en |
dc.date.accessioned | 2019-11-13T10:40:27Z | |
dc.date.available | 2019-11-13T10:40:27Z | |
dc.date.issued | 2013 | |
dc.identifier.issn | 0955-792X | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/54127 | |
dc.description.abstract | Arguments need to be judged against other arguments. The decision to accept or reject an argument is generally a global decision that involves examining the same question for other arguments that oppose or can defend the argument in question. This article presents the acceptability semantics for abstract argumentation that through a recursive definition gives a global assignment of the acceptable and non-acceptable subsets of arguments. This semantics stems from the aim to formalize directly the generally accepted intuition that: 'An argument can be accepted if and only if all its challenging arguments can be rejected.' The acceptability semantics tightly integrates the notion of defending against a challenging argument by counter-attacking it with the notion of self-defeating (or self-rejecting) arguments that (help to) bring about their own non-acceptability. The proposal is motivated by earlier studies of the semantics of Logic Programming (LP) in terms of argumentation, where the basic well founded and stable model semantics of LP can be uniformly captured using a recursively defined argumentation semantics for Negation as Failure and where these standard semantics of LP can be further extended through argumentation. © The Author, 2012. Published by Oxford University Press. All rights reserved. | en |
dc.source | Journal of Logic and Computation | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-84885119233&doi=10.1093%2flogcom%2fexs068&partnerID=40&md5=17fbe87d910b6aac1829fececb6639f8 | |
dc.subject | artificial intelligence | en |
dc.subject | Abstracting | en |
dc.subject | Semantics | en |
dc.subject | Logic programming | en |
dc.subject | Argumentation | en |
dc.subject | Stable model semantics | en |
dc.subject | Abstract argumentation | en |
dc.subject | Negation as failures | en |
dc.subject | Acceptability semantics | en |
dc.subject | Argumentation semantics | en |
dc.subject | computational logic | en |
dc.subject | Recursive definitions | en |
dc.title | On the semantics of abstract argumentation | en |
dc.type | info:eu-repo/semantics/article | |
dc.identifier.doi | 10.1093/logcom/exs068 | |
dc.description.volume | 23 | |
dc.description.issue | 5 | |
dc.description.startingpage | 991 | |
dc.description.endingpage | 1015 | |
dc.author.faculty | 002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences | |
dc.author.department | Τμήμα Πληροφορικής / Department of Computer Science | |
dc.type.uhtype | Article | en |
dc.description.notes | <p>Cited By :5</p> | en |
dc.source.abbreviation | J Logic Comput | en |
dc.contributor.orcid | Kakas, Antonis C. [0000-0001-6773-3944] | |
dc.gnosis.orcid | 0000-0001-6773-3944 |
Files in this item
Files | Size | Format | View |
---|---|---|---|
There are no files associated with this item. |