Verifying agent conformance with protocols specified in a temporal action logic

Laura Giordano, Alberto Martelli

Risultato della ricerca: Capitolo in libro/report/atti di convegnoContributo a conferenzapeer review

Abstract

The paper addresses the problem of agents compatibility and their conformance to protocols. We assume that the specification of protocols is given in an action theory by means of temporal constraints and, in particular, communicative actions are defined in terms of their effects and preconditions on the social state of the protocol. We show that the problem of verifying the conformance of an agent with a protocol can be solved by making use of an automata based approach, and that the conformance of a set of agents with a protocol guarantees that their interaction cannot produce deadlock situations and it only gives rise to runs of the protocol.

Lingua originaleInglese
Titolo della pubblicazione ospiteAI IA 2007
Sottotitolo della pubblicazione ospiteArtificial Intelligence and Human-Oriented Computing - 10th Congress of the Italian Association for Artificial Intelligence, Proceedings
EditoreSpringer Verlag
Pagine145-156
Numero di pagine12
ISBN (stampa)9783540747819
DOI
Stato di pubblicazionePubblicato - 2007
Evento10th Congress of the Italian Association for Artificial Intelligence, AI IA 2007 - Rome, Italy
Durata: 10 set 200713 set 2007

Serie di pubblicazioni

NomeLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4733 LNAI
ISSN (stampa)0302-9743
ISSN (elettronico)1611-3349

???event.eventtypes.event.conference???

???event.eventtypes.event.conference???10th Congress of the Italian Association for Artificial Intelligence, AI IA 2007
Paese/TerritorioItaly
CittàRome
Periodo10/09/0713/09/07

Fingerprint

Entra nei temi di ricerca di 'Verifying agent conformance with protocols specified in a temporal action logic'. Insieme formano una fingerprint unica.

Cita questo