EEMCS EPrints Service

Education

Research

Prospective Students

Jobs

Publications

Intranet (internal)

Nederlands

Contact

Sitemap

Organisation

1714 On Formalising Dialogue Systems for Argumentation in the Event Calculus

Home Policy Brochure Browse Search User Area Contact Help

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. 374-382. Technical Report IfI-06-04. Claustal University of Technology, Institute of Computer Sciences. ISBN not assigned

Full text available as:

PDF

- Univ. of Twente only - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
136 Kb

Official URL: http://www2.in.tu-clausthal.de/~tmbehrens/NMR_Proc_TR4.pdf

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 Paper (Full Paper, Talk)
Research Group:	EWI-IS: Information Systems
Research Program:	CTIT-ASI: A-services Internet
Research Project:	COOP: Coordination Process Correctness and Trust Assumptions
ID Code:	1714
Status:	Published
Deposited On:	23 June 2009
Refereed:	Yes
International:	Yes
More Information:	statistics metis

Export this item as:

To request a copy of the PDF please email us request copy

To correct this item please ask your editor

Repository Staff Only: edit this item