Verification of resource requirements of distributed reasoning agents

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

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