| | |
Summary: Verifying time, memory and communication bounds in
systems of reasoning agents
Natasha Alechina Brian Logan Nguyen Hoang Nga Abdur Rakib
School of Computer Science
University of Nottingham
Nottingham NG8 1BB, UK
{nza,bsl,hnn,rza}@cs.nott.ac.uk
ABSTRACT
We present a framework for verifying systems composed of het-
erogeneous reasoning agents, in which each agent may have differ-
ing knowledge and inferential capabilities, and where the resources
each agent is prepared to commit to a goal (time, memory and com-
munication bandwidth) are bounded. The framework allows us to
investigate, for example, whether a goal can be achieved if a par-
ticular agent, perhaps possessing key information or inferential ca-
pabilities, is unable (or unwilling) to contribute more than a given
portion of its available computational resources or bandwidth to the
problem. We present a novel temporal epistemic logic, BMCL,
which allows us to describe a set of reasoning agents with bounds
on time, memory and the number of messages they can exchange.
|
