DAGGER: Datalog+/- Argumentation Graph GEneRator

Bruno Yun (1) , Madalina Croitoru (1) , Srdjan Vesic (2) , Pierre Bisquert (1)

1 GRAPHIK - Graphs for Inferences on Knowledge
2 CRIL - Centre de Recherche en Informatique de Lens

We introduce DAGGER: a generator for logic based argumentation frameworks instantiated from inconsistent knowledge bases expressed using Datalog+/-. The tool allows to import a knowledge base in DLGP format and the generation and visualisation of the corresponding argumentation graph. Furthermore, the argumentation framework can also be exported in the Aspartix format.

Mots clés: argumentation graph generator; logic based argumentation frameworks; existential rules

Domaines: Intelligence artificielle [cs.AI]

Bruno Yun, Madalina Croitoru, Srdjan Vesic, Pierre Bisquert. DAGGER: Datalog+/- Argumentation Graph GEneRator. AAMAS 2018 - 17th International Conference on Autonomous Agents and MultiAgent Systems, Jul 2018, Stockholm, Sweden. pp.1841-1843, ⟨10.5555/3237383.3237996⟩. ⟨lirmm-01892588⟩