<?xml version="1.0" encoding="utf-8"?>
<?xml-stylesheet href="client.xsl" type="text/xsl"?>
<article article-type="other">
<front>
<journal-meta>
<journal-id/>
<issn/>
<banner>
<!--<href>banner.jpg</href>-->
<size width="100%"/>
</banner>
</journal-meta>
<article-meta>
<title-group>
<article-title>Dynamic Semantics for Agent Communication Languages</article-title>
</title-group>

<author><a href="mailto:mrovatso@inf.ed.ac.uk"><name>Michael Rovatsos</name></a></author>
<aff>School of Informatics<br/> The University of Edinburgh Edinburgh EH8 9LE United Kingdom</aff>
</article-meta></front>
<body>
<abstract>
<title>ABSTRACT</title>
<p>This paper proposes dynamic semantics for agent communication languages (ACLs) as a method for tackling some
of the fundamental problems associated with agent communication in open multiagent systems. Based on the idea
of providing alternative semantic "variants" for speech acts
and transition rules between them that are contingent on
previous agent behaviour, our framework provides an im-
proved notion of grounding semantics in ongoing interaction,
a simple mechanism for distinguishing between <italic>compliant</italic>
and <italic>expected</italic> behaviour, and a way to specify sanction and
reward mechanisms as part of the ACL itself. We extend a
common framework for commitment-based ACL semantics
to obtain these properties, discuss desiderata for the design
of concrete dynamic semantics together with examples, and
analyse their properties.</p>
</abstract>
<fpdf>
<href>pdflogo.jpg</href>
<hpdf>AAMAS07_0069_7ad56a5283473e76b9d65095b9611fa9</hpdf>
</fpdf>
</body>
</article>

