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.
Document type :
Conference papers
Complete list of metadatas

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01164705
Contributor : Abdallah Arioua <>
Submitted on : Wednesday, June 17, 2015 - 3:36:13 PM
Last modification on : Friday, March 29, 2019 - 9:12:10 AM

Identifiers

Collections

Citation

Abdallah Arioua, Madalina Croitoru. Formalizing Explanatory Dialogues. SUM: Scalable Uncertainty Management, Sep 2015, Quebec City, Canada. pp.282-297, ⟨10.1007/978-3-319-23540-0_19⟩. ⟨lirmm-01164705⟩

Share

Metrics

Record views

299