Jiefei Ma, Krysia Broda, Alessandra Russo, Keith Clark
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.
Subjects: 2. Architectures; 7.1 Multi-Agent Systems
Submitted: Jan 22, 2008