Commitment-based interaction protocols are a flexible way of representing the interaction of a set of agents, that is well-known and widely accepted by the research community. Normally these protocols consist of sets of actions with a shared meaning. From the point of view of an agent, however, the meaning of an action is completed by the context in which it is used: the context shapes the behavior of the agent in that the agent decides which actions to take depending on it. Indeed, since the seminal work of Searle (supported by other authors), two components of interaction protocols have been identified, constitutive rules and regulative rules, which altogether define the meaning of the interaction. Commitment-based protocols usually do not account for the latter. In this work we introduce a representation that explicitly includes regulative rules as constraints on commitments and, in the light of the work by Singh and Chopra [36], report the first steps in the analysis of the advantages brought by such introduction.

Commitment-based Protocols with Behavioral Rules and Correctness Properties of MAS

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

Abstract

Commitment-based interaction protocols are a flexible way of representing the interaction of a set of agents, that is well-known and widely accepted by the research community. Normally these protocols consist of sets of actions with a shared meaning. From the point of view of an agent, however, the meaning of an action is completed by the context in which it is used: the context shapes the behavior of the agent in that the agent decides which actions to take depending on it. Indeed, since the seminal work of Searle (supported by other authors), two components of interaction protocols have been identified, constitutive rules and regulative rules, which altogether define the meaning of the interaction. Commitment-based protocols usually do not account for the latter. In this work we introduce a representation that explicitly includes regulative rules as constraints on commitments and, in the light of the work by Singh and Chopra [36], report the first steps in the analysis of the advantages brought by such introduction.
8th International Workshop on Declarative Agent Languages and Technologies, DALT 2010, held in conjuction with AAMAS 2010
Toronto, Canada
May, 2010
Proc. of 8th International Workshop on Declarative Agent Languages and Technologies, DALT 2010
Springer
6619
60
77
9783642207143
http://goanna.cs.rmit.edu.au/~ssardina/DALT2010/
http://www.di.unito.it/~argo/papers/2010_BBM_DALT.pdf
http://www.springer.com/computer/ai/book/978-3-642-20714-3
Commitment-based protocols; LTL; constraints among commitments; constitutive and regulative specification; interoperability; conformance; refinement and generalization of protocols
M. BALDONI; C. BAROGLIO; E. MARENGO
File in questo prodotto:
Non ci sono file associati a questo prodotto.

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/70733
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 7
  • ???jsp.display-item.citation.isi??? 2
social impact