PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
Intention is choice with commitment
Artificial Intelligence
Reasoning about knowledge
Communication and cooperation in agent systems: a pragmatic theory
Communication and cooperation in agent systems: a pragmatic theory
Collaborative plans for complex group action
Artificial Intelligence
Multi-Agent Systems: An Introduction to Distributed Artificial Intelligence
Multi-Agent Systems: An Introduction to Distributed Artificial Intelligence
Evolution of collective commitment during reconfiguration
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
Epistemic Logic for AI and Computer Science
Epistemic Logic for AI and Computer Science
Towards a Theory of Cooperative Problem Solving
MAAMAW '94 Proceedings of the 6th European Workshop on Modelling Autonomous Agents: Distributed Software Agents and Applications
Commitments Among Autonomous Agents in Information-Rich Environments
Proceedings of the 8th European Workshop on Modelling Autonomous Agents in a Multi-Agent World: Multi-Agent Rationality
Social and Individual Commitment
PRICAI '96 Proceedings from the Workshop on Intelligent Agent Systems, Theoretical and Practical Issues
Intentional Agents and Goal Formation
ATAL '97 Proceedings of the 4th International Workshop on Intelligent Agents IV, Agent Theories, Architectures, and Languages
Agent Theory for Team Formation by Dialogue
ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages
On evaluating decision procedures for modal logic
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |
In this paper the notion of collective intention in teams of agents involved in cooperative problem solving (CPS) in multiagent systems (MAS) is investigated. Starting from individual intentions, goals}, and beliefs defining agents' local asocial motivational and informational attitudes, we arrive at an understanding of collective intention in cooperative teams. The presented definitions are rather strong, in particular a collective intention implies that all members intend for all others to share that intention. Thus a team is created on the basis of collective intention, and exists as long as this attitude between team members exists, after which the group may disintegrate. For this reason it is crucial that collective intention lasts long enough. Collective intentions are formalized in a multi-modal logical framework. Completeness of this logic with respect to an appropriate class of Kripke models is proved. Two versions of collective intentions are discussed in the context of different situations. It is assumed that these definitions reflect solely vital aspects of motivational attitudes, leaving room for case-specific extensions. This makes the framework flexible and not overloaded. Together with individual and collective knowledge and belief, collective intention constitutes a basis for preparing a plan, reflected in the strongest attitude, i.e., in collective commitment, defined and investigated in our other papers.