Instructions for installing the Haskell implementation of the translation from Carneades into Dung's argumentation frameworks
- Updated Cabal package to include a main executable, allowing Carneades input files to be read and evaluated, or outputted as argumentation frameworks
in standard CEGARTIX format!
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 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 the implementation of the translation.
- Option 1: Install the cabal package (see Hackage).
- Open a terminal or command line.
- Run cabal update
- Run cabal install CarneadesIntoDung
- Make your own Haskell module and import Language.CarneadesIntoDung.Translation
- Hack away or import Language.CarneadesIntoDung.Examples (together with Language.CarneadesIntoDung.Translation) to play around with existing examples!
See also the documentation of the examples here!
- Option 2: Download the source file.
- Download the source file here.
- Call ghci on translation_ifl.lhs to load the implementation and the examples.
- Hack away!
3. Using the implementation
For definitions, explanations, and examples of the translation of Carneades into Dung's argumentation frameworks and its implementation see the accompanying paper Towards a framework for the implementation and verification of translations between argumentation models.
There is also extensive documentation and examples available (with source code) on Hackage as the CarneadesIntoDung Cabal package, in specific the examples file. Alternatively consult the literate Haskell paper source here.
4. Carneades argumentation model and Dung's argumentation frameworks
For the Carneades argumentation model and our implementation, see the CarneadesDSL package. For our implementation of Dung's argumentation frameworks see our Dung package.
5. Public repository
This package is now also available on GitHub. Patches and suggestions are more than welcome!
- Bas van Gijzel and Henry Prakken. Relating Carneades with abstract argumentation via the ASPIC+ framework for structured argumentation, Argument and Computation 3 (1), 21-47, 2012.
- Thomas F. Gordon and Douglas Walton. Proof burdens and standards, Argumentation in Artificial Intelligence, 239-260, 2009.
- Phan Minh Dung. On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming, and n-person games, Artificial Intelligence 77: 321-357, 1995.
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 June, 2014