Instructions/implementation web page accompanying: A principled approach to the implementation of argumentation models (COMMA 2014)
1. Dung's argumentation frameworks in Haskell
For our implementation of Dung's argumentation frameworks, see our Dung package.
2. Carneades argumentation model in Haskell
For our implementation of the Carneades argumentation model, see our CarneadesDSL package.
3. Translation of the Carneades argumentation model into Dung's AFs in Haskell
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.
4. Formalisation of Dung's AFs in Agda
We have also formalised Dung's AFs up to grounded semantics into the Agda theorem prover. See the Agda source file here. Enable Unicode in your editor/browser!
5. Using the implementations/formalisation
For definitions, explanations, and examples of the implementations and formalisation see the accompanying papers: Towards a framework for the implementation and verification of translations between argumentation models and A principled approach to the implementation of argumentation models.
For further extensive documentation and examples, follow the links in the previous sections.
6. Public repository
All packages are also available on GitHub. Patches and suggestions are more than welcome!
- Bas van Gijzel and Henrik Nilsson. A principled approach to the implementation of argumentation models, Accepted for Proceedings of the Fifth International Conference on Computational Models of Argument (COMMA 2014), 2014.
- Bas van Gijzel and Henrik Nilsson. Towards a framework for the implementation and verification of translations between argumentation models, Accepted for Post Proceedings of the 25th symposium on Implementation and Application of Functional Languages (IFL 2013), 2014.
- Bas van Gijzel and Henrik Nilsson. Haskell Gets Argumentative, Proceedings of the Symposium on Trends in Functional Programming (TFP 2012), 215-230, 2013.
- 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.
- 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.
8. 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: 7th September, 2014