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.
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|
|Export this item as:||BibTeX|
Daily downloads in the past month
Monthly downloads in the past 12 months
Repository Staff Only: item control page
Metis ID: 237989