Declarative Agent Languages and Technologies IX

Volume 7169 of the series Lecture Notes in Computer Science pp 67-83

Formalizing Commitments Using Action Languages

  • Tran Cao SonAffiliated withDept. Computer Science, New Mexico State University
  • , Enrico PontelliAffiliated withDept. Computer Science, New Mexico State University
  • , Chiaki SakamaAffiliated withComputer and Comm. Sciences, Wakayama Univ.

* Final gross prices may vary according to local VAT.

Get Access


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.