A Dynamic System for Distributed Reasoning

Architectures for Intelligent Theory-Based Agents

Volume

Papers from the 2008 AAAI Spring Symposium

Contents

This paper proposes a multi-agent, multithreaded architecture for a distributed inference system for a dynamic group of agents. The system can opportunistically make use of new agents that join the group, whilst a proof is in progress. It can also recover if an agent leaves. Final proofs only make use of the knowledge bases of agents that are in the group when the inference is concluded, and are sound with respect to their combined knowledge. The group can be simultaneously engaged in multiple independent proofs.