A mathematical model of dialog

Mark W. Johnson; Peter McBurney; Simon Parsons

doi:10.1016/j.entcs.2005.05.015

A mathematical model of dialog

Mark W. Johnson, Peter McBurney, Simon Parsons

Division of Mathematics & Natural Sciences (Altoona)

Research output: Contribution to journal › Article › peer-review

9 Scopus citations

Abstract

Computer Science is currently undergoing a paradigm shift, from viewing computer systems as isolated programs to viewing them as dynamic multi-agent societies. Evidence of this shift is the significant effort devoted recently to the design and implementation of languages and protocols for communications and interaction between software agents. Despite this effort, no formal mathematical theory of agent interaction languages and protocols yet exists. We argue that such a theory needs to account for the semantics of agent interaction, and propose the first mathematical theory which does this. Our framework incorporates category-theoretic entities for the utterances made in an agent dialog and for the commitments incurred by those utterances, together with maps between these.

Original language	English (US)
Pages (from-to)	33-48
Number of pages	16
Journal	Electronic Notes in Theoretical Computer Science
Volume	141
Issue number	5
DOIs	https://doi.org/10.1016/j.entcs.2005.05.015
State	Published - Dec 22 2005

All Science Journal Classification (ASJC) codes

Theoretical Computer Science
Computer Science(all)

Access to Document

10.1016/j.entcs.2005.05.015

Fingerprint Dive into the research topics of 'A mathematical model of dialog'. Together they form a unique fingerprint.

Cite this

@article{1ef26a5ec75c46ad8a3eda2db1718d27,

title = "A mathematical model of dialog",

abstract = "Computer Science is currently undergoing a paradigm shift, from viewing computer systems as isolated programs to viewing them as dynamic multi-agent societies. Evidence of this shift is the significant effort devoted recently to the design and implementation of languages and protocols for communications and interaction between software agents. Despite this effort, no formal mathematical theory of agent interaction languages and protocols yet exists. We argue that such a theory needs to account for the semantics of agent interaction, and propose the first mathematical theory which does this. Our framework incorporates category-theoretic entities for the utterances made in an agent dialog and for the commitments incurred by those utterances, together with maps between these.",

author = "Johnson, {Mark W.} and Peter McBurney and Simon Parsons",

year = "2005",

month = dec,

day = "22",

doi = "10.1016/j.entcs.2005.05.015",

language = "English (US)",

volume = "141",

pages = "33--48",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier",

number = "5",

}

TY - JOUR

T1 - A mathematical model of dialog

AU - Johnson, Mark W.

AU - McBurney, Peter

AU - Parsons, Simon

PY - 2005/12/22

Y1 - 2005/12/22

N2 - Computer Science is currently undergoing a paradigm shift, from viewing computer systems as isolated programs to viewing them as dynamic multi-agent societies. Evidence of this shift is the significant effort devoted recently to the design and implementation of languages and protocols for communications and interaction between software agents. Despite this effort, no formal mathematical theory of agent interaction languages and protocols yet exists. We argue that such a theory needs to account for the semantics of agent interaction, and propose the first mathematical theory which does this. Our framework incorporates category-theoretic entities for the utterances made in an agent dialog and for the commitments incurred by those utterances, together with maps between these.

AB - Computer Science is currently undergoing a paradigm shift, from viewing computer systems as isolated programs to viewing them as dynamic multi-agent societies. Evidence of this shift is the significant effort devoted recently to the design and implementation of languages and protocols for communications and interaction between software agents. Despite this effort, no formal mathematical theory of agent interaction languages and protocols yet exists. We argue that such a theory needs to account for the semantics of agent interaction, and propose the first mathematical theory which does this. Our framework incorporates category-theoretic entities for the utterances made in an agent dialog and for the commitments incurred by those utterances, together with maps between these.

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

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

U2 - 10.1016/j.entcs.2005.05.015

DO - 10.1016/j.entcs.2005.05.015

M3 - Article

AN - SCOPUS:29144520850

VL - 141

SP - 33

EP - 48

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

SN - 1571-0661

IS - 5

ER -