This work presents a commitment-based agent typing system. Type checking is done dynamically when an agent enacts a commitment-based protocol role: verification checks if the agent meets the requirements displayed by the role it means to enact. An example implementation in the 2COMM4JADE framework is provided. 2COMM4JADE is based on the Agent & Artifact meta-model and exploits JADE and CArtAgO, by using CArtAgO artifacts in order to reify commitment protocols.

Type checking for protocol role enactments via commitments

Baldoni, Matteo;Baroglio, Cristina;Capuzzimati, Federico;Micalizio, Roberto
2018

Abstract

This work presents a commitment-based agent typing system. Type checking is done dynamically when an agent enacts a commitment-based protocol role: verification checks if the agent meets the requirements displayed by the role it means to enact. An example implementation in the 2COMM4JADE framework is provided. 2COMM4JADE is based on the Agent & Artifact meta-model and exploits JADE and CArtAgO, by using CArtAgO artifacts in order to reify commitment protocols.
AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS
32
3
349
386
http://www.kluweronline.com/issn/1387-2532
Agent typing; Commitment-based interaction protocols; Commitments; Social relationships; Static and dynamic type checking; Artificial Intelligence
Baldoni, Matteo*; Baroglio, Cristina; Capuzzimati, Federico; Micalizio, Roberto
File in questo prodotto:
File Dimensione Formato  
2018_JAAMAS.pdf

accesso aperto

Descrizione: Articolo principale
Tipo di file: POSTPRINT (VERSIONE FINALE DELL’AUTORE)
Dimensione 428.62 kB
Formato Adobe PDF
428.62 kB Adobe PDF Visualizza/Apri
Baldoni1.pdf

non disponibili

Tipo di file: PDF EDITORIALE
Dimensione 1.22 MB
Formato Adobe PDF
1.22 MB 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/1670724
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 16
  • ???jsp.display-item.citation.isi??? 9
social impact