Web Intelligence and Intelligent Agent Technology, IEEE/WIC/ACM International Conference on (2009)
Sept. 15, 2009 to Sept. 18, 2009
Continuous commitments are those that persist and cannot be discharged. An agent that has adopted a continuous commitment must strive to meet its requirements at all possible times. In this paper we define continuous commitments, formalize them using the branching-time logic CTL*, and relate them to an agent's beliefs, desires, and intentions. How the agents interact with each other, how they make decisions, what decision paths they traverse, and what motivates them to prefer one decision path over another are some of the questions that can be answered by a comprehensive decision theory based on multiagent commitments, and such a decision theory should cover all types of commitments. Our formalization addresses what it means for a participating agent to promise or to fulfill a continuous commitment.
Commitments, BDI, CTL*
M. N. Huhns and V. R. Avali, "A Formalization of Continuous Commitments among Multiple Agents," 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT), Milan, Italy, 2009, pp. 96-99.