Task Modeling with Reusable Problem-Solving Methods

Problem-solving methods for knowledge-based systems establish the behavior of such systems by defining the roles in which domain knowledge is used and the ordering of inferences. Developers can compose problem-solving methods that accomplish complex application tasks from primitive, reusable methods. The key steps in this development approach are task analysis, method selection (from a library), and method configuration. Protege-ii is a knowledge-engineering environment that allows developers to select and configure problem-solving methods. In addition, Protege-ii generates domain-specific knowledge-acquisition tools that domain specialists can use to create knowledge bases on which the methods may operate. The board-game method is a problem-solving method that defines control knowledge for a class of tasks that developers can model in a highly specific way. The method adopts a conceptual model of problem solving in which the solution space is construed as a “game board” on which the problem solver moves “playing pieces” according to prespecified rules. This familiar conceptual model simplifies the developer's cognitive demands when configuring the board-game method to support new application tasks. We compare configuration of the board-game method to that of a chronological-backtracking problem-solving method for the same application tasks (for example, towers of Hanoi and the Sisyphus room-assignment problem). We also examine how method designers can specialize problem-solving methods by making ontological commitments to certain classes of tasks. We exemplify this technique by specializing the chronological-backtracking method to the board-game method.

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

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

[3]  B. Chandrasekaran,et al.  Towards a Taxonomy of Problem Solving Types , 1983, AI Mag..

[4]  Frank van Harmelen,et al.  (ML)2: A Formal Language for KADS Models , 1992, ECAI.

[5]  William J. Clancey,et al.  Heuristic Classification , 1986, Artif. Intell..

[6]  Antony Galton,et al.  Temporal logics and their applications , 1987 .

[7]  Luc Steels,et al.  Enhancing the Knowledge Engineering Process: Contributions from Esprit , 1993 .

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

[9]  B. Chandrasekaran,et al.  Generic Tasks in Knowledge-Based Reasoning: High-Level Building Blocks for Expert System Design , 1986, IEEE Expert.

[10]  Henrik Eriksson,et al.  Specification and Generation of Custom-Tailored Knowledge-Acquisition Tools , 1993, IJCAI.

[11]  Henrik Eriksson,et al.  Conceptual models for automatic generation of knowledge-acquisition tools , 1993, Knowl. Eng. Rev..

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

[13]  Henrik Eriksson.  Metatool support for custom-tailored, domain-oriented knowledge acquisition , 1992 .

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

[15]  Henrik Eriksson,et al.  Generation of knowledge-acquisition tools from domain ontologies , 1994, Int. J. Hum. Comput. Stud..

[16]  Brian R. Gaines,et al.  Current Developments in Knowledge Acquisition — EKAW '92 , 1992, Lecture Notes in Computer Science.

[17]  Gary S. Kahn,et al.  The Mud System , 1986, IEEE Expert.

[18]  B. Chandrasekaran,et al.  Generic Tasks for Knowledge-Based Reasoning: The "Right" Level of Abstraction for Knowledge Acquisition , 1987, Int. J. Man Mach. Stud..

[19]  Marc Linster.  Linking Modeling to Make Sense and Modeling to Implement Systems in an Operational Modeling Environment , 1992, EKAW.

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

[21]  Lawrence M. Fagan,et al.  Episodic skeletal-plan refinement based on temporal data , 1989, CACM.

[22]  Luc Steels,et al.  Components of Expertise , 1990, AI Mag..

[23]  Kurt VanLehn,et al.  Architectures for Intelligence: The 22nd Carnegie Mellon Symposium on Cognition , 1993 .

[24]  John P. McDermott,et al.  VT: An Expert Elevator Designer That Uses Knowledge-Based Backtracking , 1988, AI Mag..

[25]  Mark A. Musen,et al.  Overcoming the limitations of role-limiting methods , 1992 .

[26]  John P. McDermott,et al.  SALT: A Knowledge Acquisition Language for Propose-and-Revise Systems , 1993, Artif. Intell..

[27]  M A Musen,et al.  RESUME: a temporal-abstraction system for patient monitoring. , 1993, Computers and biomedical research, an international journal.

[28]  Yuval Shahar,et al.  Ontology-based configuration of problem-solving methods and generation of knowledge-acquisition tools: application of PROTEGE-II to protocol-based decision support , 1995, Artif. Intell. Medicine.

[29]  M A Musen,et al.  Dimensions of knowledge sharing and reuse. , 1992, Computers and biomedical research, an international journal.

[30]  Larry J. Eshelman,et al.  MOLE: A Tenacious Knowledge-Acquisition Tool , 1987, Int. J. Man Mach. Stud..

[31]  Roger Hale,et al.  Temporal logic programming , 1987 .

[32]  Samson W. Tu,et al.  Modeling tasks with mechanisms , 1993, Int. J. Intell. Syst..

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

[34]  Henrik Eriksson,et al.  Metatools for knowledge acquisition , 1993, IEEE Software.

[35]  M A Musen,et al.  A temporal-abstraction system for patient monitoring. , 1992, Proceedings. Symposium on Computer Applications in Medical Care.

[36]  Richard E. Korf,et al.  Macro-Operators: A Weak Method for Learning , 1985, Artif. Intell..

[37]  Henrik Eriksson,et al.  Reusable ontologies, knowledge-acquisition tools, and performance systems: PROTÉGÉ-II solutions to Sisyphus-2 , 1996, Int. J. Hum. Comput. Stud..

[38]  Timothy W. Finin,et al.  Enabling Technology for Knowledge Sharing , 1991, AI Mag..

[39]  Yuval Shahar,et al.  Knowledge acquisition for temporal-abstraction mechanisms , 1992 .

[40]  William R. Swartout,et al.  DARPA Santa Cruz Workshop on Planning , 1988, AI Mag..

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

[42]  R. James Firby,et al.  An Investigation into Reactive Planning in Complex Domains , 1987, AAAI.

[43]  Samson W. Tu,et al.  Mapping domains to methods in support of reuse , 1994, Int. J. Hum. Comput. Stud..

[44]  John McDermott,et al.  Usable and reusable programming constructs , 1991 .

[45]  Henrik Eriksson,et al.  Plug-and-Play: Construction of Task-Speci c Expert-System Shells Using Sharable Context Ontologies , 1996 .

[46]  Samson W. Tu,et al.  Problem-Solving Models for Generation of Task-Specific Knowledge-Acquisition Tools , 1992, AIFIPP.

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

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

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