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.