L. Robert Pokorny, C. R. Ramakrishnan

Systems of autonomous agents providing automated services over the Web are fast becoming a reality. Often these agent systems are constructed using procedural architectures that provide a framework for connecting agent components that perform speci.c tasks. The agent designer codes the tasks necessary to perform a service and uses the framework to connect the tasks into an integrated agent structure. This bottom up approach does not provide an easy mechanism for con.rming global properties of constructed agent systems. In this paper we propose a declarative methodology based on logic programming for modeling such procedurally constructed agents and specifying their global properties as temporal logic formulas. This methodology allows us to bring to bear a body of work for using logic programming based model checking to verify certain global properties of procedurally constructed Multi-Agent Systems.

Lecture Notes in Computer Science 3476, pages 313-319, June 2006.
João Alexandre Leite, Andrea Omicini, Paolo Torroni, Pınar Yolum (eds.), Springer
2nd International Workshop (DALT 2004), New York City, NY, USA, 19 July 2004. Revised Selected Papers
Author = {Pokorny, L. Robert and Ramakrishnan, C. R.},
Booktitle = {Declarative Agent Languages and Technologies {II}},
Doi = {10.1007/11493402_9},
Editor = {Leite, Jo{\~a}o Alexandre and Omicini, Andrea and Torroni, Paolo and Yolum, P{\i}nar},
Isbn = {978-3-540-26172-8},
Isbn-10 = {3-540-26172-9},
Month = jun,
Note = {2nd International Workshop (DALT 2004), New York City, NY, USA, 19~} # jul # {~2004. Revised Selected Papers},
Pages = {313--319},
Publisher = {Springer},
Series = {LNAI},
Title = {Modeling and Verification of Distributed Autonomous Agents Using Logic Programming},
Url = {http://www.springerlink.com/content/h0lphw2fvm3bwrea/},
Volume = 3476,
Year = 2006}


Publication Data

2011 © aliCE Research Group @ DEIS, Alma Mater Studiorum-Università di Bologna