Dialectical Characterization of Consistent Query Explanation with Existential Rules

Abdallah Arioua 1 Madalina Croitoru 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 : 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.
Document type :
Conference papers
Complete list of metadatas

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01328679
Contributor : Madalina Croitoru <>
Submitted on : Wednesday, June 8, 2016 - 12:16:05 PM
Last modification on : Saturday, June 29, 2019 - 2:43:25 PM

Identifiers

  • HAL Id : lirmm-01328679, version 1

Collections

Citation

Abdallah Arioua, Madalina Croitoru. Dialectical Characterization of Consistent Query Explanation with Existential Rules. FLAIRS: Florida Artificial Intelligence Research Society, May 2016, Key Largo, United States. ⟨lirmm-01328679⟩

Share

Metrics

Record views

162