A Logical Model for Agent Communication Languages

AbstractThe current ACL proposals show some shortcomings with respect to the definition of their semantics. Our paper aims at tackling those issues by defining an ACL semantics as a specification of the analytical effects of agent communicative acts. We analyze agent communication in terms of concepts taken from Speech Act Theory, as several researchers have already done, but move away from the mainstream view of artificial agent research, as we define communicative acts in terms of changes at the level of social relationship between agents. We take commitment to be a primitive concept underlying the social dimension of multiagent systems, and define a basic artificial institution whose aim is to provide agents with the means to affect the commitment network that binds them to each other