Skip to main content

Research Repository

Advanced Search

Verification of resource requirements of distributed reasoning agents

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

Authors

Natasha Alechina

Brian Logan

Nguyen Hoang Nga

Profile Image

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



Contributors

Alessandro Aldini
Editor

Christel Baier
Editor

Abstract

We present a framework for verifying systems composed of heterogeneous reasoning agents, in which each agent may have differing knowledge and inferential capabilities, and where the resources each agent is prepared to commit to a goal (time, memory and communication bandwidth) are bounded. The framework allows us to investigate, for example, whether a goal can be achieved if a particular agent, perhaps possessing key information or inferential capabilities, is unable (or unwilling) to contribute more than a given portion of its available computational resources or bandwidth to the problem.

Citation

Alechina, N., Logan, B., Nga, N. H., & Rakib, A. (2008, March). Verification of resource requirements of distributed reasoning agents. Paper presented at Sixth Workshop on Quantitative Aspects of Programming Languages (QAPL 2008), Budapest, Hungary

Presentation Conference Type Conference Paper (unpublished)
Conference Name Sixth Workshop on Quantitative Aspects of Programming Languages (QAPL 2008)
Conference Location Budapest, Hungary
Start Date Mar 29, 2008
End Date Mar 30, 2008
Acceptance Date Jan 31, 2008
Publication Date Mar 29, 2008
Deposit Date Jun 16, 2017
Publicly Available Date Mar 28, 2024
Peer Reviewed Peer Reviewed
Keywords formalisms, logics, resource bounds, model checking
Public URL https://uwe-repository.worktribe.com/output/1014142
Additional Information Title of Conference or Conference Proceedings : Sixth Workshop on Quantitative Aspects of Programming Languages