Skip to Main content Skip to Navigation
Theses

Argumentation techniques for existential rules

Bruno Yun 1, 2
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
Résumé : Dans cette thèse, nous étudions les techniques de raisonnement utilisant des graphes d'argumentation générés à partir de bases de connaissances inconsistantes exprimées dans le langage des règles existentielles.Les trois principaux résultats sont les suivants. Tout d'abord, nous étudions les propriétés structurelles des graphes obtenus à partir de bases de connaissances exprimées avec des règles existentielles et nous donnons plusieurs indications sur la manière dont leur génération peut être améliorée. Deuxièmement, nous proposons une technique pour générer un graphe d'argumentation où plusieurs arguments peuvent attaquer collectivement, remplaçant ainsi la relation d'attaque binaire classique et montrons expérimentalement les avantages de cette technique. Troisièmement, nous nous intéressons aux approches fondées sur les classements pour le raisonnement en logique et en argumentation.
Document type :
Theses
Complete list of metadatas

Cited literature [317 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-02197405
Contributor : Abes Star :  Contact
Submitted on : Friday, September 27, 2019 - 3:34:09 PM
Last modification on : Saturday, July 18, 2020 - 3:12:21 AM

File

YUN_2019_archivage.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : tel-02197405, version 2

Collections

Citation

Bruno Yun. Argumentation techniques for existential rules. Other [cs.OH]. Université Montpellier, 2019. English. ⟨NNT : 2019MONTS011⟩. ⟨tel-02197405v2⟩

Share

Metrics

Record views

130

Files downloads

318