Verifying that Agents Implement a Communication Language

  title={Verifying that Agents Implement a Communication Language},
  author={Michael Wooldridge},
In recent years, a number of attempts have been made to develop standardized agent communication languages. A key issue in such languages is that of conformance testing. That is, given a program which claims to semantically conform to some agent communication standard, how can we determine whether or not it does indeed conform to it? In this article, we present an expressive agent communication language, and give a semantics for this language in such a way that verifying semantic conformance… CONTINUE READING


Publications citing this paper.
Showing 1-10 of 16 extracted citations


Publications referenced by this paper.
Showing 1-10 of 11 references

Specification part 2 — Agent communication language

  • FIPA
  • The text refers to the specification dated 23…
  • 1997
Highly Influential
10 Excerpts

Rational interaction as the basis for communication

  • P. R. Cohen, H. J. Levesque
  • Cohen, P. R., Morgan, J., and Pollack, M. E…
  • 1990
2 Excerpts

The complexity of reasoning about knowledge and time . I . Lower bounds

  • C. A. R. Hoare
  • Journal of Computer and System Sciences
  • 1989

Similar Papers

Loading similar papers…