Instantiating abstract argumentation with classical logic arguments: postulates and properties
Gorogiannis, Nikos ORCID: https://orcid.org/0000-0001-8660-6609 and Hunter, Anthony
(2011)
Instantiating abstract argumentation with classical logic arguments: postulates and properties.
Artificial Intelligence, 175
(9-10)
.
pp. 1479-1497.
ISSN 0004-3702
[Article]
(doi:10.1016/j.artint.2010.12.003)
Abstract
In this paper we investigate the use of classical logic as a basis for instantiating abstract argumentation frameworks. In the first part, we propose desirable properties of attack relations in the form of postulates and classify several well-known attack relations from the literature with regards to the satisfaction of these postulates. Furthermore, we provide additional postulates that help us prove characterisation results for these attack relations. In the second part of the paper, we present postulates regarding the logical content of extensions of argument graphs that may be constructed with classical logic. We then conduct a comprehensive study of the status of these postulates in the context of the various combinations of attack relations and extension semantics.
Item Type: | Article |
---|---|
Research Areas: | A. > School of Science and Technology > Computer Science |
Item ID: | 12068 |
Depositing User: | Users 3197 not found. |
Date Deposited: | 26 Sep 2013 15:05 |
Last Modified: | 15 Nov 2019 11:29 |
URI: | https://eprints.mdx.ac.uk/id/eprint/12068 |
Actions (login required)
![]() |
View Item |
Statistics
Additional statistics are available via IRStats2.