Abstract
Verification and compliance testing are required if agents are to be delegated responsibility for legally binding contracts, for example in electronic markets. This paper describes a general agent communication framework which allows several different notions of verification and compliance testing to be described. In particular we consider what type of verification or testing may be possible depending on the information which may be available (agent internals, observable behaviour, normative specifications) and the semantic definition of the communication language. We use this framework to identify the types of languages which will permit verification and testing in open systems where agents’ internals are kept private. This analysis gives some ideas about how compliance might be enforced in an open system.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Axelrod, R.: The evolution of cooperation. Basic Books, New York (1984)
Eijk, R.M.v.: Programming Languages for Agent Communication. PhD thesis, Department of Information and Computing Sciences, Utrecht University (2000)
FIPA. [FIPA OC00003] FIPA 97 Part 2 Version 2.0: Agent Communication Language Specification. In Website of the Foundation for Intelligent Physical Agents (1997), http://www.fipa.org/specs/fipa2000.tar.gz
Guerin, F.: Specifying Agent Communication Languages. PhD thesis, Department of Electrical and Electronic Engineering, Imperial College, UK (2002)
Guerin, F., Pitt, J.: Guaranteeing properties for e-commerce systems. In: Autonomous Agents 2002 Workshop on Agent Mediated Electronic Commerce IV: Designing Mechanisms and Systems, Bologna (2002)
Kesten, Y., Manna, Z., Pnueli, A.: Verifying clocked transition systems. In: Alur, R., Sontag, E.D., Henzinger, T.A. (eds.) HS 1995. LNCS, vol. 1066, pp. 13–40. Springer, Heidelberg (1996)
Labrou, Y., Finin, T.: A semantics approach for kqml – a general purpose communication language for software agents. In: Third International Conference on Information and Knowledge Management (CIKM 1994), pp. 447–455 (1994)
Manna, Z., Pnueli, A.: Temporal Verification of Reactive Systems (Safety), vol. 2. Springer, New York (1995)
Pitt, J., Mamdani, A.: A protocol-based semantics for an agent communication language. In: Proceedings 16th International Joint Conference on Artificial Intelligence IJCAI 1999, Stockholm, pp. 486–491. Morgan-Kaufmann Publishers, San Francisco (1999)
Pitt, J., Mamdani, A.: Some remarks on the semantics of FIPA’s agent communication language. Autonomous Agents and Multi-Agent Systems 4, 333–356 (1999)
Singh, M.: A social semantics for agent communication languages. In: IJCAI Workshop on Agent Communication Languages. Springer, Berlin (2000)
Wooldridge, M.: Verifiable semantics for agent communication languages. In: ICMAS 1998 (1998)
Wooldridge, M.: Verifying that agents implement a communication language. In: Sixteenth National Conference on Artificial Intelligence (AAAI 1999), Orlando, FL (July 1999)
Wooldridge, M.: Semantic issues in the verification of agent communication languages. Journal of Autonomous Agents and Multi-Agent Systems 3(1), 9–31 (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Guerin, F., Pitt, J. (2003). Verification and Compliance Testing. In: Huget, MP. (eds) Communication in Multiagent Systems. Lecture Notes in Computer Science(), vol 2650. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-44972-0_4
Download citation
DOI: https://doi.org/10.1007/978-3-540-44972-0_4
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40385-2
Online ISBN: 978-3-540-44972-0
eBook Packages: Springer Book Archive