Instructions for installing the Carneades DSL (Haskell Gets Argumentative)



1. Installing Haskell

To install the Haskell platform and get familiar with basic Haskell see Haskell in 5 steps or directly download and install the Haskell Platform.


2. Download and install the DSL/implementation

If familiar with cabal and standard Haskell library installations, Option 1 is advised.

If having problems with installing using cabal, choose Option 2 to install CarneadesDSL.


3. Using the DSL

For definitions, explanations, and examples of the Carneades model and the DSL see our accompanying paper Haskell Gets Argumentative.
Alternatively consult the source files. The source files are written in literate Haskell and provide documentation.


4. Translating a Carneades Argument Evaluation Structure (CAES)

Carneades Argument Evaluation Structures written in the CarneadesDSL package can now be translated directly into our implementation of Dung's argumentation frameworks by using our translation package CarneadesIntoDung.


5. Public repository

This package is now also available on GitHub. Patches and suggestions are more than welcome!


6. References


7. Questions or comments

If you have any questions or feedback please do send an email to bmv AT cs DOT nott DOT ac DOT uk.






Last update: 16th April, 2014