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.
- Option 1: Install the cabal package (see Hackage).
- Open a terminal or command line.
- Run cabal update
- Run cabal install CarneadesDSL
- Make your own Haskell module and import Language.Carneades.CarneadesDSL
- Hack away or import Language.Carneades.ExampleCAES (together with import Language.Carneades.CarneadesDSL) to play around with an existing example!
- Option 2: Download the source file.
- Download the source file here.
- Call ghci on CarneadesDSLWithCycleChecking.lhs to load the DSL and the example.
- Hack away!
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!
- Based on: Thomas F. Gordon and Douglas Walton. Proof burdens and standards, Argumentation in Artificial Intelligence, 239-260, 2009.
- See also: Thomas F. Gordon, Henry Prakken and Douglas Walton. The Carneades model of argument and burden of proof, Artificial Intelligence 171 10-11, 875-896, 2007.
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: 19th November, 2013