UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Instantiating abstract argumentation with classical logic arguments: Postulates and properties

Gorogiannis, N; Hunter, A; (2011) Instantiating abstract argumentation with classical logic arguments: Postulates and properties. ARTIF INTELL , 175 (9-10) 1479 - 1497. 10.1016/j.artint.2010.12.003.

Full text not available from this repository.

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. (C) 2011 Elsevier B.V. All rights reserved.

Type:Article
Title:Instantiating abstract argumentation with classical logic arguments: Postulates and properties
DOI:10.1016/j.artint.2010.12.003
Keywords:Computational models of argument, Abstract argumentation, Logical argumentation, FRAMEWORKS
UCL classification:UCL > School of BEAMS > Faculty of Engineering Science > Computer Science

Archive Staff Only: edit this record