A unified algebraic structure for uncertain reasonings

  • Xudong Luo
  • Chengqi Zhang
Neural Nets and Uncertainity II
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1114)


This paper identifies an axiom foundation for uncertain reasonings in rule-based expert systems: a near topological algebra (NT-algebra for short), which holds some basic notions hidden behind the uncertain reasoning models in rule-based expert systems. In according with basic ways of topological connection in an inference network, an NT-algebraic structure has five basic operators, i.e. AND, OR, NOT, Sequential combination and Parallel combination, which obey some axioms. An NT-algebraic structure is defined on a near-degree space introduced by the authors, which is a special topological space. The continuities of real functions, of fuzzy functions and the functions in other sense can be uniformly considered in the framework of a near-degree space. This paper also proves that the EMYCIN's and PROSPECTOR'S uncertain reasoning models correspond to good NT-algebras, respectively. Compared to other related works, the NT-algebra as an axiom foundation has the following characteristics: (1) various cases of assessments for uncertainties of both evidence and rules are put into a unified algebraic structure; and (2) major emphasis has been placed on the basic laws of the propagation for them in an inference network.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Bon80]
    Bonissone,P.P.: A Fuzzy Set Based Linguistic Approach: Theory and Applications. Proceedings of the 1980 Winter Simulation Conference (Eds. Oren, J.I., Shub, C.M., Roth, P.F.) (1980) 99–111Google Scholar
  2. [Bon et al.86]
    Bonissone, P.P. and Decker, K.S.: Selecting Uncertainty Calculi and Granularity: An Experiment in Trading-off Precision and Complexity. Uncertainty in Artificial Intelligence (Eds. Kanal, L.N. and Lemmer, J.F.), North Holland (1986) 217–247Google Scholar
  3. [Dri87]
    Driakov, D.: A Calculus for Belief-Interval Representation of Uncertainty. Uncertainty in Knowledge-Based Systems, Springer-Verlag (1987) 205–216Google Scholar
  4. [Dud et al.76]
    Duda, R.O., Hart, P.E. and Nillson, N.J.: Subjective Bayesian Methods for Rule-Based Inference Systems. AFIPS Conference Proceedings, AFIPS Press 45 (1976) 1075–1082Google Scholar
  5. [Háj et al.90]
    Hájek, P. and Valdes, J.J.: Algebraic Foundations of Uncertainty Processing in Rule-Based Expert Systems (Group-Theoretic Approach). Computer and Artificial Intelligence 9:4 (1990) 325–344Google Scholar
  6. [Háj et al.91]
    Hájek, P. and Valdes, J.J.: A Generalized Algebraic Approach to Uncertainty Processing in Rule-based Expert Systems (Dempsteroids). Computer and Artificial Intelligence 10:1 (1991) 29–42Google Scholar
  7. [Hec86]
    Heckerman, O.: Probabilistic Interpretations for Mycin's Certainty Factors. Uncertainty in Artificial Intelligence (Eds. Kanal, L.N., Lemmer, J.F.), North Holland (1986) 167–196Google Scholar
  8. [Mel80]
    Melle, W.V.: A Domain-Independent System that Aids in Constructing Knowledge-Based Consultation. Hpp-80-22, STAN-CS-80-820 (1980)Google Scholar
  9. [Sho et al.75]
    Shortiffe, E.H. and Buchanan, B.G.: A Model of Inexact Reasoning in Medicine. Mathematics Biosciences 23 (1975) 351–379Google Scholar
  10. [Wan87]
    Wang, Shenkang: An Application of Bases Formula in Expert System. Computer Research and Development 24:6 (1987) 55–56Google Scholar
  11. [Zha et al.81]
    Zhao, Ruhua and Chen, Xiaojun: The Universal Definition of Near-Degree for the Fuzzy Subsets and the Grade of Imprecision. Journal of Xi'an Jiaotong University 15:6 (1981) 21–27Google Scholar
  12. [Zha92]
    Zhang, Chengqi: Cooperation under Uncertainty in Distributed Expert Systems. Artificial Intelligence 56 (1992) 21–69Google Scholar
  13. [Zhe89]
    Zheng, Fangqing: A Common Reasoning Model: The Theory and Method about Numeral Reasonings. Ph.D. Dissertation, Department of Computer Science, Jilin University, China (1989)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Xudong Luo
    • 1
  • Chengqi Zhang
    • 1
  1. 1.Department of Mathematics, Statistics and Computing ScienceThe University of New EnglandArmidaleAustralia

Personalised recommendations