This text considers the problem that at present one of the main obstacles to a broader application of expert systems is the lack of a theory to tell us which problem-solving methods are available for a given problem class. It discusses how such theory could lead to significant progress in the central aims of the expert system technique - evaluating the technical feasibility of expert system projects.