A Probabilistic Framework for Cooperative Multi-Agent Distributed Interpretation and Optimization of Communication

Abstract Multiply sectioned Bayesian networks for single-agent systems are extended into a framework for cooperative multi-agent distributed interpretation systems. Each agent is represented as a Bayesian subnet. We show that the semantics of the joint probability distribution of such a system is well defined under reasonable conditions. Unlike in single-agent systems where evidence is entered one subnet at a time, multiple agents may acquire evidence asynchronously in parallel. New communication operations are thus proposed to maintain global consistency. It may not be practical to maintain such consistency constantly due to the inter-agent “distance”. We show that, if the new operations are followed, between two successive communications, answers to queries from an agent are consistent with all local evidence and are consistent with all global evidence gathered up to the last communication. During a communication operation, each agent is not available to process evidence for a period of time (called off-line time). Two criteria for the minimization of the off-line time, which may commonly be used, are considered. We derive, under each criterion, the optimal schedules when the communication is initiated from an arbitrarily selected agent.

[1]  Yang Xiang,et al.  Multiply sectioned Bayesian networks for neuromuscular diagnosis , 1993, Artif. Intell. Medicine.

[2]  William A. Shay Understanding data communications and networks , 1994 .

[3]  Victor R. Lesser,et al.  Distributed Interpretation: A Model and Experiment , 1980, IEEE Transactions on Computers.

[4]  Alan H. Bond,et al.  Distributed Artificial Intelligence , 1988 .

[5]  Carl Hewitt,et al.  Offices are open systems , 1986, TOIS.

[6]  Richard E. Neapolitan,et al.  Probabilistic reasoning in expert systems - theory and algorithms , 2012 .

[7]  Judea Pearl,et al.  Fusion, Propagation, and Structuring in Belief Networks , 1986, Artif. Intell..

[8]  A. H. Bond,et al.  An Analysis of Problems and Research in DAI , 1988 .

[9]  David Poole,et al.  MULTIPLY SECTIONED BAYESIAN NETWORKS AND JUNCTION FORESTS FOR LARGE KNOWLEDGE‐BASED SYSTEMS , 1993, Comput. Intell..

[10]  Victor R. Lesser,et al.  The Hearsay-II Speech-Understanding System: Integrating Knowledge to Resolve Uncertainty , 1980, CSUR.

[11]  Randall Davis,et al.  Negotiation as a Metaphor for Distributed Problem Solving , 1988, Artif. Intell..

[12]  David J. Spiegelhalter,et al.  Local computations with probabilities on graphical structures and their application to expert systems , 1990 .

[13]  Kristian G. Olesen,et al.  An algebra of bayesian belief universes for knowledge-based systems , 1990, Networks.

[14]  Alan H. Bond,et al.  Readings in Distributed Artificial Intelligence , 1988 .

[15]  Judea Pearl,et al.  Probabilistic reasoning in intelligent systems - networks of plausible inference , 1991, Morgan Kaufmann series in representation and reasoning.

[16]  Abraham Silberschatz,et al.  Operating System Concepts , 1983 .

[17]  A. Dawid,et al.  Hyper Markov Laws in the Statistical Analysis of Decomposable Graphical Models , 1993 .

[18]  Steffen L. Lauritzen,et al.  Bayesian updating in causal probabilistic networks by local computations , 1990 .