Checking a rule base with certainty factor for incompleteness and inconsistency

  • Sangchul Kim
Knowledge Representation
Part of the Lecture Notes in Computer Science book series (LNCS, volume 313)


Checking a rule base for incompleteness and inconsistency should be based on possible execution paths of rules. For checking a rule base with certainty factor, we should consider not only simple execution paths, but also complex execution paths of rules. A goal can be resolved with a qualified hypothesis. This paper describes how to find all the possible execution paths, which can generate a qualified hypothesis for a goal, and how to check a rule base with certainty factor by using them.


Leaf Node Rule Base Execution Path Certainty Factor Tion Path 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

7. References

  1. [1]
    Shorliffe, E. H., "Computer-based Medical Consultations: MYCIN", Elsevier/North-Holland, New York, 1976Google Scholar
  2. [2]
    Nguyen, T. A., Perkins, W. A., Laffey, T. J., Pecora, D., "Checking an Expert Systems Knowledge Base For Consistency and Completeness", IJCAI, 1985Google Scholar
  3. [3]
    Raatz, S., Drastal, G., "Rule Interaction in Expert System Knowledge Bases", CSCSI, 1986Google Scholar
  4. [4]
    Lim, E. L., Tsang, W. W., McCallum, J., "Graph model for checking consistency and completeness of production rules", TRB8/86, Department of Computer Science, NUS, 1986Google Scholar
  5. [5]
    Suwa, M., Scott, A. C. and Shorliffe, E. H., "An approach to verifying completeness and consistency in a rule-based expert system", AI Magazine, Vol 3, no 3, Fall 1982Google Scholar
  6. [6]
    S. C. Kim, J. W. Yang, "the Specification of UNIX File Management Expert Prototype", TM87-1240-46, Computer Development Division, ETRI, 1987.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • Sangchul Kim
    • 1
  1. 1.Electronics and Telecommunications Research Institute Daedog DanjiTaejeonKorea

Personalised recommendations