Ever since the seminal work of Searle, two components of interaction protocols have been identified: constitutive rules, defining the meaning of actions and regulative rules, defining the flow of execution, i.e. the behavior the agent should show. The two parts together define the meaning of the interaction. Commitment-based protocols, however, usually do not account for the latter and, when they do it, they do not adopt a decoupled representation of the two parts. A clear distinction in the two representations would, however, bring many advantages, mainly residing in a greater openess of multiagent systems, an easier re-use of protocols and of action definitions, and a finer specification of protocol properties. In this work we introduce the notion of behavior-oriented commitment-based protocols, which account both for the constitutive and the regulative specifications and that explicitly foresee a representation of the latter based on constraints among commitments. A language, named 2CL, for writing regulative specifications is also given.

Behavior-oriented Commitment-based Protocols

BALDONI, Matteo;BAROGLIO, Cristina;MARENGO, ELISA
2010

Abstract

Ever since the seminal work of Searle, two components of interaction protocols have been identified: constitutive rules, defining the meaning of actions and regulative rules, defining the flow of execution, i.e. the behavior the agent should show. The two parts together define the meaning of the interaction. Commitment-based protocols, however, usually do not account for the latter and, when they do it, they do not adopt a decoupled representation of the two parts. A clear distinction in the two representations would, however, bring many advantages, mainly residing in a greater openess of multiagent systems, an easier re-use of protocols and of action definitions, and a finer specification of protocol properties. In this work we introduce the notion of behavior-oriented commitment-based protocols, which account both for the constitutive and the regulative specifications and that explicitly foresee a representation of the latter based on constraints among commitments. A language, named 2CL, for writing regulative specifications is also given.
19th European Conference on Artificial Intelligence, ECAI 2010
Lisbon, Portugal
August, 2010
Frontiers in Artificial Intelligence and Applications, ECAI 2010 - 19th European Conference on Artificial Intelligence
IOS Press
215
137
142
9781607506058
http://www.booksonline.iospress.nl/Content/View.aspx?piid=17729
Commitment-based protocols; LTL; constraints among commitments; constitutive and regulative specification
M. Baldoni; C. Baroglio; E. Marengo
File in questo prodotto:
File Dimensione Formato  
FAIA215-0137.pdf

Accesso riservato

Tipo di file: POSTPRINT (VERSIONE FINALE DELL’AUTORE)
Dimensione 245.37 kB
Formato Adobe PDF
245.37 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/2318/78082
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 44
  • ???jsp.display-item.citation.isi??? 26
social impact