The University of Edinburgh -
Division of Informatics
Forrest Hill & 80 South Bridge

Research Paper #536

Title:The Use of Theorem Proving Techniques in Expert Systems for Configuration
Date: 1991
Presented:11th International Conference on Expert Systems and their Applications, Avignon, 1991
Abstract: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.

[Search These Pages] [DAI Home Page] [Comment]