next up previous
Next: Related Work Up: Construction of problem-solving methods Previous: 6.4 Scenario Conclusions

7 Conclusion & Related Work

In this paper we have given a proposal for the automated configuration of problem solvers for an arbitrary problem-type. Because we use a parameterised schema for describing a problem solver, we are able to regard configuration of problem solvers as a parametric design problem. Our propose-critique-modify method for configuration of (the functionality of) PSMs uses several knowledge types. Our basic assumption is that we exploit the much knowledge of the problem type (in our case diagnosis) for the configuration of problem solvers.

Although parametric desing is classified as ``routine design'' this does not imply that it is an easy problem to solve. This is in line with our experience. It is difficult to instantiate various knowledge types for the case of diagnosis. However, these knowledge types enable us to come to grips with the complex problem of the automated configuration of (diagnostic) PSMs.





next up previous
Next: Related Work Up: Construction of problem-solving methods Previous: 6.4 Scenario Conclusions



Frank van Harmelen
Fri Oct 4 13:40:35 MET DST 1996