Natasha Alechina
Automated verification of resource requirements in multi-agent systems using abstraction
Alechina, Natasha; Logan, Brian; Nguyen, Hoang Nga; Rakib, Abdur
Authors
Contributors
Ron van der Meyden
Editor
Jan-Georg Smaus
Editor
Abstract
We describe a framework for the automated verification of multi-agent systems which do distributed problem solving, e.g. query answering. Each reasoner uses facts, messages and Horn clause rules to derive new information. We show how to verify correctness of distributed problem solving under resource constraints, such as the time required to answer queries and the number of messages exchanged by the agents. The framework allows the use of abstract specifications consisting of Linear Time Temporal Logic (LTL) formulas to specify some of the agents in the system. We illustrate the use of the framework on a simple example. © 2011 Springer-Verlag.
Presentation Conference Type | Conference Paper (published) |
---|---|
Publication Date | May 2, 2011 |
Deposit Date | Jun 16, 2017 |
Journal | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
Print ISSN | 0302-9743 |
Electronic ISSN | 1611-3349 |
Publisher | Springer Verlag |
Peer Reviewed | Peer Reviewed |
Volume | 6572 LNAI |
Pages | 69-84 |
DOI | https://doi.org/10.1007/978-3-642-20674-0_5 |
Keywords | rule-based distributed reasoning, model checking |
Public URL | https://uwe-repository.worktribe.com/output/965954 |
Publisher URL | http://dx.doi.org/10.1007/978-3-642-20674-0_5 |
Contract Date | Jun 16, 2017 |
You might also like
A logic for context-aware non-monotonic reasoning agents
(2014)
Presentation / Conference Contribution
Advancing underutilized crops knowledge using SWRL-enabled ontologies - A survey and early experiment
(2014)
Presentation / Conference Contribution
MyGeo-Explorer: A semantic search tool for querying geospatial information
(2015)
Journal Article
Modeling and verifying context-aware non-monotonic reasoning agents
(2015)
Presentation / Conference Contribution
A temporal description logic for resource-bounded rule-based context-aware agents
(2014)
Presentation / Conference Contribution
Downloadable Citations
About UWE Bristol Research Repository
Administrator e-mail: repository@uwe.ac.uk
This application uses the following open-source libraries:
SheetJS Community Edition
Apache License Version 2.0 (http://www.apache.org/licenses/)
PDF.js
Apache License Version 2.0 (http://www.apache.org/licenses/)
Font Awesome
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2024
Advanced Search