Formal dialectic specification

Simon Wells, Chris Reed

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    5 Citations (Scopus)


    Formal dialectic systems have been suggested as a means to model inter-agent communication in multi-agent systems. The formal dialectic systems of Hamblin are practical models for the computational implementation of such a system of argumentative dialogue. This paper introduces a formal framework for the specification of Hamblin-type systems that has a range of benefits for theoretical work in the area including: yielding concise sets of clearly defined moves; allowing the moves of both existing and new games to be specified in a consistent manner; facilitating the use of dialectical shifts and dialogue embeddings independent of ruleset; facilitating the investigation of the coupling between sets of moves and dialogue situations; defining the attributes possessed by the general Hamblin-style formal dialectical system and thereby enabling the systematic exploration of the types of moves that these systems might encompass; and facilitating the rapid development of software applications that use formal dialectic to regulate communications.
    Original languageEnglish
    Title of host publicationArgumentation in Multi-Agent Systems
    Subtitle of host publicationFirst International Workshop, ArgMAS 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papers
    EditorsIyad Rahwan, Pavlos Moraitis, Chris Reed
    Place of PublicationBerlin
    Number of pages13
    ISBN (Electronic)9783540322610
    ISBN (Print)9783540245261
    Publication statusPublished - 2005
    EventFirst International Workshop on Argumentation in Multi-Agent Systems - Columbia University, New York, United States
    Duration: 19 Jul 200419 Jul 2004

    Publication series

    NameLecture notes in computer science
    ISSN (Print)0302-9743


    ConferenceFirst International Workshop on Argumentation in Multi-Agent Systems
    Abbreviated titleArgMAS 2004
    Country/TerritoryUnited States
    CityNew York
    Internet address


    Dive into the research topics of 'Formal dialectic specification'. Together they form a unique fingerprint.

    Cite this