Instantiating abstract argumentation with classical logic arguments: Postulates and properties

ating Abstract Argumentation with Classical Logic Arguments: Postulates and Properties Nikos Gorogiannisa , Anthony Hunterb,∗ aDepartment of Computer Science, Queen Mary, University of London, London E1 4NS, UK bDepartment of Computer Science,University College London, London, WC1E 6BT, UK paper we investigate the use of classical logic as a basis for instantiating abstract argumentation frameworks. In the rst 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...

• Type: Journal
• Year: 2011
• Where: AI
• Authors: Nikos Gorogiannis, Anthony Hunter
• Keywords: Abstract Argumentation, AI 2011, Artificial Intelligence, Attack Relations, Classical Logic