Summary
Quality of knowledge bases is one of the most important requirements for acceptance and reliability of expert systems. We discuss a knowledge base refinement technique performing static and dynamic analyses of rule bases and present a deductive approach to justify refinement operations on rule sets. In addition we describe the implementation and experiences with our approach. Our test application is an expert system for judging credit agreements which was designed in cooperation with experts of two leading German banks.
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
Andert, E.P. (1992): Integrated knowledge-based systems design and validati-on for solving problems in uncertain environments. Int. Journal of Man-Machine Studies 36, 357–373.
Ayel, M., and Laurent, J.-P. (1991): Validation, Verification and Test of Knowledge-Based Systems. Wiley, New York. Craw, S., and Sleeman, D. (1995): Knowledge-based Refinement of Knowledge Based Systems. Technical Re-port University of Aberdeen.
Davis, R. (1979): Interactive transfer of expertise: Acquisition of new inference rules. Artificial Intelligence, 12, 121–157.
De Raedt, L. (1992): Interactive Theory Revision. Academic Press, London.
Ginsberg, A. (1988): Automatic Refinement of Expert System Knowledge Bases. Pitman, London.
Hopcroft, J.E., and Ullmann, J.D. (1979): Introduction to automata theory, languages and computation. Addison-Wesley, New York.
Ignizio, J.P. (1991): Introduction to expert systems. McGraw-Hill, New York.
Kahn, G., Nowlan, S., and Mcdermott, J. (1985): More: an intelligent knowledge acquisition tool. Proc. IJCA1–85. Los Angeles, 581–584.
Kauert, B. (1992): Static and dynamic analyses of rule sets. Diploma thesis (in German). RWTH Aachen, Germany.
Mäntaras, R.L. de, Kerdiles, P.F., and Larsen, H. (1989): Validation methods and tools for knowledge-based systems (Valid). Informatik-Fachberichte 227. Springer-Verlag, Berlin, Heidelberg.
Morik, K. (1989): Sloppy Modeling. In: K. Monk (ed.): Knowledge Representation and Organization in Machine Learning. Springer-Verlag, Berlin, New York, 107–134.
Schimpe, H. (1995): Dynamic Analyses for Refinement of Rule Bases in the credit analyses domain. In: Technical Report Nr. 580. University of Dortmund, 40–46 (in German).
Smith, R.G., Winston, H.A., Mitchell, T.M., and Buchanan, B.G. (1985): Representation and use of explicit justifications for knowledge base refi-nement. Proc. IJCAI–85. Los Angeles, 673–680.
Sperber, A. (1994): Case-based learning in expert systems by empirical ana-lyses. Diploma thesis (in German). RWTH Aachen, Germany.
Staudt, M. and SCHIMPE, H. (1995): VAREX: An environment for validating and refining rule bases. Del. 5.3.2 (Part 4) ESPRIT BRA 6810 COMPULOG II, also as: Technical Report. RWTH Aachen.
Valtorta, M. (1991): Knowledge base refinement: a bibliography. Journal of Applied Intelligence 1(1), 87–94.
Wilkins, D.C. (1989): Knowledge Base Refinement Using Apprenticeship Lear-ning Techniques. In: K. Morik (ed.): Knowledge Representation and Organization in Machine Learning. Springer-Verlag, Berlin Heidelberg, 247–257..
Wogulis, J., and Pazzani, M.J. (1993): A Methodology for Evaluating Theory Revision Systems: Results with Audrey II. Proceedings of the Thirteenth IJCAI Conference. Chambery, France.
Wrobel, S. (1994): Concept Formation and Knowledge Revision. Kluwer Aca-demic Publishers, Dordrecht.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin · Heidelberg
About this paper
Cite this paper
Schimpe, H., Staudt, M., Kauert, B., Sperber, A. (1996). A Deductive Approach for Knowledge Base Refinement in Expert Systems and its Application to Credit Analysis. In: Bock, HH., Polasek, W. (eds) Data Analysis and Information Systems. Studies in Classification, Data Analysis, and Knowledge Organization. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-80098-6_37
Download citation
DOI: https://doi.org/10.1007/978-3-642-80098-6_37
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60774-8
Online ISBN: 978-3-642-80098-6
eBook Packages: Springer Book Archive