A Dynamic System for Distributed Reasoning

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


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.