Basic Properties of Knowledge Base Systems

  • W. Marek
Part of the Symbolic Computation book series (SYMBOLIC)


We consider rule-structured knowledge bases and investigate some of their basic properties. We propose an algorithm for the investigation of completeness and consistency of rule represented knowledge bases. We study some aspects of incomplete information in such systems.


Knowledge Base Expert Advice Default Rule Knowledge Base System Nest Family 
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.

Copyright information

© Springer-Verlag New York Inc. 1987

Authors and Affiliations

  • W. Marek
    • 1
  1. 1.Department of Computer ScienceUniversity of KentuckyLexingtonUSA

Personalised recommendations