The Community for Technology Leaders
Web Intelligence and Intelligent Agent Technology, IEEE/WIC/ACM International Conference on (2009)
Milan, Italy
Sept. 15, 2009 to Sept. 18, 2009
ISBN: 978-0-7695-3801-3
pp: 96-99
ABSTRACT
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.
INDEX TERMS
Commitments, BDI, CTL*
CITATION
Michael N. Huhns, Viji R. Avali, "A Formalization of Continuous Commitments among Multiple Agents", Web Intelligence and Intelligent Agent Technology, IEEE/WIC/ACM International Conference on, vol. 02, no. , pp. 96-99, 2009, doi:10.1109/WI-IAT.2009.135
86 ms
(Ver 3.3 (11022016))