This paper studies the logical formalisation and implementation of dialogue systems for argumentation, motivated by the claim that this benefits their formal investigation and implementation. A case study is described in which a dialogue system of Prakken is formalised in Shanahan’s version of the ‘full’ Event Calculus and then implemented as a Prolog program. Then a second case study is briefly summarised in which a dialogue system of Parsons, Wooldridge and Amgoud is formalised in the same way. From the case studies some conclusions are drawn on the usefulness of the formalisation method.
|Title of host publication||Proceedings of the Eleventh International Workshop on Nonmonotonic Reasoning|
|Place of Publication||Windermere, England|
|Publisher||Gesellschaft für Informatik|
|Number of pages||9|
|ISBN (Print)||not assigned|
|Publication status||Published - 2006|
|Publisher||Claustal University of Technology, Institute of Computer Sciences|
Bodenstaff, L., Prakken, H., & Vreeswijk, G. (2006). On Formalising Dialogue Systems for Argumentation in the Event Calculus. In J. Dix (Ed.), Proceedings of the Eleventh International Workshop on Nonmonotonic Reasoning (pp. 374-382). (Technical Report; Vol. IfI-06-04). Windermere, England: Gesellschaft für Informatik.