Modeling and Verification of Distributed Autonomous Agents Using Logic Programming


L. Robert Pokorny, C. R. Ramakrishnan

Declarative Agent Languages and Technologies {II}, pages 313-319
Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence) 3476, June 2006
Springer
João Alexandre Leite, Andrea Omicini, Paolo Torroni, Pınar Yolum (eds.)
2nd International Workshop (DALT 2004), New York City, NY, USA, 19 July 2004. Revised Selected Papers

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.

 @incollection{pokornyRamakrishnan-daltII,
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

Tags:

Publication

— authors

L. Robert Pokorny, C. R. Ramakrishnan

— editors

João Alexandre Leite, Andrea Omicini, Paolo Torroni, Pınar Yolum

— status

published

— sort

paper in proceedings

Venue

— volume

Declarative Agent Languages and Technologies {II}

— series

Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence

— volume

3476

— pages

313-319

— publication date

June 2006

URLs

original page  |  original PDF

Identifiers

— DOI

10.1007/11493402_9

— print ISBN

978-3-540-26172-8

— ISBN–10

3-540-26172-9

BibTeX

— BibTeX ID
pokornyRamakrishnan-daltII
— BibTeX category
incollection

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