On Formalising Dialogue Systems for Argumentation in the Event Calculus

Share/Save/Bookmark

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.

[img]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

 

Repository Staff Only: item control page

Metis ID: 237989