Formalizing Commitments Using Action Languages
Tran Cao Son, Enrico Pontelli and Chiaki Sakama
Proceedings of the 9th International Workshop on Declarative Agent Languages and Technologies (DALT 2011), Taipei, Taiwan, May 2011.
This paper investigates the use of high-level action languages for representing and reasoning
about commitments in multi-agent domains.
We introduce the language Lmt, an extension of the language 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 Lmt can handle both simple commitment
actions as well as complex commitment protocols.
Furthermore, the semantics of Lmt 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.
Full Paper (PDF 386K)