In this paper we investigate multiagent systems whose agent inter- action is based on social commitments that evolve over time, in presence of (possibly incomplete) data. In particular, we are inter- ested in modeling and verifying how data maintained by the agents impact on the dynamics of such systems, and on the evolution of their commitments. This requires to lift the commitment-related conditions studied in the literature, which are typically based on propositional logics, to a first-order setting. To this purpose, we propose a rich framework for modeling data-aware commitment-based multiagent systems. In this framework, we study verification of rich temporal properties, establishing its decidability under the condition of “state-boundedness”, i.e., data items come from an infinite domain but, at every time point, each agent can store only a bounded number of them.

Verification of data-aware commitment-based multiagent system / Marco, Montali; Diego, Calvanese; DE GIACOMO, Giuseppe. - STAMPA. - (2014), pp. 157-164. (Intervento presentato al convegno International conference on Autonomous Agents and Multi-Agent Systems, AAMAS 2014 tenutosi a Paris, France nel May 5-9, 2014).

Verification of data-aware commitment-based multiagent system

DE GIACOMO, Giuseppe
2014

Abstract

In this paper we investigate multiagent systems whose agent inter- action is based on social commitments that evolve over time, in presence of (possibly incomplete) data. In particular, we are inter- ested in modeling and verifying how data maintained by the agents impact on the dynamics of such systems, and on the evolution of their commitments. This requires to lift the commitment-related conditions studied in the literature, which are typically based on propositional logics, to a first-order setting. To this purpose, we propose a rich framework for modeling data-aware commitment-based multiagent systems. In this framework, we study verification of rich temporal properties, establishing its decidability under the condition of “state-boundedness”, i.e., data items come from an infinite domain but, at every time point, each agent can store only a bounded number of them.
2014
International conference on Autonomous Agents and Multi-Agent Systems, AAMAS 2014
Artificial Intelligence; Commitments Management; Model Checking; Logics of Programs
04 Pubblicazione in atti di convegno::04b Atto di convegno in volume
Verification of data-aware commitment-based multiagent system / Marco, Montali; Diego, Calvanese; DE GIACOMO, Giuseppe. - STAMPA. - (2014), pp. 157-164. (Intervento presentato al convegno International conference on Autonomous Agents and Multi-Agent Systems, AAMAS 2014 tenutosi a Paris, France nel May 5-9, 2014).
File allegati a 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: https://hdl.handle.net/11573/778323
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 41
  • ???jsp.display-item.citation.isi??? 21
social impact