Logic-based argumentation with existential rules - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier
Article Dans Une Revue International Journal of Approximate Reasoning Année : 2017

Logic-based argumentation with existential rules

Abdallah Arioua
  • Fonction : Auteur
  • PersonId : 961936
Madalina Croitoru
Srdjan Vesic

Résumé

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.
Fichier principal
Vignette du fichier
2017_IJAR.pdf (585.72 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

lirmm-01596666 , version 1 (07-01-2021)

Identifiants

Citer

Abdallah Arioua, Madalina Croitoru, Srdjan Vesic. Logic-based argumentation with existential rules. International Journal of Approximate Reasoning, 2017, 90, pp.76-106. ⟨10.1016/j.ijar.2017.07.004⟩. ⟨lirmm-01596666⟩
190 Consultations
158 Téléchargements

Altmetric

Partager

More