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...
| Publicado en: | Synthese Vol. 169; no. 2; pp. 385 - 404 |
|---|---|
| Autores principales: | , , , |
| Formato: | Artículo |
| Publicado: |
Springer Nature
Jul2009
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |