Graph theoretical properties of logic based argumentation frameworks: proofs and general results

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

1 GRAPHIK - Graphs for Inferences on Knowledge
2 CRIL - Centre de Recherche en Informatique de Lens
3 UMR IATE - Ingénierie des Agro-polymères et Technologies Émergentes

In this paper we extend our first results concerning the characterisa-tion of the graph structure of logic based argumentation graphs with two main classes of findings. First we provide full proofs for the structural results of argu-mentation graphs built over Datalog+/-knowledge base composed of facts and negative constraints solely. Second, we also provide some structural properties for the general case of knowledge bases composed of facts, rules and negative constraints.

Domaines: Intelligence artificielle [cs.AI]

Bruno Yun, Madalina Croitoru, Srdjan Vesic, Pierre Bisquert. Graph theoretical properties of logic based argumentation frameworks: proofs and general results. 5th International Workshop on Graph Structures for Knowledge Representation and Reasoning (GKR 2017), Revised Selected Papers, Aug 2017, Melbourne, Australia. pp.118-138, ⟨10.1007/978-3-319-78102-0_7⟩. ⟨lirmm-01892703⟩