Towards a formal theory of communication for multiagent systems

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