Cooperation Under Uncertainty in Distributed Expert Systems

Abstract Just as cooperation between human experts is important when solving complex problems, so too is cooperation between computerized expert systems in a distributed expert system. Four kinds of cooperation are classified in this paper according to their inter-dependence relationships which are horizontal cooperation, tree cooperation, recursive cooperation, and hybrid cooperation. If individual expert systems in a distributed expert system use different inexact reasoning models, it will be necessary to transform the uncertainties of propositions from one model to another when the expert systems cooperate. The algebraic structures of inexact reasoning models are recognized to be semi groups with unit elements, and homomorphic transformations of the uncertainties of propositions among different inexact reasoning models are realized. The synthesis of solutions with uncertainties is a key problem for cooperation among expert systems in a distributed expert system. A scheme is presented in this paper to synthesize these different solutions, where the final decision is based on the mean values and the uniformity of the uncertainty values. Cooperation under uncertainty in distributed expert systems is necessary in order to solve the real problems because uncertainty exists everywhere in the real world. This paper has solved the part of this problem dealing with heterogeneous transformation and synthesis of uncertainties.

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

[2]  Jeffrey S. Rosenschein,et al.  Negotiation and Conflict Resolution in Non-Cooperative Domains , 1990, AAAI.

[3]  Daniel D. Corkill,et al.  THE DISTRIBUTED VEHICLE MONITORING TESTBED , 1983 .

[4]  Ramesh C. Jain,et al.  Uncertainty Management in a Distributed Knowledge Based System , 1985, IJCAI.

[5]  Reid G. Smith,et al.  The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver , 1980, IEEE Transactions on Computers.

[6]  William James Van Melle,et al.  A domain-independent system that aids in constructing knowledge-based consultation programs , 1980 .

[7]  Edmund H. Durfee,et al.  Trends in Cooperative Distributed Problem Solving , 1989, IEEE Trans. Knowl. Data Eng..

[8]  Randall Davis,et al.  Frameworks for Cooperation in Distributed Problem Solving , 1988, IEEE Transactions on Systems, Man, and Cybernetics.

[9]  Randall Steeb,et al.  Strategies of Cooperation in Distributed Problem Solving , 1983, IJCAI.

[10]  Chengqi Zhang,et al.  HECODES: A Framework for Heterogeneous Cooperative Distributed Expert Systems , 1991, Data Knowl. Eng..

[11]  RICHARD 0. DUDA,et al.  Subjective bayesian methods for rule-based inference systems , 1899, AFIPS '76.

[12]  Henri Prade,et al.  A Computational Approach to Approximate and Plausible Reasoning with Applications to Expert Systems , 1985, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[13]  Les Gasser,et al.  An Organizational Approach to Adaptive Production Systems , 1990, AAAI.

[14]  Terence R. Thompson Parallel Formulation of Evidential-Reasoning Theories , 1985, IJCAI.

[15]  Victor R. Lesser,et al.  Functionally Accurate, Cooperative Distributed Systems , 1988, IEEE Transactions on Systems, Man, and Cybernetics.

[16]  Daniel D. Corkill,et al.  A framework for organizational self-design in distributed problem solving networks , 1983 .

[17]  Edward H. Shortliffe,et al.  A model of inexact reasoning in medicine , 1990 .

[18]  Jeffrey S. Rosenschein,et al.  Incomplete Information and Deception in Multi-Agent Negotiation , 1991, IJCAI.