Natasha Alechina
Verification of resource requirements of distributed reasoning agents
Alechina, Natasha; Logan, Brian; Nga, Nguyen Hoang; Rakib, Abdur
Authors
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 |
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 |
You might also like
Analysing the predictivity of features to characterise the search space
(2022)
Conference Proceeding
Memory-constrained context-aware reasoning
(2022)
Conference Proceeding
A probabilistic logic for resource-bounded multi-agent systems
(2019)
Presentation / Conference
Probabilistic resource-bounded alternating-time temporal logic
(2019)
Presentation / Conference