TY - JOUR
T1 - A mathematical model of dialog
AU - Johnson, Mark W.
AU - McBurney, Peter
AU - Parsons, Simon
N1 - Copyright:
Copyright 2008 Elsevier B.V., All rights reserved.
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 -