Argumentation-Based Defeasible Reasoning For Existential Rules

Abdelraouf Hecham 1 Madalina Croitoru 1 Pierre Bisquert 2, 1
1 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 : Logic based argumentation allows for defeasible reasoning over monotonic logics via grounded semantics or defeasible logic programming (DeLP). We investigate the practical implementation of such techniques for existential rules, a logical language used by many Semantic Web and Ontology Based Data Access applications. Existing tools in the literature (ASPIC+, DeLP) perform poorly for such languages due to their choice of generic reasoning methods using resolution. Since existential rules account for weak negation (as opposed to more general languages) we claim that state of the art argumentation methods (ASPIC+ or DeLP) could be practically outperformed by dedicated forward chaining methods. We analyse this problem from a theoretical point of view, especially with regards to forward chaining issues such as derivation loss, and perform a series of experiments to empirically evaluate our performance claims.
Type de document :
Communication dans un congrès
AAMAS: Autonomous Agents and MultiAgent Systems, May 2017, Sao Paulo, Brazil. 16th International Conference on Autonomous Agents and MultiAgent Systems, pp.1568-1569 2017, 〈http://www.aamas2017.org/〉
Liste complète des métadonnées

Littérature citée [13 références]  Voir  Masquer  Télécharger

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01520171
Contributeur : Abdelraouf Hecham <>
Soumis le : mercredi 10 mai 2017 - 15:05:29
Dernière modification le : jeudi 28 juin 2018 - 11:06:59
Document(s) archivé(s) le : vendredi 11 août 2017 - 12:12:41

Fichier

amaas17_defeasible.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : lirmm-01520171, version 1

Collections

Citation

Abdelraouf Hecham, Madalina Croitoru, Pierre Bisquert. Argumentation-Based Defeasible Reasoning For Existential Rules. AAMAS: Autonomous Agents and MultiAgent Systems, May 2017, Sao Paulo, Brazil. 16th International Conference on Autonomous Agents and MultiAgent Systems, pp.1568-1569 2017, 〈http://www.aamas2017.org/〉. 〈lirmm-01520171〉

Partager

Métriques

Consultations de la notice

281

Téléchargements de fichiers

228