Skip to main content

Research Repository

Advanced Search

A principled approach to the implementation of argumentation models

van Gijzel, Bas; Nilsson, Henrik

Authors

Bas van Gijzel nenekotan@gmail.com



Abstract

Argumentation theory combines philosophical concepts and computational models to deliver a practical approach to reasoning that handles uncertain information and possibly conflicting viewpoints. This paper focuses on the structured approach to argumentation that incorporates domain specific knowledge and argumentation schemes. There is a lack of implementations and implementation methods for most structured models. This paper shows how taking a principled approach, using the programming language Haskell, helps addressing this problem. We construct a framework for developing structured argumentation models and translations between models (given intertranslatability of models). We furthermore provide a methodology to quickly test and formally prove desirable properties of such implementations using a theorem prover. We demonstrate our approach on the Carneades argumentation model and Dung's abstract argumentation frameworks, implementing both the models and a translation from Carneades into AFs. We then provide implementations of correspondence properties and an initial formalisation of Dung's AFs into a theorem prover. The final result is a verified pipeline from the structured model Carneades into existing efficient SAT-based implementations of Dung's AFs.

Journal Article Type Article
Publication Date Sep 9, 2014
Journal Frontiers in Artificial Intelligence and Applications
Electronic ISSN 0922-6389
Publisher IOS Press
Peer Reviewed Peer Reviewed
Volume 266
APA6 Citation van Gijzel, B., & Nilsson, H. (2014). A principled approach to the implementation of argumentation models. Frontiers in Artificial Intelligence and Applications, 266,
Publisher URL http://ebooks.iospress.nl/volumearticle/37798
Copyright Statement Copyright information regarding this work can be found at the following address: http://eprints.nottingh.../end_user_agreement.pdf
Additional Information Proceedings of COMMA 2014, Fifth International Conference in Computational models of Argument, 9-12 Sept. 2014, Dundee, Scotland. Published in: Frontiers in Artificial Intelligence and Applications, v. 266. ISBN: 9781614994350 (print), 9781614994367 (online)

Files

comma2014.pdf (241 Kb)
PDF

Copyright Statement
Copyright information regarding this work can be found at the following address: http://eprints.nottingham.ac.uk/end_user_agreement.pdf





You might also like



Downloadable Citations

;