מאיר קלך

Agents in a team must be in agreement. Unfortunately, they may come to disagree due to sensing uncertainty, communication failures, etc. 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 this complexity: (i) reducing the amount of diagnostic reasoning by sending targeted queries; (ii) using lightweight behavior recognition to recognize which beliefs of the agents might be in conflict; and (iii) grouping the agents according to their role and behavior and then diagnosing the groups based on representative agents. We examine these techniques in large-scale teams, in two domains, and show that combining the techniques produces a diagnosis process which is highly scalable in both communication and computation..