Abstract
This paper investigates the use of high-level action languages for representing and reasoning about commitments in multi-agent domains. We introduce the language \({\cal L}^{mt}\), an extension of the language \(\cal L\), with new features motivated by the problem of representing and reasoning about commitments. The paper demonstrates how features and properties of commitments can be described in this action language. We show how \({\cal L}^{mt}\) can handle both simple commitment actions as well as complex commitment protocols. Furthermore, the semantics of \({\cal L}^{mt}\) provides a uniform solution to different problems in reasoning about commitments such as the problem of (i) verifying whether an agent fails (or succeeds) to deliver on its commitments; (ii) identifying pending commitments; and (iii) suggesting ways to satisfy pending commitments.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Baldoni, M., Baroglio, C., Marengo, E.: Commitment-Based Protocols with Behavioral Rules and Correctness Properties of MAS. In: Omicini, A., Sardina, S., Vasconcelos, W. (eds.) DALT 2010. LNCS, vol. 6619, pp. 60–77. Springer, Heidelberg (2011)
Balduccini, M., Gelfond, M.: Diagnostic Reasoning with A-Prolog. TPLPÂ 3(4,5) (2003)
Baral, C., Gelfond, M., Provetti, A.: Representing Actions: Laws, Observations and Hypothesis. JLPÂ 31(1-3) (1997)
Baral, C., McIlraith, S., Son, T.C.: Formulating diagnostic problem solving using an action language with narratives and sensing. In: KR, pp. 311–322 (2000)
Baral, C., Son, T.C., Tuan, L.C.: A transition function based characterization of actions with delayed and continuous effects. In: KR, pp. 291–302 (2002)
Castelfranchi, C.: Commitments: From individual intentions to groups and organizations. In: Int. Conf. on Multiagent Systems, pp. 41–48. The MIT Press (1995)
Chesani, F., Mello, P., Montali, M., Torroni, P.: Commitment tracking via the reactive event calculus. In: IJCAI (2009)
Chopra, A.K., Singh, M.P.: Contextualizing commitment protocol. In: AAMAS, pp. 1345–1352. ACM (2006)
Desai, N., Chopra, A.K., Singh, M.P.: Representing and reasoning about commitments in business processes. In: AAAI, pp. 1328–1333 (2007)
Gelfond, M., Lifschitz, V.: Action languages. ETAIÂ 3(6) (1998)
Giordano, L., Martelli, A., Schwind, C.: Specifying and Verifying Interaction Protocols in a Temporal Action Logic. Journal App. Logic 5(2) (2007)
Mallya, A., Yolum, P., Singh, M.P.: Resolving Commitments among Autonomous Agents. In: Dignum, F.P.M. (ed.) ACL 2003. LNCS (LNAI), vol. 2922, pp. 166–182. Springer, Heidelberg (2004)
Mallya, A., Huhns, M.: Commitments among agents. IEEE Internet Comp. 7(4) (2003)
Reiter, R.: Knowledge in Actions. MIT Press (2001)
Singh, M.P.: An ontology for commitments in multiagent systems. Artif. Int. Law 7(1) (1999)
Torroni, P., Chesani, F., Mello, P., Montali, M.: Social Commitments in Time: Satisfied or Compensated. In: Baldoni, M., Bentahar, J., van Riemsdijk, M.B., Lloyd, J. (eds.) DALT 2009. LNCS, vol. 5948, pp. 228–243. Springer, Heidelberg (2010)
Torroni, P., et al.: Modelling interactions via commitments and expectations. In: Handbook of Research on Multi-Agent Systems, pp. 263–284. IGI Global (2009)
Son, T.C., Pontelli, E., Sakama, C.: Formalizing Commitments Using Action Languages. Technical Report. NMSU-2010, http://www.cs.nmsu.edu/~tson/papers/techrep1001.pdf
Yolum, P., Singh, M.P.: Flexible protocol specification and execution: applying event calculus planning using commitments. In: AAMAS, pp. 527–534. ACM (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Son, T.C., Pontelli, E., Sakama, C. (2012). Formalizing Commitments Using Action Languages. In: Sakama, C., Sardina, S., Vasconcelos, W., Winikoff, M. (eds) Declarative Agent Languages and Technologies IX. DALT 2011. Lecture Notes in Computer Science(), vol 7169. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-29113-5_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-29113-5_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-29112-8
Online ISBN: 978-3-642-29113-5
eBook Packages: Computer ScienceComputer Science (R0)