Agent Communication Frameworks and Verification


This paper develops a general agent communication framework which allows us to define several different notions of verification and to investigate if an agent communication language is verifiable. The framework is sufficiently general to accommodate communication languages based on agents’ mental states as well as those based on social states of the multi… (More)


2 Figures and Tables

Cite this paper

@inproceedings{Guerin2002AgentCF, title={Agent Communication Frameworks and Verification}, author={Frank Guerin and Jeremy V. Pitt}, year={2002} }