Dialectical Characterization of Consistent Query Explanation with Existential Rules - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier
Conference Papers Year : 2016

Dialectical Characterization of Consistent Query Explanation with Existential Rules

Abdallah Arioua
  • Function : Author
  • PersonId : 961936
Madalina Croitoru

Abstract

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
Origin Files produced by the author(s)

Dates and versions

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

Identifiers

  • HAL Id : lirmm-01328679 , version 1

Cite

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⟩
125 View
6 Download

Share

More