Tools for the implementation of argumentation models

Author Bas van Gijzel



PDF
Thumbnail PDF

File

OASIcs.ICCSW.2013.43.pdf
  • Filesize: 0.59 MB
  • 6 pages

Document Identifiers

Author Details

Bas van Gijzel

Cite AsGet BibTex

Bas van Gijzel. Tools for the implementation of argumentation models. In 2013 Imperial College Computing Student Workshop. Open Access Series in Informatics (OASIcs), Volume 35, pp. 43-48, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
https://doi.org/10.4230/OASIcs.ICCSW.2013.43

Abstract

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.
Keywords
  • argumentation
  • implementation
  • functional programming
  • Haskell
  • Carneades

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail