When people hear two actors reciting a conversation in a poem, they become attuned to the kinds of sounds that they are producing, which may not be apparent in the printed text of the poem. This result depends on certain habitual patterns of how people read or how things should be read in a performance. Performative patterns suggest certain kinds of rhythmic possibilities, time, timbre and intonation, which are not written on the page. Although their scope is quite different we claim that agents' conversations are subject to similar principles. In the same way agents' conversations are not completely specified by the logical description of the involved performatives and rules governing speech act interaction are needed to guarantee a reproducible and thus verifiable behaviour. In this paper we present a set of performative patterns for ACLs which specify how performatives should be executed in a concurrent and reactive way with respect to a given logical semantics. We provide a classification of the KQML and FIPA performatives in these patterns and we show how several properties of Multi-Agent Systems can be inferred and verified if an ACL adopt this approach.

Performative Patterns for Designing Verifiable ACLs

DRAGONI, NICOLA;GASPARI, MAURO
2006

Abstract

When people hear two actors reciting a conversation in a poem, they become attuned to the kinds of sounds that they are producing, which may not be apparent in the printed text of the poem. This result depends on certain habitual patterns of how people read or how things should be read in a performance. Performative patterns suggest certain kinds of rhythmic possibilities, time, timbre and intonation, which are not written on the page. Although their scope is quite different we claim that agents' conversations are subject to similar principles. In the same way agents' conversations are not completely specified by the logical description of the involved performatives and rules governing speech act interaction are needed to guarantee a reproducible and thus verifiable behaviour. In this paper we present a set of performative patterns for ACLs which specify how performatives should be executed in a concurrent and reactive way with respect to a given logical semantics. We provide a classification of the KQML and FIPA performatives in these patterns and we show how several properties of Multi-Agent Systems can be inferred and verified if an ACL adopt this approach.
Lecture Notes in Artificial Intelligence, Cooperative Information Agents X
375
387
N. Dragoni; M. Gaspari
File in questo prodotto:
Eventuali allegati, non sono esposti

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/11585/28263
 Attenzione

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

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