A principled approach to the implementation of argumentation models

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 knowledg...

Full description

Bibliographic Details
Main Authors:	van Gijzel, Bas, Nilsson, Henrik
Format:	Article
Language:	English
Published:	IOS Press 2014
Online Access:	http://eprints.nottingham.ac.uk/37437/ http://eprints.nottingham.ac.uk/37437/ http://eprints.nottingham.ac.uk/37437/1/comma2014.pdf

id	nottingham-37437
recordtype	eprints
spelling	nottingham-374372017-10-13T04:23:44Z http://eprints.nottingham.ac.uk/37437/ A principled approach to the implementation of argumentation models van Gijzel, Bas Nilsson, Henrik 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. IOS Press 2014-09-09 Article PeerReviewed application/pdf en http://eprints.nottingham.ac.uk/37437/1/comma2014.pdf van Gijzel, Bas and Nilsson, Henrik (2014) A principled approach to the implementation of argumentation models. Frontiers in Artificial Intelligence and Applications, 266 . pp. 293-300. ISSN 0922-6389 http://ebooks.iospress.nl/volumearticle/37798
repository_type	Digital Repository
institution_category	Local University
institution	University of Nottingham Malaysia Campus
building	Nottingham Research Data Repository
collection	Online Access
language	English
description	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.
format	Article
author	van Gijzel, Bas Nilsson, Henrik
spellingShingle	van Gijzel, Bas Nilsson, Henrik A principled approach to the implementation of argumentation models
author_facet	van Gijzel, Bas Nilsson, Henrik
author_sort	van Gijzel, Bas
title	A principled approach to the implementation of argumentation models
title_short	A principled approach to the implementation of argumentation models
title_full	A principled approach to the implementation of argumentation models
title_fullStr	A principled approach to the implementation of argumentation models
title_full_unstemmed	A principled approach to the implementation of argumentation models
title_sort	principled approach to the implementation of argumentation models
publisher	IOS Press
publishDate	2014
url	http://eprints.nottingham.ac.uk/37437/ http://eprints.nottingham.ac.uk/37437/ http://eprints.nottingham.ac.uk/37437/1/comma2014.pdf
first_indexed	2018-09-06T12:47:09Z
last_indexed	2018-09-06T12:47:09Z
_version_	1610862328658526208

A principled approach to the implementation of argumentation models

Similar Items