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 (pp. pp. 374-382).

[img] PDF
Restricted to UT campus only
: Request a copy
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
Item Type:Conference or Workshop Item
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
HTML Citation
Reference Manager


Repository Staff Only: item control page

Metis ID: 237989