This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Heterogeneous Transformation of Uncertainties of Propositions Among Inexact Reasoning Models
June 1994 (vol. 6 no. 3)
pp. 353-360

Cooperation between different expert systems within a heterogeneous distributed expert system is essentially based on the transformations between the reasoning models built into the structures of the involved systems. The general criteria for a transformation between heterogeneous inexact reasoning models have been formulated. Using an algebraic structure of semigroup (with individual unit elements) of inexact reasoning models, the criteria are natural and easily satisfied by homomorphic mapping as an implementation. The criteria presented are too weak to ensure the existence of a unique mapping between the models concerned, but they are strong enough to guarantee reasonable transformations. These general considerations are illustrated using the example of three inexact reasoning models used by EMYCIN, PROSPECTOR, and MYCIN, where the homomorphic transformations among them are constructed and discussed.

[1] J. McDermott, "Making expert systems explicit,"Proc. IFIP-86. AMsterdam: North-Holland, 1986, pp. 539-544.
[2] C. Zhang and D. A. Bell, "HECODES: A framework for heterogeneous cooperative distributed expert system,"Int. J. Data Knowl. Eng., vol. 6, pp. 251-273, 1991.
[3] C. Zhang and M. Orlowska, "Types of cooperations in distributed expert systems,"Int. Working Conf. Cooperating Knowledge Based Syst., 1990.
[4] W. Van Melle, "A domain-independent system that aids in constructing knowledge-based consultation programs," Ph.D. dissertation, Tech. Rep. STAN-CS-80-820. Dept. Comput. Sci., Stanford Univ., Stanford, CA, 1980.
[5] 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 Rep., Stanford Res. Inst.. Menlo Park, CA, Oct. 1977.
[6] C. Zhang and M. Orlowska, "On algebraic structures of inexact reasoning models," in G. E. Laskeret al., Eds.,Advances in Information Systems Research, 1991, pp. 58-77.
[7] E. H. Shortliffe and B. G. Buchanan, "A model of inexact reasoning in medicine,"Mathemat. Biosci., vol. 23, pp. 351-379, 1975.
[8] C. Zhang, "Cooperation under uncertainty in distributed expert systems,"Artificial Intell., vol. 56, pp. 21-69, 1992.
[9] J. Guan and C. Zhang, "Analysis of the unit element in inexact reasoning in expert systems,"Proc. 2nd Int. Conf. Comput. Applications, 1987, pp. 391-393.
[10] C. Zhang, "The abstract description about inexact reasoning models in expert systems,"Robotics J., vol. 1, pp. 45-50, 1987.
[11] G. Shafer,A Mathematical Theory of Evidence, Princeton, NJ: Princeton University Press, 1976.
[12] M. Marcus,Introduction to Modern Algebra.New York: Marcel Dekker, 1978.
[13] C. Zhang and D. A. Bell, "HECODES: A framework for heterogeneous cooperative distributed expert system,"Int. J. Data Knowl. Eng., vol. 6, pp. 251-273, 1991.

Index Terms:
uncertainty handling; inference mechanisms; expert systems; distributed processing; fuzzy set theory; heterogeneous transformation; uncertainties of propositions; inexact reasoning models; general criteria; heterogeneous distributed expert system; heterogeneous inexact reasoning; algebraic structure; semigroup; individual unit elements; homomorphic mapping; unique mapping; EMYCIN; PROSPECTOR; MYCIN; homomorphic transformations
Citation:
C. Zhang, "Heterogeneous Transformation of Uncertainties of Propositions Among Inexact Reasoning Models," IEEE Transactions on Knowledge and Data Engineering, vol. 6, no. 3, pp. 353-360, June 1994, doi:10.1109/69.334865
Usage of this product signifies your acceptance of the Terms of Use.