A Class of Isomorphic Transformations for Integrating EMYCIN-Style and PROSPECTOR-Style Systems into a Rule-Based Multi-Agent System

  • Xudong Luo
  • Chengqi Zhang
  • Ho-fung Leung
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1733)


The motivation for investigating the transformation between the EMYCIN model and the PROSPECTOR model lies in a realistic con- sideration. In the past, expert systems exploited mainly the EMYCIN model and the PROSPECTOR model to deal with uncertainties. In other words, a lot of stand-alone expert systems which use these two models are available. If there are reasonable transformations of uncertainties between the EMYCIN model and the PROSPECTOR model, we can use the Internet to couple them together so that the integrated systems are able to exchange and share helpful information with each other, thereby improving their performance through cooperation. In this paper, we discovered a class of exactly isomorphic transformations between uncertain reasoning models used by EMYCIN and PROSPECTOR. More interestingly, among the class of isomorphic transformation functions, different ones can handle different degrees to which domain experts are optimistic or pessimistic if they perform such a transformation task.


Multi-agent uncertainty distributed expert system algebra 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    R. O. Duda, P. E. Hart, N. J. Nilsson, R. Reboh, J. Slocum, and G. Sutherland, Development of a computer-based consultant for mineral exploration, SRI Report, Stanford Research Institute, Menlo Park, CA, October, 1977.Google Scholar
  2. 2.
    P. Hájek, Combining functions for certainty degrees in consulting systems, Int. J. Man-Machines Studies, 22, pp.59–76, 1985.zbMATHCrossRefGoogle Scholar
  3. 3.
    N. R. Jennings, Towards a cooperation knowledge level for collaborative problem solving, Proceedings of 10th European Conference on Artificial Intelligence, pp. 224–228, 1992.Google Scholar
  4. 4.
    X. Luo and C. Zhang, Proof of the correctness of the EMYCIN sequential propa-gation, IEEE Transaction on Knowledge and Data Engineering, 11:2, pp. 355–359, 1999.CrossRefGoogle Scholar
  5. 5.
    M. Marcus, Introduction to modern algebra, Marcel Dekker, Inc. 1978.Google Scholar
  6. 6.
    J. McDermott, Making expert systems explicit, Proceedings of the IFIP-86, North Holland Publishing Company, Amsterdam, Dublin, pp. 539–544, 1986.Google Scholar
  7. 7.
    W. Van Melle, A domain-independent system that aids in constructing knowledge-based consultation programs, PhD Dissertation, Report STAN-CS-80-820, Computer Science Department, Stanford University, 1980.Google Scholar
  8. 8.
    E. H. Shortliffe and B. G. Buchanan, A model of inexact reasoning in medicine, Mathematical Bioscience, 23, pp. 351–379, 1975.CrossRefMathSciNetGoogle Scholar
  9. 9.
    C. Zhang, Cooperation under uncertainty in distributed expert systems, Artificial Intelligence, 56, pp. 21–69, 1992.CrossRefMathSciNetGoogle Scholar
  10. 10.
    C. Zhang, Heterogeneous transformation of uncertainties of propositions among inexact reasoning models, IEEE Transactions on Knowledge and Data Engineering, 6:3, pp. 353–360, 1994.CrossRefGoogle Scholar
  11. 11.
    C. Zhang and D. A. Bell, HECODES: a framework for heterogeneous cooperative distributed expert systems, International Journal on Data & Knowledge Engineer-ing, 6, pp. 251–273, 1991.CrossRefGoogle Scholar
  12. 12.
    C. Zhang and X. Luo, Isomorphic transformations of uncertainties for incorporating EMYCIN-style and PROSPECTOR-style systems into a distributed expert system, Journal of Computer Science and Technology, 14:4, 1999.Google Scholar
  13. 13.
    C. Zhang and M. Orlowska, On algebraic structures of inexact reasoning models, In: G. E. Lasker, et al. eds., Advances in Information Systems Research, pp. 58–77, 1991.Google Scholar
  14. 14.
    M. Zhang and C. Zhang, Potential cases, methodologies, and strategies of synthesis of solutions in distributed expert systems, IEEE Transaction on Knowledge and Data Engineering, 11:3, pp. 498–503, 1999.CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1999

Authors and Affiliations

  • Xudong Luo
    • 1
  • Chengqi Zhang
    • 2
  • Ho-fung Leung
    • 1
  1. 1.Department of Computer Science and EngineeringThe Chinese University of Hong Kong ShatinNTP.R. China
  2. 2.School of Computing and MathematicsDeakin University GeelongAustralia

Personalised recommendations