(similar to concerns for ACL semantics)
This article examines the issue of developing semantics for agent
communication languages. In particular, it considers the problem of
giving a verifiable semantics for such languages - a semantics where
conformance (or otherwise) to the semanitcs could be
determined by the
independent observer
. - Michael Wooldridge