In this paper we propose an approach of how to use description logics for modeling the case base for case-based reasoning. We illustrate our approach by applying it to hybrid diagnosis. Integrating model-based and case-based reasoning for diagnostic problem solving we contribute to the domain of real time diagnosis. We describe the architecture of this approach, and present some preliminary experimental results. The case-based reasoning component of the hybrid diagnosis system is enabled to exploit description logic inferences for classifying and querying the case base. As description logic interpreter we use the system CICLOP, whereas the diagnosis system is implemented in G2. The description logic system runs as a server application and can thus be queried by the diagnosis system.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Reiter, R.: A theory of Diagnosis from First Principles. Elsevier Science Publishers (1987)
Winston, H. A., Clark, R. T., Buchina, G.: AGETS MBR: An application of Model-Based Reasoning to Gas Turbine Diagnostics. American Association for Artificial Intelligence, Winter (1995)
Frank, P.: Fuzzy Supervision-Application of Fuzzy Logic to Process Supervision and Fault Diagnosis. International Workshop on Fuzzy Technologies in Automation and Intelligent Systems, Duisbourg (1994)
El Ayeb, B.: Towards systematic construction of diagnostic systems for large industrial plants: Methods, Language, and Tools. IEEE, Vol. 6 N° 5, October (1994)
Portinale, P., Torasso, P., Ortalda, C., Giardino, A.:.Using Case-Based Reasoning to focus Model-Based Diagnostic problem solving. Lecture Notes in Artificial Intelligence 837, PP 325–337, (1994)
Stamos, T., Feyock, S.: An Integration of Case-Based and Model-Based Reasoning and its Application to Physical System Faults. Lecture Notes in Artificial Intelligence 604, F. Belli and F. J. Radermacher (Eds), Springer-Verlag, (1994)
Zeghib, Y., Rousselot, F., Keith, B.: Building a Diagnostic System for Large Industrial Plants: Using Symbolic and Numerical Knowledge. IAR 98, MULHOUSE (1998) 46–52
De Bertrand de Beuvron, F., Rousselot, F., Grathwohl, M., Rudloff, D., Schlick, M.: CICLOP. System Comparison of the International Workshop on Description Logics ‘99, LinkÖping, Sweden (1999)
Benjamins, R., Heijst, G. V.: Modeling Multiple Models”. SWI, University of Amsterdam
Schen, Q, Leitch R. R, and Steele A. D. A Generic Harness for the Systematic Generation of Multiple Models. Heriot-Watt University, Department of Computing and Electrical Engineering (1994)
Lenz, M., Bartsch-SpÖrl,. B., Burkhard, H.-D., Wess, S.: Case-Based Reasoning Technology: From Foundations to Applications. Springer-Verlag, Berlin Heidelberg (1998)
F. Baader. Logic-Based Knowledge Representation. In M.J. Wooldridge and M. Veloso, editors, Artificial Intelligence Today, Recent Trends and Developments, number 1600 in Lecture Notes in Computer Science, pages 13–41. Springer Verlag, (1999)
Salotti, S., Ventos, V.: Study and Formalization of a Case-Based Reasoning System with a Description logic. LIPN-CNRS URA 1507, Université Paris-Nord France (1997)
Aha, W. D.: Case-Based Learning Algorithms. Case-Based Reasoning Workshop. Morgan Kaufmann (1991)
Maria, M.: Etudes des aspects liés au contenu et à l‘organisation de la memoire dans le RàPs. Ecole de Mines, Paris (1998) (In French)
Schlick, M.: CICLOP: Description Logics for configuration. Phd Thesis, LIIA, ENSAIS, Strasbourg, France, (1999)
Gensym Intelligent Real-Time Systems: G2 Reference Manual, Version 4.0, (1995)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zeghib, Y., De Beuvron, F., Kullmann, M. (2001). Using Description Logics for Designing the Case Base in a Hybrid Approach for Diagnosis Integrating Model and Case-Based Reasoning. In: Aha, D.W., Watson, I. (eds) Case-Based Reasoning Research and Development. ICCBR 2001. Lecture Notes in Computer Science(), vol 2080. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44593-5_39
Download citation
DOI: https://doi.org/10.1007/3-540-44593-5_39
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42358-4
Online ISBN: 978-3-540-44593-7
eBook Packages: Springer Book Archive