Towards a general theory of action and time
Artificial Intelligence
Rational interaction: cooperation among intelligent agents
Rational interaction: cooperation among intelligent agents
Communicating sequential processes
Communications of the ACM
Planning English Sentences
A plan-based approach to speech act recognition
A plan-based approach to speech act recognition
A plan-based analysis of indirect speech acts
Computational Linguistics
Updating Mental States from Communication
ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages
Methods for task allocation via agent coalition formation
Artificial Intelligence
A kernel-oriented model for coalition-formation in general environments: implementation and results
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |
In this paper we develop a formal computational theory of high-level linguistic communication that serves as a foundation for understanding cooperative action in groups of autonomous agents. We do so by examining and describing how messages affect the planning process and thereby relating communication to the intentions of the agents. We start by developing an abstract formal theory of knowledge representation based on the concept of information. We distinguish two types of information: state information, which describes the agent's knowledge about its world (knowing that) and process information, which describes the agent's knowledge of how to achieve some goal (knowing how). These two types of information are then used to formally define the agent's representation of knowledge states including the agent's intentional states. We then show how situations and actions are related to the knowledge states. Using these relations we define a formal situation semantics for a propositional language. Based on this semantics, a formal pragmatic interpretation of the language is defined that formally describes how any given knowledge representational state is modified by a given message. Finally, using this theory of meaning of messages or speech acts, a theory of cooperation by means of communication is described.