Abstract
This paper deals with special problems of knowledge base maintenance which have to be solved within the knowledge acquisition process. We illustrate that aspects of maintenance must be taken into account by the design model construction because dependencies between pieces of knowledge can result in inconsistent states of a knowledge base. We describe a Knowledge Dependency Network which extends ideas from truth maintenance systems to detect and manage these inconsistencies. The network allows formal definitions of inconsistency conditions and checks them automatically preserving the integrity of the knowledge base. As a fundamental part of the acquisition and maintenance environment the knowledge dependency network supports the conventional development and editing of a knowledge base.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Althoff, K.-D.: Eine fallbasierte Lernkomponente als ein integrierter Bestandteil der MOLTKE-Werkbank für die Diagnose technischer Systeme, Doctoral Dissertation University of Kaiserslautern, 1992 (to appear)
Althoff, K.-D., Maurer, F., Rehbold, R.: Multiple Knowledge Acquisition Strategies in MOLTKE, in: Proc. EKAW 90, 1990
Althoff, K. D., Maurer, F., Traphöner, R., Weß, S.: The learning component of the MOLTKE3 workbench for the diagnosis of technical systems (in German: Die Lernkomponente der MOLTKE3 Werkbank für die Diagnose technischer Systeme), KI, special edition on Machine Learning, Baden-Baden: FBO-Verlag, No. 1, 1991; also: SEKI-Report SWP-90-08, University of Kaiserslautern
Althoff, K.-D., Maurer, F., Weß, S.: Case-Based Reasoning and Adaptive Learning in the MOLTKE3 Workbench for Technical Diagnosis, SEKI Report SR-91-05, University of Kaiserslautern, 1991
Althoff, K.-D., Traphöner, R.: GenRule: Learning of Shortcut-Oriented Diagnostic Problem Solving in the MOLTKE3-Workbench, SEKI Report SR-91-04, University of Kaiserslautern, 1991
Breuker, J., Wielinga, B.: Model-Driven Knowledge Acquisition: Interpretation Models, Memo 87, Deliverable task Al, Esprit Project 1098; 1987
Campbell, B., Goodman, J. M.: HAM: A General Purpose Hypertext Abstract Machine, Communications of the ACM, July 1988, Vol. 31, No. 7, 1988
de Kleer, J.: An assumption-based TMS, Artificial intelligence, Vol. 28, P. 163–196, 1986
Doyle, J.: A truth maintenance system, Artificial intelligence, Vol. 12, P. 231–272, 1979
Jansen, B., Compton, P.: The Knowledge Dictionary: Storing Different Knowledge Representations, in: Proc EKAW 89, 1989
Maurer, F.: CAKE: Computer-aided Knowledge Engineering, Proc. of IJCAI-91 Workshop on “Software Engineering for Knowledge Base Systems”, 1991; also: SEKI Report SR-91-09, University of Kaiserslautern
Maurer, F., Ruppel, A., Weß, S.: Learning of diagnostic strategies with neural networks in the MOLTKE 3.0 expert system toolbox (in German: Lernen von Diagnosestrategien mit neuronalen Netzen in MOLTKE), SEKI Report SWP-91-02, University of Kaiserslautern, 1991
Morik, K.: Acquiring domain models, in: Knowledge Acquisition Tools for Expert Systems, Academic Press, 1988
Musen, M. A., Fagan, L. M., Combs, D. M., Shortcliff, E. H.: Use of a domain model to drive an interactive knowledge-editing tool, in: Knowledge Acquisition Tools for Expert Systems, Academic Press, 1988
Nökel, K.: Temporal Matching: Recognizing Dynamic Situations from Discrete Measurements, in: Proc. IJCAI 1989, 1989
Rehbold, R.: Model-Based Knowledge Acquisition from Structure Descriptions in a Technical Diagnosis Domain, Proc. Avignon 1989, 1989
Rehbold, R.: Integration of model-based knowledge into technical diagnostic expert systems (in German: Integration von modellbasiertem Wissen in technische Diagnostik-Expertensystem), Doctoral Dissertation, University of Kaiserslautern, 1991
Richter, M.M.: Principles of artificial intelligence (in German: Prinzipien der künstlichen Intelligenz), Teubner Verlag, 1989
Richter, M. M. (ed.): MOLTKE — Methoden zur Fehlerdiagnose technischer Systeme, Springer Verlag, (to appear), 1992
van Someren, M. W., Zheng, L. L., Post, W.: Cases, Models or Compiled Knowledge; a Comparative Analysis and Proposed Integration, in: Proc. EKAW 1990
Wielinga, B., Schreiber, A Th., Breuker, J.: KADS: A Modelling Approach to Knowledge Engineering, KADS-II/T1.1/PP/UvA/008/1.0, Esprit Project P 5248 KADS-II, 1991
Althoff, K.-D., Weß, S.: Case-Based Knowledge Acquisition, Learning, and Problem Solving for Diagnostic Real World Tasks, in: Proc. EKAW 91, 1991; also: SEKI Report SR-91-07, University of Kaiserslautern
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Maurer, F. (1992). Knowledge base maintenance and consistency checking in MOLTKE/HyDi. In: Wetter, T., Althoff, KD., Boose, J., Gaines, B.R., Linster, M., Schmalhofer, F. (eds) Current Developments in Knowledge Acquisition — EKAW '92. EKAW 1992. Lecture Notes in Computer Science, vol 599. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55546-3_49
Download citation
DOI: https://doi.org/10.1007/3-540-55546-3_49
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55546-9
Online ISBN: 978-3-540-47203-2
eBook Packages: Springer Book Archive