An implementation of the Dung argumentation frameworks. http://www.cs.nott.ac.uk/~bmv/Dung/
|Latest on Hackage:||1.1|
This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.
An implementation of Dung's argumentation frameworks, an abstract argumentation model used to either directly represent conflicting information, or used as a translation target for more complex (structured) argumentation models. For an introduction to Dung's frameworks see http://en.wikipedia.org/wiki/Argumentation_framework and Dung's paper from 1995: "On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming, and n-person games", Artificial Intelligence 77: 321-357. For the papers accompanying this library see "Towards a framework for the implementation and verification of translations between argumentation models" and "A principled approach to the implementation of argumentation models", available at http://www.cs.nott.ac.uk/~bmv/Dung/.
This package version is now compatible with the command-line application for
the ICCMA competition. See: https://github.com/nebasuke/DungICCMA and the
competition website: http://argumentationcompetition.org/2015/index.html
This package has again been significantly extended and now includes:
* Strict version of the grounded fixpoint semantics.
* Definitions of what it means to be a preferred and stable extension.
* Naive implementations of complete, preferred and stable semantics using
the characteristic function. The fixpoint definitions are actually FASTER
than the fancy algorithm implementation.
* Included the fast implementations of intersect, nub and (\\) by Niklas
* Added some clarifying text for the "complete" labelling.
1.0 => 220.127.116.11
* Fixed the record declaration in Main.hs.
* Added an example file.
0.9 => 1.0
This package version is now compatible with the translation package CarneadesIntoDung.
This package has furthermore been significantly extended and now includes:
* Preferred, stable and semi-stable semantics along with all definitions from
Caminada's paper "An Algorithm for Computing Semi-Stable Semantics".
* An Input module, allowing files in standard CEGARTIX/PrefSat format to be parsed.
* An Output module, allowing AFs in this package to be outputted in standard
* A main executable, allowing input files to be read, argumentation frameworks
to be outputted and evaluated.