DOI: 10.1017/S000000000000000 Printed in the United Kingdom Formal systems for persuasion dialogue

Citations in the corpus

• Explanation in Artificial Intelligence: Insights from the Social Sciences (2017, background): “Arioua and Croitoru [4] formalise Walton’s work on explanation dialogue [182], grounding it in a well-known argumentation framework [146].”
• A dialogue system specification for explanation (2011, background): “Many formal dialogue systems have been built (Bench-Capon 2003; Prakken 2005, 2006 ), and through their applications (Verheij 2003), we are getting a much better idea of the general requirements for such systems, and how to build them.”
• Dialogical Models of Explanation (2007, background): “Proposals have been made for formal dialogue systems that deal with these matters (Prakken, 2006), but here it is enough to appreciate the need for such rules in a general way.”
• A Grounded Interaction Protocol for Explainable Artificial Intelligence (2019, methodology): “Arioua [2] formalize and extend Walton’s dialectical system by incorporating Prakken’s [26] framework of dialogue formalisation.”
• Speech Acts and Burden of Proof in Computational Models of Deliberation Dialogue (2016, unknown): “The protocol is based upon the protocol for persuasion of Prakken (2006) and inherits its characteristics of responses to challenges.”
• Adversarial Language Games for Advanced Natural Language Intelligence (2019, background): “(2) Persuasion is a game where multiple agents with conflicting opinions persuade each other (Prakken, 2006) or an audience (Amgoud and de Saint-Cyr, 2013).”
• Formalizing Explanatory Dialogues (2015, methodology): “Relying on Prakken’s framework for formalizing dialogue systems [19,18], in this section we formalize the ECE system (Extended CE) of explanatory dialogues.”