Cover Image
QR Code

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

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 frame...

Full description

Published in:Synthese Vol. 169; no. 2; pp. 385 - 404
Main Authors: Alechina, Natasha, Logan, Brian, Nguyen, Hoang Nga, Rakib, Abdur
Format: Article
Published: Springer Nature Jul2009
Subjects:
Problem solving research
Agent (Philosophy)
Reason
Axioms
Confirmation (Logic)
Online Access:View this record in EBSCOhost