Formalizing Explanatory Dialogues

Abdallah Arioua 1, 2 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 : Many work have proposed architectures and models to incorporate explanation within agent's design for various reasons, i.e. human-agent teamwork improvement, training in virtual environment, belief revision, to name just a few. With this novel architectures a problematic is emerged: how to communicate these explanations in a goal-directed and rule-governed dialogue system? In this paper we formalize Walton’s CE dialectical system of explanatory dialogues in the framework of Prakken. We extend this formalization within the Extended CE system by generalizing the protocol and incorporating a general account of dialectical shifts. More precisely, we show how a shift to any dialogue type can take place, as an example we describe a shift to argumentative dialogue with the goal of giving the explainee the possibility to challenge explainer's explanations. In addition, we propose the use of commitment and understanding stores to avoid circular and inconsistent explanations and to judge the success of explanation. We show that the dialogue terminates, under specific conditions, in finite steps and the space complexity of the stores evolves polynomially in the size of the explanatory model.
Type de document :
Communication dans un congrès
SUM: Scalable Uncertainty Management, Sep 2015, Quebec City, Canada. 9th International Conference on Scalable Uncertainty Management, 2015, 〈http://www.fernuni-hagen.de/wbs/sum2015/〉
Liste complète des métadonnées

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01164705
Contributeur : Abdallah Arioua <>
Soumis le : mercredi 17 juin 2015 - 15:36:13
Dernière modification le : jeudi 11 janvier 2018 - 17:01:56

Identifiants

  • HAL Id : lirmm-01164705, version 1

Citation

Abdallah Arioua, Madalina Croitoru. Formalizing Explanatory Dialogues. SUM: Scalable Uncertainty Management, Sep 2015, Quebec City, Canada. 9th International Conference on Scalable Uncertainty Management, 2015, 〈http://www.fernuni-hagen.de/wbs/sum2015/〉. 〈lirmm-01164705〉

Partager

Métriques

Consultations de la notice

146