ArgKit 0-2-1
ArgKit is a set of Java 5 libraries intended to assist a developer in building
applications that use argumentation.
See:
Description
|
Packages |
| org.argkit |
The bare bones needed for a generic argumentation framework. |
| org.argkit.dung |
Classes needed to support Dung's acceptability semantics. |
| org.argkit.dung.swing |
Classes to support swing guis for demonstrating Dungine. |
| org.argkit.swing |
Classes to support swing guis for demonstrating the framework. |
ArgKit is a set of Java 5 libraries intended to assist a developer in building
applications that use argumentation. It currently has two modules, Core and
Dungine and has two demonstration graphical user interfaces, Scratchpad and
TestViewer. ArgKit is released under the GNU Lesser General Public license (LGPL), see
etc/COPYING, etc/COPYING.LESSER and http://www.gnu.org/licenses/. This file contains notes about the current release.
More information can be found from the ArgKit project website, http://www.argkit.org.
Core module
The org.argkit package is the core module, and contains three classes, that
are essential to all modules. The abstract design behind the framework is
a pipeline of argument sources where each source in the pipeline
progressively decorates the arguments from the module that it consumes.
Dungine module
The org.argkit.dung package is the Dung module.
Dungine implements Dung's acceptability semantics. Arguments that are yielded
from the Dungine argument source are decorated with an isAcceptable flag. The
idea is that Dungine can consume a large variety of argument sources, for
example prolog arguments, informal arguments or arguments from an as yet
unenvisioned source without the need of additional work to the reasoner.
To support testing, a simple argument source, InformalArgumentSource is provided.
GUIs
Two GUIs are provided for demonstration purposes, ScratchPad and TestViewer, which
can be found in the package, org.argkit.dung.swing.
Status: beta.
The current version is 0-2-1.
Two reasoners are implemented: org.argkit.dung.GroundedReasoner and PreferredCredulousReasoner
One argument source is implemented: org.argkit.dung.InformalArgumentSource
A set of examples/tests is defined in etc/tests.xml using the InformalArgumentSource
This set of examples/tests is used in the test, org.argkit.dung.TestDungEngine
and in the swing gui org.argkit.dung.swing.TestViewer
A test editor, org.argkit.dung.swing.ScratchPad is provided to try out dungine.
Dependencies:
JDom
To read the test file (etc/tests.xml) we use JDOM 1.0. This needs the jdom.jar, jaxen-core.jar, jaxen-jdom.jar and saxpath.jar jars. For more information see http://www.jdom.org/.
Jung
The swing gui visualizations use the Jung graph toolkit, which needs jung-1.7.6.jar, colt.jar and commons-collections-3.2.jar. For more information see http://jung.sourceforge.net.
JUnit
Unit tests are implemented with JUnit v3.8. For more information see, http://www.junit.org.