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
|Publisher||Claustal University of Technology, Institute of Computer Sciences|
|Conference||The Eleventh International Workshop on Nonmonotonic Reasoning, Windermere, England|
|Period||30/05/06 → 1/06/06|