Skip to main content
SpringerLink
Log in

Checking a rule base with certainty factor for incompleteness and inconsistency

  • Knowledge Representation
  • Conference paper
  • First Online:
Uncertainty and Intelligent Systems (IPMU 1988)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 313))

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

7. References

  1. Shorliffe, E. H., "Computer-based Medical Consultations: MYCIN", Elsevier/North-Holland, New York, 1976

    Google Scholar 

  2. Nguyen, T. A., Perkins, W. A., Laffey, T. J., Pecora, D., "Checking an Expert Systems Knowledge Base For Consistency and Completeness", IJCAI, 1985

    Google Scholar 

  3. Raatz, S., Drastal, G., "Rule Interaction in Expert System Knowledge Bases", CSCSI, 1986

    Google Scholar 

  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, 1986

    Google Scholar 

  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 1982

    Google Scholar 

  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 

Download references

Author information

Authors and Affiliations

  1. Electronics and Telecommunications Research Institute Daedog Danji, Taejeon, Korea

    Sangchul Kim

Authors
  1. Sangchul Kim
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

B. Bouchon L. Saitta R. R. Yager

Rights and permissions

Reprints and permissions

Copyright information

© 1988 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kim, S. (1988). Checking a rule base with certainty factor for incompleteness and inconsistency. In: Bouchon, B., Saitta, L., Yager, R.R. (eds) Uncertainty and Intelligent Systems. IPMU 1988. Lecture Notes in Computer Science, vol 313. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-19402-9_74

Download citation

  • DOI: https://doi.org/10.1007/3-540-19402-9_74

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-19402-6

  • Online ISBN: 978-3-540-39255-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation