Intention is choice with commitment
Artificial Intelligence
On Commitments, Roles, and Obligations
CEEMAS '01 Revised Papers from the Second International Workshop of Central and Eastern Europe on Multi-Agent Systems: From Theory to Practice in Multi-Agent Systems
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
Agent Capabilities: Extending BDI Theory
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Engineering commitment-based multiagent systems: a temporal logic approach
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
IEEE Internet Computing
An algebra for commitment protocols
Autonomous Agents and Multi-Agent Systems
Relating goal and commitment semantics
ProMAS'11 Proceedings of the 9th international conference on Programming Multi-Agent Systems
Hi-index | 0.00 |
In a cooperative system, multiple dynamic agents work together and share resources to achieve common goals, while simultaneously pursuing their individual goals. Interactions among the agents in such a cooperative system are critical to its successful behavior, and we believe that commitments are the proper abstraction to characterize the interactions. Commitments then become the basis for monitoring and controlling the system and tracking the progress towards its goals.Commitments are binary relationships that bind two agents: a "debtor agent" that promises to provide a particular service for a "creditor agent". Their role is to represent agreements between the agents and prevent potential conflicts while the agents collaborate to achieve the system's common goals, which are imposed from outside. But the willingness to participate in achieving the goals comes from within the agent and that is why the beliefs, desires, and intentions of the agents are crucial in formalizing commitments. In this paper, we have formalized commitments in terms of the agents' internal states of mind--their beliefs, desires, and intentions. This formalization addresses what it means for a participating agent to promise or to satisfy a commitment. The formalization uses a branching-time computational tree logic framework with commitment definitions and operations to define a commitment-centric cooperative multiagent environment.