Research Paper #536
|The Use of Theorem Proving Techniques in Expert Systems for Configuration
|11th International Conference on Expert Systems and their Applications, Avignon, 1991
|the difficulties involved in maintaining large knowledge bases for configuration and order checking tasks are well known. An important factor in overcoming these is the clean separation of object-level facts from meta-level control and heuristic knowledge. We outline how object-level knowledge may be extracted and formally represented in such a way as to allow the utilization of techniques analogous to program synthesis, to perform tasks such as synthesizing computer systems which meet specifications. such an approach makes the task of maintaining knowledge bases more tractable and reliable; the consequent separation of object-level knowledge from heuristics and control knowledge increases the utility of the knowledge base.