Towards a formal approach to overhearing: algorithms for conversation identification

Overhearing is gaining attention as a generic method for cooperative monitoring of distributed, open, multiagent systems. It involves monitoring the routine conversations of agents??who know they are being overheard??to assist the agents, assess their progress, or suggest advice. While there have been several investigations of applications and methods of overhearing, no formal model of overhearing exists. This paper takes steps towards such a model. It first formalizes a conversation system??the set of conversations in a multi-agent system. It then defines a key step in overhearing??conversation recognition?? identifying the conversations that took place within a system, given a set of overheard messages. We provide a skeleton algorithm for conversation recognition, and provide instantiations of it for settings involving no message loss, random message loss, and systematic message loss (such as always losing one side of the conversation). We analyze the complexity of these algorithms, and show that the systematic message loss algorithm, which is unique to overhearing, is significantly more efficient then the random loss algorithm (which is intractable).