Skip to main content

Research Repository

Advanced Search

Automated verification of resource requirements in multi-agent systems using abstraction

Alechina, Natasha; Logan, Brian; Nguyen, Hoang Nga; Rakib, Abdur

Authors

Natasha Alechina

Brian Logan

Hoang Nga Nguyen

Profile Image

Rakib Abdur Rakib.Abdur@uwe.ac.uk
Senior Lecturer in Mobile Security



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.

Citation

Alechina, N., Logan, B., Nguyen, H. N., & Rakib, A. (2011). Automated verification of resource requirements in multi-agent systems using abstraction. Lecture Notes in Artificial Intelligence, 6572 LNAI, 69-84. https://doi.org/10.1007/978-3-642-20674-0_5

Journal Article Type Conference Paper
Publication Date May 2, 2011
Deposit Date Jun 16, 2017
Publicly Available Date Mar 29, 2024
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