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.
Presentation Conference Type | Conference Paper (unpublished) |
---|---|
Conference Name | Sixth Workshop on Quantitative Aspects of Programming Languages (QAPL 2008) |
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 |
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