Towards a formal theory of communication for multiagent systems

  • Authors:
  • Munindar P. Singh

  • Affiliations:
  • Dept. of Computer Sciences, University of Texas, Austin, TX and Artificial Intelligence Lab, MCC, Austin, TX

  • Venue:
  • IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
  • Year:
  • 1991

Quantified Score

Hi-index 0.00

Visualization

Abstract

Agents in multiagent systems interact to a large extent by communicating. Such communication may be fruitfully studied from the point of view of speech act theory. In order for multiagent systems to be formally and rigorously designed and analyzed, a semantics of speech acts that gives their objective model-theoretic conditions of satisfaction is needed. However, most research into multiagent systems that deals with communication provides only informal descriptions of the different message types used. And this problem is not addressed at all by traditional speech act theory or by AI research into discourse understanding. I provide a formal semantics for the major kinds of speech acts at a level that has not been considered before. The resulting theory applies uniformly to a wide range of multiagent systems. Some applications of this theory are outlined, and some of its theorems listed.