Configuration as a Consistency Maintenance Task
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.
KeywordsKnowledge Representation Consistency of Knowledge Bases Configuration
Unable to display preview. Download preview PDF.
- 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
- 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
- W. de Vries: Development of an Expert System Configurer: A Tool for the Salesman of Computer Systems, Ph. D. Thesis, Univ. Twente, 1987Google Scholar
- 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
- 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
- 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
- R. McGregor, R. Bates: The LOOM Knowledge Representation System, Information Science Institute, Marina del Rey (CA), 1987Google Scholar
- J. McDermott: RI: A Rule–Based Configurer of Computer Systems, Carnegie Mellon Univ., Report CS-80-119, 1980Google Scholar
- 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
- J.G. Schmolze: The Syntax and Semantics of NIKL, Information Science Institute. Marina del Rey (CA), 1985Google Scholar
- M. Vilain: The Restricted Language Architecture of a Hybrid Representation System, Proceedings of the IJCAI-85, pp. 547–551Google Scholar