Towards a Formal Theory of Communication for Multi-agent Systems
Proceedings of the Twelfth International Joint Conference on Artificial Intelligence. Architectures & Languages. Pages 69-73.
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 modeltheoretic 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.
@inproceedings{ijcai1991p11,
title = {Towards a Formal Theory of Communication for Multi-agent Systems},
author = {Singh, Munindar P.},
booktitle = {Proceedings of the Twelfth International Joint Conference on
Artificial Intelligence, {IJCAI-91}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {John Mylopoulos and Ray Reiter},
pages = {69--73},
year = {1991},
month = {8},
note = {Architectures & Languages},
url = {https://ijcai.org/proceedings/1991/11},
}
TY - CPAPER TI - Towards a Formal Theory of Communication for Multi-agent Systems AU - Singh, Munindar P. T2 - Proceedings of the Twelfth International Joint Conference on Artificial Intelligence, IJCAI-91 PB - International Joint Conferences on Artificial Intelligence PY - 1991 SP - 69 EP - 73 UR - https://ijcai.org/proceedings/1991/11 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
