Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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–130
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–70
W. de Vries: Development of an Expert System Configurer: A Tool for the Salesman of Computer Systems, Ph. D. Thesis, Univ. Twente, 1987
J. Edelmann, B. Owsnicki: Data Models in Knowledge Representation Systems, in: C.-R. Rollinger, W. Horn (eds.): GWAI-86, Springer, Berlin, 1986, pp. 69–74
K. von Luck, B. Owsnicki-Klewe: Neuere KI-Formalismen zur Repräsentation von Wissen, in: T. Christaller (ed.): KIFS-87, Springer, Berlin, (to appear)
W. Mark: Knowledge–based Interface Design, in: D.A. Norman, S.W. Draper (eds.): User Centered System Design Lawrence Erlbaum, 1986, pp. 219–238
R. McGregor, R. Bates: The LOOM Knowledge Representation System, Information Science Institute, Marina del Rey (CA), 1987
J. McDermott: RI: A Rule–Based Configurer of Computer Systems, Carnegie Mellon Univ., Report CS-80-119, 1980
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–123
J.G. Schmolze: The Syntax and Semantics of NIKL, Information Science Institute. Marina del Rey (CA), 1985
M. Vilain: The Restricted Language Architecture of a Hybrid Representation System, Proceedings of the IJCAI-85, pp. 547–551
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1988 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Owsnicki-Klewe, B. (1988). Configuration as a Consistency Maintenance Task. In: Hoeppner, W. (eds) Künstliche Intelligenz. Informatik-Fachberichte, vol 181. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-74064-0_8
Download citation
DOI: https://doi.org/10.1007/978-3-642-74064-0_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-50293-7
Online ISBN: 978-3-642-74064-0
eBook Packages: Springer Book Archive