Dialectical Characterization of Consistent Query Explanation with Existential Rules - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier
Communication Dans Un Congrès Année : 2016

Dialectical Characterization of Consistent Query Explanation with Existential Rules

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

Résumé

This paper provides a dialectical characterization of IAR and Brave semantics via argumentation dialogue. We propose a minimal argumentation dialogue system and investigate the relation between its outcome and these semantics. We show that Brave semantics corresponds to a dialogue where the opponent of the Brave-entailed query wins in any dialogue. We show also that IAR semantics corresponds to a dialogue where the proponent of the IAR-entailed query wins any dialogue. We further investigate how the profile (i.e. behavior) of the participants impacts the outcome of the dialogue and the entailment of queries.
Fichier principal
Vignette du fichier
FLAIRS2016.pdf (220.07 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

lirmm-01328679 , version 1 (10-11-2022)

Identifiants

  • HAL Id : lirmm-01328679 , version 1

Citer

Abdallah Arioua, Madalina Croitoru. Dialectical Characterization of Consistent Query Explanation with Existential Rules. FLAIRS 2016 - 29th International Florida Artificial Intelligence Research Society Conference, May 2016, Key Largo, United States. pp.621-625. ⟨lirmm-01328679⟩
128 Consultations
8 Téléchargements

Partager

More