In open multi-agent systems (MASs) we cannot assume agents to be developed in a centralized fashion. Recent proposals of commitment-based communication frameworks aim at increasing such openness. Interaction with agents whose behavior does not follow a universal standard raises the need for some means of protection for each agent. In this work we propose an automata-based monitoring module that continuously supports an agent during its life in a MAS. Such module includes a Word Composer that observes exchanged messages and keeps track of significant past interactions to express an agent's input in the form of time-stamped words, and a Word Analyzer that processes such words and matches them against some properties expressed in linear temporal logic which are supposed to hold throughout the interactions.

An automata-based monitoring technique for commitment-based multi-agent systems

SPOLETINI, PAOLA;
2009

Abstract

In open multi-agent systems (MASs) we cannot assume agents to be developed in a centralized fashion. Recent proposals of commitment-based communication frameworks aim at increasing such openness. Interaction with agents whose behavior does not follow a universal standard raises the need for some means of protection for each agent. In this work we propose an automata-based monitoring module that continuously supports an agent during its life in a MAS. Such module includes a Word Composer that observes exchanged messages and keeps track of significant past interactions to express an agent's input in the form of time-stamped words, and a Word Analyzer that processes such words and matches them against some properties expressed in linear temporal logic which are supposed to hold throughout the interactions.
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/11383/18695
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 7
  • ???jsp.display-item.citation.isi??? ND
social impact