A Comparison of Two Approaches to Model-Based Knowledge Acquisition

This paper discusses and compares two different approaches to model-based knowledge acquisition. That is, we regard the Model-based and Incremental Knowledge Engineering (MIKE) approach and the Configurable Role-limiting Method approach (CRLM). MIKE is based on the distinction of different phases in the software development process. It uses the formal and operational knowledge specification language KARL allowing a precise and unique description of a model of expertise which is the outcome of the analysis phase. CRLM is based on the rolelimiting method approach. Role limiting shells are implementations of strong problem-solving methods and substantially simplify knowledge acquisition through guidance by predefined models of problem-solving and by sophisticated graphical user interfaces. The main disadvantages, namely inflexibility and brittleness, are to some degree overcome by the CRLM where the shell's problem-solving methods are split into smaller parts, which can then be reconfigured allowing the integration of new methods or other method combinations. Although these two approaches are often discussed as contradictory, we, however, experienced that both approaches complete each other very well. As an outcome of our comparison, we outline topics of future research for both approaches.

[1]  A. Th. Schreiber,et al.  Pragmatics of the Knowledge Level , 1992 .

[2]  Rudi Studer,et al.  The Model of Expertise in KARL , 1994 .

[3]  Dieter Fensel Reuse Of Problem-Solving Methods In Knowledge Engineering (short paper) , 1993 .

[4]  Rudi Studer,et al.  An environment for reusing ontologies within a knowledge engineering approach , 1995, Int. J. Hum. Comput. Stud..

[5]  R. Budde,et al.  Approaches to Prototyping , 1984, Springer Berlin Heidelberg.

[6]  Luc Steels,et al.  Second-Generation Expert Systems , 1985, IEEE Expert.

[7]  Samson W. Tu,et al.  A multiple-method knowledge-acquisition shell for the automatic generation of knowledge-acquisition tools , 1992 .

[8]  Zohar Manna,et al.  Logics of Programs , 1981, Lecture Notes in Computer Science.

[9]  Frank Puppe,et al.  Improving Case Based Classification with Expert Knowledge , 1991, GWAI.

[10]  Dieter Fensel,et al.  Giving Structured Analysis Technologie a Formal and Operational Semantics with KARL , 1993, Requirements Engineering.

[11]  Jack Minker Foundations of deductive databases and logic programming , 1988 .

[12]  Frank Puppe,et al.  Systematic introduction to expert systems - knowledge representations and problem-solving methods , 2011 .

[13]  Dieter Fensel,et al.  Knowledge Acquisition and the Interpretative Paradigm , 1991, Contemporary Knowledge Engineering and Cognition.

[14]  Rudi Studer,et al.  Applying software engineering methods and techniques to knowledge engineering , 1990 .

[15]  Mark A. Musen Automated generation of model-based knowledge acquisition tools , 1989 .

[16]  Charles W. Krueger,et al.  Software reuse , 1992, CSUR.

[17]  Dieter Fensel,et al.  A comparison of languages which operationalize and formalize KADS models of expertise , 1994, The Knowledge Engineering Review.

[18]  Frank Puppe,et al.  Graphical knowledge acquisition for medical diagnostic expert systems , 1993, Artif. Intell. Medicine.

[19]  Susanne Neubert,et al.  Model Consruction in MIKE (MOdel-Based and Incremental Knowledge Engineering) , 1993, EKAW.

[20]  Karsten Poeck,et al.  Common Ground and Differences of the KADS and Strong-Problem-Solving-Shell Approach , 1992, EKAW.

[21]  Frank Puppe,et al.  Towards Knowledge Acquisition by Experts , 1992, IEA/AIE.

[22]  Jerzy Tiuryn,et al.  Logics of Programs , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[23]  Dieter Fensel,et al.  The Knowledge Acquisition and Representation Language, KARL , 1995, Springer US.

[24]  Michael Kifer,et al.  Logical foundations of object-oriented and frame-based languages , 1995, JACM.

[25]  John McDermott,et al.  Preliminary steps toward a taxonomy of problem-solving methods , 1993 .

[26]  Werner Karbach,et al.  Models, methods, roles and tasks: many labels—one idea? , 1990 .

[27]  Nicola Guarino,et al.  Formal ontology, conceptual analysis and knowledge representation , 1995, Int. J. Hum. Comput. Stud..

[28]  Jürgen Angele Operationalisierung des Modells der Expertise mit KARL , 1993, DISKI.

[29]  Frank Puppe,et al.  COKE: efficient solving of complex assignment problems with the propose-and-exchange method , 1992, Proceedings Fourth International Conference on Tools with Artificial Intelligence TAI '92.

[30]  Susanne Neubert Modellkonstruktion in MIKE. Methoden und Werkzeuge , 1994, DISKI.

[31]  Dieter Fensel,et al.  Formalizing and operationalizing a design task with KARL , 1993 .

[32]  Sandra Marcus,et al.  Automating Knowledge Acquisition for Expert Systems , 1988 .

[33]  Barry W. Boehm,et al.  A spiral model of software development and enhancement , 1986, Computer.

[34]  Rudi Studer,et al.  The design process in MIKE , 1994 .

[35]  Trevor J. M. Bench-Capon,et al.  Facilitating the Development of Knowledge Based Systems, A Critical Review of Aquisition Tools and Techniques , 1991, AI Commun..

[36]  Karsten Poeck,et al.  Teilautomatische Wissenstransformationen zur Unterstützung der Wissensakquisition , 1993, XPS.

[37]  Guus Schreiber,et al.  KADS : a principled approach to knowledge-based system development , 1993 .

[38]  C. Floyd A Systematic Look at Prototyping , 1984 .

[39]  Luc Steels The componential framework and its role in reusability , 1993 .

[40]  Karsten Poeck,et al.  Making Role Limiting Shells More Flexible , 1993, EKAW.

[41]  J. Van Leeuwen,et al.  Handbook of theoretical computer science - Part A: Algorithms and complexity; Part B: Formal models and semantics , 1990 .

[42]  Jan Treur,et al.  Formal Specification of Complex Reasoning Systems , 1993 .

[43]  Richard H. Thayer,et al.  System and Software Requirements Engineering , 1994 .

[44]  Ulrich Müller-Kolck,et al.  Systematic introduction to expert systems: Knowledge representations and problem-solving methods , 1994 .

[45]  J. Lloyd Foundations of Logic Programming , 1984, Symbolic Computation.

[46]  Marc Linster,et al.  A Review of Sisyphus 91 & 92: Models of Problem-Solving Knowledge , 1993, EKAW.

[47]  Dieter Fensel,et al.  Model-Based and Incremental Knowledge Engineering: The MIKE Approach , 1992, AIFIPP.

[48]  Teodor C. Przymusinski On the Declarative Semantics of Deductive Databases and Logic Programs , 1988, Foundations of Deductive Databases and Logic Programming..

[49]  Rudi Studer,et al.  The KEEP Model, a Knowledge Engineering Process Model , 1992, EKAW.