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. We assume 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.

(2004). A logical model of social commitment for agent communication . Retrieved from http://hdl.handle.net/10446/186143

A logical model of social commitment for agent communication

Verdicchio, M.;
2004-01-01

Abstract

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. We assume 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.
2004
Verdicchio, Mario; Colombetti, M.
File allegato/i alla scheda:
File Dimensione del file Formato  
A Logical Model 2003.pdf

Solo gestori di archivio

Versione: postprint - versione referata/accettata senza referaggio
Licenza: Licenza default Aisberg
Dimensione del file 300.19 kB
Formato Adobe PDF
300.19 kB Adobe PDF   Visualizza/Apri
Pubblicazioni consigliate

Aisberg ©2008 Servizi bibliotecari, Università degli studi di Bergamo | Terms of use/Condizioni di utilizzo

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10446/186143
Citazioni
  • Scopus 13
  • ???jsp.display-item.citation.isi??? 0
social impact