The DIAMOND System for Argumentation: Preliminary Report
This work provides a computational tool for argumentation researchers, but it is incremental as it applies existing answer set programming methods to ADFs.
The authors tackled the problem of computing models for abstract dialectical frameworks (ADFs) by developing the DIAMOND system, which translates ADFs into answer set programs to find stable models corresponding to various semantics such as admissible, complete, stable, and grounded.
Abstract dialectical frameworks (ADFs) are a powerful generalisation of Dung's abstract argumentation frameworks. In this paper we present an answer set programming based software system, called DIAMOND (DIAlectical MOdels eNcoDing). It translates ADFs into answer set programs whose stable models correspond to models of the ADF with respect to several semantics (i.e. admissible, complete, stable, grounded).