Fornara, Nicoletta Colombetti, Marco 2004 In this paper we propose an operational method for the definition of the semantics of Agent Communication Languages based on the notion of social commitment. Our proposal is suitable for open interaction frameworks where agents, designed by independent constructors, dynamically enter and leave different interaction systems. In this type of environments it is crucial to define a standard and commonly accepted semantics for the exchanged messages. We give an operational specification of commitment and introduce temporal propositions for the representation of the contents of commitments within an object-oriented paradigm. Then we use operations on commitments to define the meaning of a set of communicative acts that is complete with respect to Searle’s taxonomy of illocutionary acts, and give an example of the use of communicative acts in an interaction protocol. application/pdf https://n2t.net/ark:/12658/srd1318290 https://susi.usi.ch/global/documents/318290 https://susi.usi.ch/documents/318290/files/fornara_AAI_2004.pdf eng info:eu-repo/semantics/altIdentifier/doi/10.1080/08839510490509054 info:eu-repo/semantics/altIdentifier/ark/12658/srd1318290 info:eu-repo/semantics/openAccess License undefined Applied artificial intelligence. - Taylor & Francis Ltd. - 2004, vol. 18, no. 9, p. 10 info:eu-repo/classification/udc/65 A commitment-based approach to agent communication http://purl.org/coar/resource_type/c_6501