Making Role Limiting Shells More Flexible

Although expert system shells based on role-limiting methods are very powerful in supporting expert system development by model-guided and graphical knowledge acquisition, it is a legitimate and often mentioned criticism that such shells usually are hard-wired and therefore hardly flexible if a given problem does not totally match the predefined method. In this paper we analyse the inner structure of role-limiting methods of two shells implemented within our group, and break them down into smaller mechanisms in order to enable new configurations of role-limiting methods and corresponding shells. Method configuration is supported both by offering a library of problem-solving specific mechanisms of how a subtask can be solved, and by allowing the introduction of new mechanisms and subtasks and their combination with the existing ones within the predefined framework. We demonstrate our approach both with assignment problems and with classification tasks. The gained flexibility substantially increases the applicability of role-limiting methods and — by allowing the reuse of mechanisms and user-interface — drastically reduces the costs of new method development.

[1]  R E Schofield,et al.  French and british studies. , 1978, Science.

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

[3]  P. A. Geelen,et al.  Dual Viewpoint Heuristics for Binary Constraint Satisfaction Problems , 1992, ECAI.

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

[5]  Frank Puppe,et al.  Systematic Introduction to Expert Systems , 1993, Springer Berlin Heidelberg.

[6]  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.

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

[8]  B. Chandrasekaran,et al.  Design Problem Solving: A Task Analysis , 1990, AI Mag..

[9]  Alan K. Mackworth Constraint Satisfaction , 1985 .

[10]  Lawrence M. Fagan,et al.  Use of a Domain Model to Drive an Interactive Knowledge-Editing Tool , 1987, Int. J. Man Mach. Stud..

[11]  C. D. Gelatt,et al.  Optimization by Simulated Annealing , 1983, Science.

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

[13]  David E. Goldberg,et al.  Genetic Algorithms in Search Optimization and Machine Learning , 1988 .

[14]  Mark D. Johnston,et al.  Scheduling with neural networks - the case of the hubble space telescope , 1992, Comput. Oper. Res..

[15]  David Y. Y. Yun,et al.  A Planning/Scheduling Methodology for the Constrained Resource Problem , 1989, IJCAI.

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

[17]  Sandra Marcus,et al.  SALT: A Knowledge-Acquisition Tool for Propose-and-Revise Systems , 1988 .

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

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

[20]  Todd R. Johnson,et al.  Generic tasks and task structures: history, critique and new directions , 1993 .

[21]  Pascal Van Hentenryck Constraint satisfaction in logic programming , 1989, Logic programming.

[22]  John P. McDermott,et al.  Easy programming: empowering people to build their own applications , 1992, IEEE Expert.

[23]  Bob J. Wielinga,et al.  KADS: a modelling approach to knowledge engineering , 1992 .

[24]  Frank van Harmelen,et al.  Controlling Generate & Test in Any Time , 1992, GWAI.

[25]  Richard J. Wallace,et al.  Partial Constraint Satisfaction , 1989, IJCAI.

[26]  Larry Eshelman,et al.  MOLE: A Knowledge-Acquisition Tool for Cover-and-Differentiate Systems , 1988 .

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