Configuration as a Consistency Maintenance Task

  • Bernd Owsnicki-Klewe
Conference paper
Part of the Informatik-Fachberichte book series (INFORMATIK, volume 181)


This paper describes how a configuration task may be considered a problem of main- taining global consistency within a knowledge base. A consistency maintenance process should a) be able to deduce the consequences of new knowledge and b) detect logical contradictions on the basis of these inferences. Usually, this is done best by “read-time inferences”, i. e. inferences drawn immediately on arrival of new information. This leads to a configuration system that does not contain heuristic rules but just one inference mechanism responsible for processing the user’s input. The mechanism is embedded in MESON, a KL-ΟNE descendant, developed at PHILIPS Research Laboratories, Hamburg.


Knowledge Representation Consistency of Knowledge Bases Configuration 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    J. Ailgayer, C. Reddig: Processing Descriptions containing Words and Gestures — A System Architecture, in: C.-R. Rollinger, W. Horn (eds.): GWAI-86, Springer, Berlin, 1986, pp. 119–130Google Scholar
  2. [2]
    H.J. Levesque, R.J. Brachman: A Fundamental Tradeoff in Knowledge Representation and Reasoning, in: R.J. Brachman, H.J. Levesque (eds.): Readings in Knowledge Representation, Morgan Kaufmann, 1985, pp. 41–70Google Scholar
  3. [3]
    W. de Vries: Development of an Expert System Configurer: A Tool for the Salesman of Computer Systems, Ph. D. Thesis, Univ. Twente, 1987Google Scholar
  4. [4]
    J. Edelmann, B. Owsnicki: Data Models in Knowledge Representation Systems, in: C.-R. Rollinger, W. Horn (eds.): GWAI-86, Springer, Berlin, 1986, pp. 69–74Google Scholar
  5. [5]
    K. von Luck, B. Owsnicki-Klewe: Neuere KI-Formalismen zur Repräsentation von Wissen, in: T. Christaller (ed.): KIFS-87, Springer, Berlin, (to appear)Google Scholar
  6. [6]
    W. Mark: Knowledge–based Interface Design, in: D.A. Norman, S.W. Draper (eds.): User Centered System Design Lawrence Erlbaum, 1986, pp. 219–238Google Scholar
  7. [7]
    R. McGregor, R. Bates: The LOOM Knowledge Representation System, Information Science Institute, Marina del Rey (CA), 1987Google Scholar
  8. [8]
    J. McDermott: RI: A Rule–Based Configurer of Computer Systems, Carnegie Mellon Univ., Report CS-80-119, 1980Google Scholar
  9. [9]
    B. Nebel, K. von Luck: Issues of Integration and Balancing in Hybrid Knowledge Representation Systems, in: K. Morik (ed.): GWAI-87, Springer, 1987, pp. 114–123Google Scholar
  10. [10]
    J.G. Schmolze: The Syntax and Semantics of NIKL, Information Science Institute. Marina del Rey (CA), 1985Google Scholar
  11. [11]
    M. Vilain: The Restricted Language Architecture of a Hybrid Representation System, Proceedings of the IJCAI-85, pp. 547–551Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • Bernd Owsnicki-Klewe
    • 1
  1. 1.PHILIPS GmbH Forschungslaboratorium HamburgHamburg 54Western Germany

Personalised recommendations