As part of the goal of developing a genuinely open multiagent system, many efforts are devoted to the definition of a standard Agent Communication Language (ACL). The aim of this paper is to propose a logical framework for the definition of ACL semantics based upon the concept of (social) commitment. Our framework relies on the assumption that agent communication should be analyzed in terms of communicative acts, by means of which agents create and manipulate commitments, provided certain contextual conditions hold. We propose formal definitions of such actions in the context of a temporal logic that extends CTL * with past-directed temporal operators. In the system we propose, called CTL ± , time is assumed to be discrete, with no start or end point, and branching in the future. CTL ± is then extended to represent actions and commitments; in particular, we formally define the conditions under which a commitment is fulfilled or violated. Finally, we show how our logic of commitment can be used to define the semantics of an ACL.
Verdicchio and Colombetti REF use a variant of CTL with pasttime operators to provide axioms defining the lifecycle of commitments in terms of primitives representing the existence, the fulfilment, and the violation of a commitment in a state.
A logical model of social commitment for agent communication
AAMAS '03
Computer Science