License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/OASIcs.ICCSW.2013.43
URN: urn:nbn:de:0030-drops-42706
Go to the corresponding OASIcs Volume Portal

van Gijzel, Bas

Tools for the implementation of argumentation models

9.pdf (0.6 MB)


The structured approach to argumentation has seen a surge of models, introducing a multitude of ways to deal with the formalisation of arguments. However, while the development of the mathematical models have flourished, the actual implementations and development of methods for implementation of these models have been lagging behind. This paper attempts to alleviate this problem by providing methods that simplify implementation, i.e. we demonstrate how the functional programming language Haskell can naturally express mathematical definitions and sketch how a theorem prover can verify this implementation. Furthermore, we provide methods to streamline the documenting of code, showing how literate programming allows the implementer to write formal definition, implementation and documentation in one file. All code has been made publicly available and reusable.

BibTeX - Entry

  author =	{Bas van Gijzel},
  title =	{{Tools for the implementation of argumentation models}},
  booktitle =	{2013 Imperial College Computing Student Workshop},
  pages =	{43--48},
  series =	{OpenAccess Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-63-7},
  ISSN =	{2190-6807},
  year =	{2013},
  volume =	{35},
  editor =	{Andrew V. Jones and Nicholas Ng},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{},
  URN =		{urn:nbn:de:0030-drops-42706},
  doi =		{10.4230/OASIcs.ICCSW.2013.43},
  annote =	{Keywords: argumentation, implementation, functional programming, Haskell, Carneades}

Keywords: argumentation, implementation, functional programming, Haskell, Carneades
Collection: 2013 Imperial College Computing Student Workshop
Issue Date: 2013
Date of publication: 14.10.2013

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI