Construction of problem-solving methods as parametric design

The knowledge-engineering literature contains a number of approaches for constructing or selecting problem solvers. Some of these approaches are based on indexing and selecting a problem solver from a library, others are based on a knowledge acquisition process, or are based on search-strategies. None of these approaches sees constructing a problem solver as a configuration task that could be solved with an appropriate configuration method. We introduce a representation of the functionality of problem-solving methods that allows us to view the construction of problem solvers as a configuration problem, and specifically as a parametric design problem. From the available methods for parametric design, we use propose-critique-modify for the automated configuration of problem-solving methods. We illustrate this approach by a scenario in a small car domain example.

[1]  Thesis,et al.  Characterizing and Mechanizing Abductive Reasoning , 1994 .

[2]  A.C.M. ten Teije-Koppen.  Automated configuration of problem solving methods in diagnosis , 1997 .

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

[4]  A. T. Schreiber,et al.  The Sisyphus-VT initiative , 1996 .

[5]  Dieter Fensel,et al.  A Case Study: Assumptions and Limitations of a Problem-Solving Method , 1998 .

[6]  Frederick Hayes-Roth,et al.  Building expert systems , 1983, Advanced book program.

[7]  Enrico Motta,et al.  Parametric Design Problem Solving , 1996 .

[8]  Frank van Harmelen,et al.  Computing Approximate Diagnoses By Using Approximate Entailment , 1996, KR.

[9]  Rainer Perkuhn.  Reuse of Problem-Solving Methods and Family Resemblances , 1997, EKAW.

[10]  Dieter Fensel,et al.  Assumptions of Problem-Solving Methods and their Role in Knowledge Engineering , 1996, ECAI.

[11]  William P. Birmingham,et al.  Editorial: the Sisyphus-VT initiative , 1996, Int. J. Hum. Comput. Stud..

[12]  Frank van Harmelen,et al.  Using reflection techniques for flexible problem solving (with examples from diagnosis) , 1996, Future Gener. Comput. Syst..

[13]  Eleni Stroulia,et al.  Redesigning a Problem-Solver's Operations to Improve Solution Quality , 1997, IJCAI.

[14]  Luca Console,et al.  Readings in Model-Based Diagnosis , 1992 .

[15]  Jay T. Runkel,et al.  Solving VT by reuse , 1996, Int. J. Hum. Comput. Stud..

[16]  A. T. Schreiber,et al.  A formal analysis of parametric design problem solving , 1995 .

[17]  David C. Brown,et al.  Design Problem Solving: Knowledge Structures and Control Strategies , 1989 .

[18]  Sanjay Mittal,et al.  Towards a Generic Model of Configuraton Tasks , 1989, IJCAI.

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

[20]  Xavier Talon,et al.  A Language to Specify Strategies for Flexible Problem-Solving , 1997 .

[21]  Sandra Marcus,et al.  VT: an expert elevator designer that uses K-B backtracking , 1988 .

[22]  Frank van HarmelenSWIUniversity.  An Extended Spectrum of Logical Deenitions for Diagnostic Systems , 1994 .

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