** Next:** 1 Introduction

# Construction of problem-solving methods as parametric design

**Annette ten Teije**^{1},
Frank van Harmelen^{2},
Guus Schreiber^{1}
and Bob Wielinga^{1}

^{1}SWI, University of Amsterdam, `
{annette}@swi.psy.uva.nl`

^{2}Dept. of Math and CS, Vrije
Universiteit Amsterdam

### Abstract:

*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, yet others 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 problem
solving methods that allows us to view the construction of
problem solvers as a configuration problem, and specifically as a parametric
design problem. There are several methods
for solving configuration tasks. Studying these methods and in particular
the method of propose-critique-modify results in guidelines for
arranging the automated configuration theory. Furthermore we
illustrate this method by a scenario in a small car domain example.
This scenario is detailed enough that it can be directly implemented
in a suitable architecture, which we have described elsewhere.
*

** Next:** 1 Introduction

*Frank van Harmelen *

Fri Oct 4 13:40:35 MET DST 1996