next up previous
Next: 5.1 Propose Up: Construction of problem-solving methods Previous: 4.2 Methods for the

5 A Propose-critique-modify Method for Configuring PSMs

 

In this section we describe a method of the PCM family for automated configuration of problem solvers. We configure complete models and verify, criticise and modify them. We discuss the four steps of a PCM method (propose, verify, critique and modify), and visualise them in diagrams: the ovals are inferences (steps and sub-steps in the method), the solid-line boxes are input/output data of the inferences, and the dotted boxes represent knowledge that is specific for a particular type of PSMs. In our case the dotted boxes contain knowledge about diagnostic methods.





next up previous
Next: 5.1 Propose Up: Construction of problem-solving methods Previous: 4.2 Methods for the



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