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
    EventThe Eleventh International Workshop on Nonmonotonic Reasoning, Windermere, England: Proceedings of the Eleventh International Workshop on Nonmonotonic Reasoning - Windermere, England
    Duration: 30 May 20061 Jun 2006

    Publication series

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

    Conference

    ConferenceThe Eleventh International Workshop on Nonmonotonic Reasoning, Windermere, England
    CityWindermere, England
    Period30/05/061/06/06

    Keywords

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

    Cite this