A method to check knowledge base consistency

  • Alain Beauvieux
Session 12 Databases And Knowledgebases
Part of the Lecture Notes in Computer Science book series (LNCS, volume 338)


When developing expert systems, checking knowledge base consistency becomes more and more necessary. As it has been done in a Data Base Management System (DBMS), we propose to define along with the deductive rules, new relations to specify what is permitted and what is forbidden. A definition of knowledge base consistency, integrating these new relations, is presented, based on classical logic. We expose a method to prove this property, constructing new structures which model the knowledge base. A theorem is demonstrated which shows that proving the knowledge base consistency is equivalent to proving the consistency of our structures, which is easier to do. Finally, a method which allows an incremental construction of the knowledge base is presented.


Knowledge base consistency integrity constraint knowledge base model incremental construction 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [AYE86]
    M. Ayel, E. Pipart, M.C. Rousset Le contrôle de cohérence dans les bases de connaissances PRC-GRECO — September 1986Google Scholar
  2. [BEA88]
    A. Beauvieux, P. Dague Interactive checking of knowledge base consistency Australian Joint Artificial Intelligence Conference, Adelaide, November 1988Google Scholar
  3. [BRY86]
    F. Bry, R. Manthey Sur la validité des schémas de bases de données Actes des deuxièmes journées “Bases de Données avancées” de Giens. April 1986Google Scholar
  4. [GAL86]
    J. Gallier Logic for computer science — Foundations of automatic theorem proving Harper & Row Publishers, 1986Google Scholar
  5. [KLE86]
    J. de Kleer An Assumption-based TMS Artificial Intelligence no28 — March 1986Google Scholar
  6. [LEB86]
    P. Le Beux, D. Fontaine Un système d'acquisition des connaissances pour systèmes experts Technique et Science Informatiques (AFCET publications) Vol 5.1 1986Google Scholar
  7. [MAK85]
    D. Makinson How to give it up: a survey of some formal aspects of logic of theory of change Synthese 62. Published by Reidel Publishing Company 1985Google Scholar
  8. [NGU85]
    T.A. Nguyen,W.A. Perkins, T.J. Laffrey and D. Pecora Checking an expert system knowledge base for consistency and completeness Proceedings of IJCAI 85 p 375–378Google Scholar
  9. [NGU87]
    T.A. Nguyen,W.A. Perkins, T.J. Laffrey and D. Pecora Knowledge Base Verification A.I. Magazine Summer 1987.Google Scholar
  10. [ROU86]
    M.C. Rousset Sur la cohérence et la validité des bases de connaissances CIIAM 86 MarseilleGoogle Scholar
  11. [ROU87]
    M.C. Rousset Sur la validité des bases de connaissances: le système COVADIS Septièmes journées Systèmes experts et applications Avignon 1987Google Scholar
  12. [SUW82]
    M. Suwa, A. Scott, H. Shortliffe An approach to verifying completeness and consistency in RBS A.I. Magazine, Fall 1982Google Scholar
  13. [ULL80]
    J.D. Ullman Principles of Database Systems Computer Science Press 1980Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • Alain Beauvieux
    • 1
  1. 1.I.B.M. Paris Scientific CenterParis Cedex 01France

Personalised recommendations