On Formalising Dialogue Systems for Argumentation in the Event Calculus

Bodenstaff, L. and Prakken, H. and Vreeswijk, G. (2006) On Formalising Dialogue Systems for Argumentation in the Event Calculus. In: Proceedings of the Eleventh International Workshop on Nonmonotonic Reasoning, 30 May - 01 June 2006, Windermere, England.

PDF
Restricted to UT campus only: Request a copy
135Kb

Abstract:	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.
Item Type:	Conference or Workshop Item
Faculty:	Electrical Engineering, Mathematics and Computer Science (EEMCS)
Link to this item:	http://purl.utwente.nl/publications/62843
Official URL:	http://www2.in.tu-clausthal.de/~tmbehrens/NMR_Proc_TR4.pdf
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Show download statistics for this publication

Repository Staff Only: item control page

Metis ID: 237989