eng
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Open Access Series in Informatics
2190-6807
2013-10-14
43
48
10.4230/OASIcs.ICCSW.2013.43
article
Tools for the implementation of argumentation models
van Gijzel, Bas
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.
https://drops.dagstuhl.de/storage/01oasics/oasics-vol035-iccsw2013/OASIcs.ICCSW.2013.43/OASIcs.ICCSW.2013.43.pdf
argumentation
implementation
functional programming
Haskell
Carneades