Instructions for installing the Carneades DSL (Haskell Gets Argumentative)
Updated Cabal package with no dependency on Graphalyze now available at Hackage!
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.
- 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. References
- 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.
5. 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: 20th February, 2013