Abstract. Agents in a team must be in agreement. Once a disagreement occurs we should detect the disagreement and diagnose it. Unfortunately, current diagnosis techniques do not scale well with the number of agents, as they have high communication and computation complexity. We suggest three techniques to reduce the complexity. We examine these techniques in large-scale teams, in two domains, and show that combining the techniques provides a diagnosis method which is highly scalable in both communication and computation.
Meir Kalech, Gal A. Kaminka