Skip to Content

TU Wien Fakultät für Informatik DBAI Database and Artificial Intelligence Group
Top-level Navigation: Current-level Navigation:

Path: DBAI > research > project > argumentation> software> CEGARTIX

Tools: Drucken


CEGARTIX -
     Counter-Example Guided Argumentation Reasoning Tool


CEGARTIX is a system for abstract argumentation which is build on sat-solvers. It is developed within the project "New Methods for Analyzing, Comparing, and Solving Argumentation Problems".


Contents


News

Argumentation Competition Version

30.4.2015
CEGARTIX was updated to version 0.4. This is the competition version (see ICCMA 2015). Available here.

Version update

10.6.2012
Update of CEGARTIX (v0.3) - new version consists of two variants, one for incremental solving using the Minisat solver and one for non-incremental solving using Minisat, Clasp and any SAT-solver that adheres to the SAT-competition input/output (download).

New version online

29.4.2012
Update of CEGARTIX (v0.2). We incorporated clasp as alternative SAT-solver version 0.2 for download.

Webpage online

7.12.2011
The CEGARTIX webpage is now online and offers CEGARTIX version 0.1 for download.

About

CEGARTIX is a system for skeptical and credulous acceptance under certain semantics for argumentation frameworks (AFs). It is based on well-developed NP-oracles, namely the MiniSat and Clasp solver and can be used with any SAT-solver available as a binary, which supports DIMACS input and adheres to the SAT competition output.

Usage

The current implementation is able to compute skeptical acceptance for preferred semantics and both skeptical and credulous acceptance for semi-stable and stage semantics for a specific argument. Further, enumeration of all preferred extensions is supported.

Input file conventions

We borrow the input file format from the ASPARTIX system. The parser will recognize the following lines:

The order of the definitions does not matter but only one attack or argument may be specified in one line.

Command line options

In the current version (0.4) of cegartix, please call the program with

./cegartix-v0_4 -fo apx -p PROBLEM -f FILENAME [-a ADDITIONAL]

where PROBLEM is one of

Further details can be found at the argumentation competition webpage, ICCMA 2015.

Example

Let us consider the following input file containing the definition of a argumentation framework:

arg(a).
arg(b).
arg(c).
arg(d).
arg(e).
arg(f).
arg(g).
att(a,b).
att(c,b).
att(c,d).
att(d,c).
att(d,e).
att(e,g).
att(f,e).
att(g,f).

With this input, the program will skeptically accept the argument "a" under the preferred semantics. (preferred extensions: {{a, d, g}, {a, c}})

Team

People involved in the development of CEGARTIX:

Download

Here we provide the newest version of CEGARTIX as well as some benchmark examples for download. Version 0.3 incorporates two variants of cegartix, one for non-incremental solving with Minisat/Clasp and external solvers (binary cegartix) and another variant (cegartix_incremental) which implements incremental solving using Minisat.

Version 0.4 (ICCMA 2015 version)

Version 0.3

Version 0.2

Version 0.1a

Examples

AF Generators

Source Code v0.2

Related Webpages

References



Top

Home / Kontakt / Webmaster / Offenlegung gemäß § 25 Mediengesetz: Inhaber der Website ist das Institut für Informationssysteme an der Technischen Universität Wien, 1040 Wien. Die TU Wien distanziert sich von den Inhalten aller extern gelinkten Seiten und übernimmt diesbezüglich keine Haftung. / Disclaimer.