An Experiment in Formalizing Commitments Using Action Languages
Tran Cao Son, Enrico Pontelli, Chiaki Sakama · National Conference on Artificial Intelligence · 2011
This paper investigates the use of high-level action languages for representing and reasoning about commitments in multiagent domains. The paper introduces the language L mt with features motivated by the problem of representing commitments; in particular, it shows how L mt can handle both simple commitment actions and complex commitment protocols. The semantics of L mt provides a uniform solution to different problems in reasoning about commitments, e.g., 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. The Language L mt Action languages provide a viable alternative for the description of agents and their capabilities, and to address various forms of reasoning about actions and change. The paper introduces the language L mt with features motivated by the problem of representing commitments; in particular, it shows how L mt can handle both simple commitment actions and complex commitment protocols.