Formalizing Commitments Using Action Languages

  • Tran Cao Son
  • Enrico Pontelli
  • Chiaki Sakama
Conference paper

DOI: 10.1007/978-3-642-29113-5_6

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7169)
Cite this paper as:
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

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Tran Cao Son
    • 1
  • Enrico Pontelli
    • 1
  • Chiaki Sakama
    • 2
  1. 1.Dept. Computer ScienceNew Mexico State UniversityMexico
  2. 2.Computer and Comm. SciencesWakayama Univ.Japan

Personalised recommendations