Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Verifying time, memory and communication bounds in systems of reasoning agents
 

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.

  

Source: Alechina, Natasha - School of Computer Science, University of Nottingham

 

Collections: Computer Technologies and Information Sciences