Instantiating abstract argumentation with classical logic arguments: postulates and properties

Gorogiannis, Nikos ORCID logoORCID: 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 View Item

Statistics

Activity Overview
6 month trend
0Downloads
6 month trend
427Hits

Additional statistics are available via IRStats2.