Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge

AgentSpeak is a reactive planning language for programming autonomous agents. It has recently been shown that model checking techniques can be applied to the verification of AgentSpeak systems, through a translation to Promela, the model specification language for the SPIN LTL model-checking system. In this paper, we introduce an alternative verification approach for AgentSpeak, by translating AgentSpeak to Java and then applying JPF2, a general purpose Java model checker. The primary advantage of this approach is that Java is the language of choice for most agent implementations, and the approach is thus much closer to the current practice of agent development than the Promela-based approach. Also, models of AgentSpeak agents represented in Java are both clearer and more natural than those given in Promela. We examine both alternatives by means of a practical application, provide a qualitative comparison between them, and identify some key issues for future research.

Programming Multi-agent Systems, Lecture Notes in Computer Science 3067, pp. 72-89,  2004.
Mehdi M. Dastani, Jürgen Dix, Amal El Fallah-Seghrouchni (a cura di), Springer.
1st International Workshop (PROMAS 2003), Melbourne, Australia, 15 July 2003. Selected Revised and Invited Papers

@incollection{bordini-promas2003,
Author = {Bordini, Rafael H. and Fisher, Michael and Visser, Willem and Wooldridge, Michael J.},
Booktitle = {Programming Multi-agent Systems},
Doi = {10.1007/978-3-540-25936-7_4},
Editor = {Dastani, Mehdi M. and Dix, J{\"u}rgen and El Fallah-Seghrouchni, Amal},
Isbn = {978-3-540-22180-7},
Note = {1st International Workshop (PROMAS 2003), Melbourne, Australia, 15~} # jul # {~2003. Selected Revised and Invited Papers},
Pages = {72--89},
Publisher = {Springer},
Series = {LNCS},
Title = {Verifiable Multi-agent Programs},
Url = {http://www.springerlink.com/content/f4hx00p4lbxby2c3/},
Volume = 3067,
Year = 2004}
Tags:

Pubblicazione

— autori/autrici

Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge

— a cura di

Mehdi M. Dastani, Jürgen Dix, Amal El Fallah-Seghrouchni

— stato

pubblicato

— tipo

articolo in atti

Sede di pubblicazione

— volume

Programming Multi-agent Systems

— collana

Lecture Notes in Computer Science 3067

— data di pubblicazione

2004

— pagine

72-89

— collana

Lecture Notes in Computer Science 3067

— data di pubblicazione

2004

URL & ID

pagina originale
PDF originale

— DOI

10.1007/978-3-540-25936-7_4

— print ISBN

978-3-540-22180-7

BibTeX

— BibTeX ID
bordini-promas2003
— BibTeX category
incollection

Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY