Formal dialectic specification

Simon Wells; Chris Reed

doi:10.1007/978-3-540-32261-0_3

Formal dialectic specification

Simon Wells, Chris Reed

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

5 Citations (Scopus)

Abstract

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 language	English
Title of host publication	Argumentation in Multi-Agent Systems
Subtitle of host publication	First International Workshop, ArgMAS 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papers
Editors	Iyad Rahwan, Pavlos Moraitis, Chris Reed
Place of Publication	Berlin
Publisher	Springer
Pages	31-43
Number of pages	13
ISBN (Electronic)	9783540322610
ISBN (Print)	9783540245261
DOIs	https://doi.org/10.1007/978-3-540-32261-0_3
Publication status	Published - 2005
Event	First International Workshop on Argumentation in Multi-Agent Systems - Columbia University, New York, United States Duration: 19 Jul 2004 → 19 Jul 2004 http://www.mit.edu/~irahwan/argmas/argmas04/

Publication series

Name	Lecture notes in computer science
Publisher	Springer
Volume	3366
ISSN (Print)	0302-9743

Conference

Conference	First International Workshop on Argumentation in Multi-Agent Systems
Abbreviated title	ArgMAS 2004
Country/Territory	United States
City	New York
Period	19/07/04 → 19/07/04
Internet address	http://www.mit.edu/~irahwan/argmas/argmas04/

Access to Document

10.1007/978-3-540-32261-0_3

http://www.scopus.com/inward/record.url?partnerID=yv4JPVwI&eid=2-s2.0-26844438121&md5=a14b8c1ee4a3256951ec290b64b43db6

Cite this

Wells, S., & Reed, C. (2005). Formal dialectic specification. In I. Rahwan, P. Moraitis, & C. Reed (Eds.), Argumentation in Multi-Agent Systems : First International Workshop, ArgMAS 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papers (pp. 31-43). (Lecture notes in computer science; Vol. 3366). Springer . https://doi.org/10.1007/978-3-540-32261-0_3

@inproceedings{43d2cb670c3c4224bf5f104334f934f4,

title = "Formal dialectic specification",

abstract = "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.",

author = "Simon Wells and Chris Reed",

year = "2005",

doi = "10.1007/978-3-540-32261-0_3",

language = "English",

isbn = "9783540245261",

series = "Lecture notes in computer science",

publisher = "Springer ",

pages = "31--43",

editor = "Iyad Rahwan and Pavlos Moraitis and Chris Reed",

booktitle = "Argumentation in Multi-Agent Systems",

url = "http://www.mit.edu/~irahwan/argmas/argmas04/",

}

Wells, S & Reed, C 2005, Formal dialectic specification. in I Rahwan, P Moraitis & C Reed (eds), Argumentation in Multi-Agent Systems : First International Workshop, ArgMAS 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papers. Lecture notes in computer science, vol. 3366, Springer , Berlin, pp. 31-43, First International Workshop on Argumentation in Multi-Agent Systems, New York, United States, 19/07/04. https://doi.org/10.1007/978-3-540-32261-0_3

Formal dialectic specification. / Wells, Simon; Reed, Chris.
Argumentation in Multi-Agent Systems : First International Workshop, ArgMAS 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papers. ed. / Iyad Rahwan; Pavlos Moraitis; Chris Reed. Berlin: Springer , 2005. p. 31-43 (Lecture notes in computer science; Vol. 3366).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Formal dialectic specification

AU - Wells, Simon

AU - Reed, Chris

PY - 2005

Y1 - 2005

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

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

UR - http://www.scopus.com/inward/record.url?scp=26844438121&partnerID=8YFLogxK

U2 - 10.1007/978-3-540-32261-0_3

DO - 10.1007/978-3-540-32261-0_3

M3 - Conference contribution

AN - SCOPUS:26844438121

SN - 9783540245261

T3 - Lecture notes in computer science

SP - 31

EP - 43

BT - Argumentation in Multi-Agent Systems

A2 - Rahwan, Iyad

A2 - Moraitis, Pavlos

A2 - Reed, Chris

PB - Springer

CY - Berlin

T2 - First International Workshop on Argumentation in Multi-Agent Systems

Y2 - 19 July 2004 through 19 July 2004

ER -

Formal dialectic specification

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this