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