Modeling and regulating interactions among agents is a critical step in the development of Multiagent Systems (MASs). Some recent works assume a normative view, and suggest to model interaction protocols in terms of obligations. In this paper we propose to model interaction protocols in terms of goals and commitments, and show how such a formalization promotes a deliberative process inside the agents. In particular, we take a software engineering perspective, and balance the use of commitments against obligations inside interaction protocols. The proposal is implemented via JaCaMo+, an extension to JaCaMo, in which Jason agents can interact while preserving their deliberative capabilities by exploiting commitment-based protocols, reified by special CArtAgO artifacts. The paper shows how practical rules relating goals and commitments can be almost directly encoded as Jason plans to be used as building blocks in agent programming.

Leveraging commitments and goals in agent interaction

BALDONI, Matteo;BAROGLIO, Cristina;CAPUZZIMATI, FEDERICO;MICALIZIO, ROBERTO
2015

Abstract

Modeling and regulating interactions among agents is a critical step in the development of Multiagent Systems (MASs). Some recent works assume a normative view, and suggest to model interaction protocols in terms of obligations. In this paper we propose to model interaction protocols in terms of goals and commitments, and show how such a formalization promotes a deliberative process inside the agents. In particular, we take a software engineering perspective, and balance the use of commitments against obligations inside interaction protocols. The proposal is implemented via JaCaMo+, an extension to JaCaMo, in which Jason agents can interact while preserving their deliberative capabilities by exploiting commitment-based protocols, reified by special CArtAgO artifacts. The paper shows how practical rules relating goals and commitments can be almost directly encoded as Jason plans to be used as building blocks in agent programming.
XXX Italian Conference on Computational Logic, CILC 2015
Genova, Italy
July 1-3, 2015
Proc. of XXX Italian Conference on Computational Logic, CILC 2015
CEUR-WS.org
1459
85
100
http://ceur-ws.org/Vol-1459
http://ceur-ws.org/Vol-1459/paper17.pdf
Social Computing, Agent Programming, Commitments and Goals, Agents & Artifacts, JaCaMo
Baldoni, Matteo; Baroglio, Cristina; Capuzzimati, Federico; Micalizio, Roberto
File in questo prodotto:
File Dimensione Formato  
2015_CILC-EDITORIALE_4aperto.pdf

Accesso aperto

Tipo di file: PDF EDITORIALE
Dimensione 475.22 kB
Formato Adobe PDF
475.22 kB Adobe PDF Visualizza/Apri

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