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.
Type de document :
Communication dans un congrès
FLAIRS: Florida Artificial Intelligence Research Society, May 2016, Key Largo, United States. 29th International FLAIRS Conference, 2016, 〈http://www.flairs-29.info〉
Liste complète des métadonnées

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01328679
Contributeur : Madalina Croitoru <>
Soumis le : mercredi 8 juin 2016 - 12:16:05
Dernière modification le : jeudi 11 janvier 2018 - 17:01:56

Identifiants

  • HAL Id : lirmm-01328679, version 1

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. 29th International FLAIRS Conference, 2016, 〈http://www.flairs-29.info〉. 〈lirmm-01328679〉

Partager

Métriques

Consultations de la notice

53