Dungine: A Java Dung Reasoner

Matthew South, Gerard Vreeswijk, John Fox

Background

Previously, in ASPIC... Query: outcome(patient1, X).

Example: diagnosis.pro. Available from http://www.argumentation.org.

ASPIC inference engine comments

The ASPIC inference engine was a useful proof of concept and demonstration tool. But...

Dungine

Dungine is a generic Dung Reasoner designed to be able to consume any source of arguments. It distils the lessons from the ASPIC inference engine to produce a Dung reasoner that's:

The current version implements a Grounded Sceptical and Preferred Credulous Reasoner and implementes a simple argument source. Dung reasoning is implemented using argument game proofs that allow a justification to be shown for each argument's evaluation.

Dungine - lightweight

The key classes and interfaces are shown in this diagram.

Key dungine classes/interfaces

Dungine - demo

A simple string argument source is implemented for test and demonstration purposes. A default GUI is provided called the ScratchPad which allows you to experiment with the engine.

Dungine test viewer

Dungine - tests

A series of reviewed examples are used as tests. A basic GUI is provided to allow those tests to be reviewed.

Dungine test viewer

Dungine - Araucaria integration

Here's a demonstration of how it can be used for a non ASPIC argument source.

Araucaria hack

Conclusions

This is relatively recent work but the project has achieved it's immediate goals and, so far, it's shown itself to be very easy to integrate with other argumentation based software. Anticipated future work includes:

Dungine is released on an open source license (LGPL) and hosted on sourceforge: http://argkit.org.