A Class of Isomorphic Transformations for Integrating EMYCIN-Style and PROSPECTOR-Style Systems into a Rule-Based Multi-Agent System
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.
KeywordsMulti-agent uncertainty distributed expert system algebra
Unable to display preview. Download preview PDF.
- 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
- 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
- 5.M. Marcus, Introduction to modern algebra, Marcel Dekker, Inc. 1978.Google Scholar
- 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.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
- 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.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