On Formalising Dialogue Systems for Argumentation in the Event Calculus

L. Bodenstaff, H. Prakken, G. Vreeswijk

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

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.
Original languageUndefined
Title of host publicationProceedings of the Eleventh International Workshop on Nonmonotonic Reasoning
EditorsJ. Dix
Place of PublicationWindermere, England
PublisherGesellschaft für Informatik
Pages374-382
Number of pages9
ISBN (Print)not assigned
Publication statusPublished - 2006

Publication series

NameTechnical Report
PublisherClaustal University of Technology, Institute of Computer Sciences
VolumeIfI-06-04
ISSN (Print)1860-8477

Keywords

  • IR-62843
  • METIS-237989
  • EWI-1714

Cite this

Bodenstaff, L., Prakken, H., & Vreeswijk, G. (2006). On Formalising Dialogue Systems for Argumentation in the Event Calculus. In J. Dix (Ed.), Proceedings of the Eleventh International Workshop on Nonmonotonic Reasoning (pp. 374-382). (Technical Report; Vol. IfI-06-04). Windermere, England: Gesellschaft für Informatik.
Bodenstaff, L. ; Prakken, H. ; Vreeswijk, G. / On Formalising Dialogue Systems for Argumentation in the Event Calculus. Proceedings of the Eleventh International Workshop on Nonmonotonic Reasoning. editor / J. Dix. Windermere, England : Gesellschaft für Informatik, 2006. pp. 374-382 (Technical Report).
@inproceedings{90fc2f1fae5f436c8ac8f606d643c864,
title = "On Formalising Dialogue Systems for Argumentation in the Event Calculus",
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.",
keywords = "IR-62843, METIS-237989, EWI-1714",
author = "L. Bodenstaff and H. Prakken and G. Vreeswijk",
year = "2006",
language = "Undefined",
isbn = "not assigned",
series = "Technical Report",
publisher = "Gesellschaft f{\"u}r Informatik",
pages = "374--382",
editor = "J. Dix",
booktitle = "Proceedings of the Eleventh International Workshop on Nonmonotonic Reasoning",
address = "Germany",

}

Bodenstaff, L, Prakken, H & Vreeswijk, G 2006, On Formalising Dialogue Systems for Argumentation in the Event Calculus. in J Dix (ed.), Proceedings of the Eleventh International Workshop on Nonmonotonic Reasoning. Technical Report, vol. IfI-06-04, Gesellschaft für Informatik, Windermere, England, pp. 374-382.

On Formalising Dialogue Systems for Argumentation in the Event Calculus. / Bodenstaff, L.; Prakken, H.; Vreeswijk, G.

Proceedings of the Eleventh International Workshop on Nonmonotonic Reasoning. ed. / J. Dix. Windermere, England : Gesellschaft für Informatik, 2006. p. 374-382 (Technical Report; Vol. IfI-06-04).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

TY - GEN

T1 - On Formalising Dialogue Systems for Argumentation in the Event Calculus

AU - Bodenstaff, L.

AU - Prakken, H.

AU - Vreeswijk, G.

PY - 2006

Y1 - 2006

N2 - 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.

AB - 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.

KW - IR-62843

KW - METIS-237989

KW - EWI-1714

M3 - Conference contribution

SN - not assigned

T3 - Technical Report

SP - 374

EP - 382

BT - Proceedings of the Eleventh International Workshop on Nonmonotonic Reasoning

A2 - Dix, J.

PB - Gesellschaft für Informatik

CY - Windermere, England

ER -

Bodenstaff L, Prakken H, Vreeswijk G. On Formalising Dialogue Systems for Argumentation in the Event Calculus. In Dix J, editor, Proceedings of the Eleventh International Workshop on Nonmonotonic Reasoning. Windermere, England: Gesellschaft für Informatik. 2006. p. 374-382. (Technical Report).