Basic Properties of Knowledge Base Systems

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

Abstract

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.

Keywords

Editing 

Preview

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