Issues in the Design of Negotiation Protocols for Logic-Based Agent Communication Languages [chapter]

Michael Wooldridge, Simon Parsons
2001 Lecture Notes in Computer Science  
This article examines the issue of developing semantics for agent communication languages. In particular, it considers the problem of giving a¨erifiable semantics for such languagesᎏa semantics Ž . where conformance or otherwise to the semantics could be determined by an independent observer. These problems are precisely defined in an abstract formal framework. Using this framework, a number of example agent communication frameworks are defined. A discussion is then presented, of the various
more » ... ions open to designers of agent communication languages, with respect the problem of verifying conformance.
doi:10.1007/3-540-44723-7_5 fatcat:gi2g4hg6ybhmdo5y7ekubjzymq