Bruno Yun, Srdjan Vesic and Madalina Croitoru

NAKED is a generator for logic-based argumentation hypergraphs built on inconsistent knowledge bases expressed using Datalog +/-.

The tool takes as input a knowledge base in DLGP format and allows to generate/visualise the corresponding argumentation graph. We offer an interactive method for observing specific arguments and the possibility to export the graph in the DOT format.

NAKED builds the arguments and attacks in a novel way: Arguments are either facts or constructed upon other arguments (à la ASPIC+) and sets of consistent arguments can attack a single other argument. We also provide the maximal consistent sets (or repairs) of the knowledge base, well known to be equivalent to the preferred and stable semantics in this setting.

The GUI communicates with the GRAAL library which possesses the toolkit for handling existential rules knowledge bases. Then, the tools computes the repairs, using an efficient algorithm, for the argument generation. Then, the argumentation graph is displayed graphically using the GrahStream library or textually using the DOT format, or both.

The GUI below shows NAKED drawing the argumentation graph corresponding to a simple example.

The graphical user interface of NAKED and its graph visualisation.
Demo video submitted to AAMAS 2019 about NAKED. The paper is entitled “NAKED: N-Ary graphs from Knowledge bases Expressed in Datalog±”.

Git Repository

The git repository is accessible online at the LIRMM’s gitlab.

If you use the NAKED tool in your academic work please cite: NAKED: N-Ary graphs from Knowledge bases Expressed in Datalog±. Bruno Yun, Madalina Croitoru and Srdjan Vesic, 18th International Conference on Autonomous Agents and Multiagent Systems (2019).