Programming with Commitments and Goals in JaCaMo+

This paper discusses how agents can be endowed with social capabilities in JaCaMo+, an extension of JaCaMo, in which Jason agents can reason on social relationships represented as commitments. The logic of the interactions is captured by special CArtAgO artifacts which reify commitments and commitment-based protocols as resources that agents can use, observe, and manipulate. The paper also shows how JaCaMo+ agents can be easily programmed by exploiting the relation between goals and commitments.