Logic-based argumentation with existential rules

Abdallah Arioua 1 Madalina Croitoru 2 Srdjan Vesic 3
2 GRAPHIK - Graphs for Inferences on Knowledge
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier, CRISAM - Inria Sophia Antipolis - Méditerranée
Abstract : In this paper we are interested in the use of argumentation for handling inconsistency in inconsistent knowledge bases expressed with existential rules. We propose an instantiation of an argumentation framework and demonstrate it is coherent, relatively grounded and non-trivial, therefore satisfying the rationality postulates from the literature. We demonstrate how argumentation semantics relate to the state of the art of handling inconsistency in this setting, allowing us to propose the first dialectical proof in the literature for a given semantics.
Type de document :
Article dans une revue
International Journal of Approximate Reasoning, Elsevier, 2017, 90, pp.76-106. 〈10.1016/j.ijar.2017.07.004〉
Liste complète des métadonnées

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01596666
Contributeur : Abdallah Arioua <>
Soumis le : jeudi 28 septembre 2017 - 08:17:18
Dernière modification le : jeudi 8 février 2018 - 11:10:08

Identifiants

Citation

Abdallah Arioua, Madalina Croitoru, Srdjan Vesic. Logic-based argumentation with existential rules. International Journal of Approximate Reasoning, Elsevier, 2017, 90, pp.76-106. 〈10.1016/j.ijar.2017.07.004〉. 〈lirmm-01596666〉

Partager

Métriques

Consultations de la notice

104