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

Research Paper #859

Title:Proof Planning and Configuration
Authors:Lowe,H; Pechoucek,M; Bundy,A
Date:Jun 1997
Presented:Presented at the Industrial Applications of Prolog Conference
Abstract:This paper presents two configuration problems: that of configuring computer hardware to meet a given specificiation, and an "engineer-made-to-order" problem in the domain of breathing air compressor production. We demonstrate how the different kinds of knowledge needed to solve problems in each domain (which we label factual, heuristic, and strategic) was captured for a proof planning system. The systems perform favourably when compared with human experts. The ideas developed for the first domain (computer hardware) transferred remarkably well to the new domain (compressors), the time taken from knowledge acquisition to prototype being less than thre months. We show that such systems are also easy to maintain, and to adapt to similar but distinct problems in the same domain. We end with suggestions of further domains and problems which we believe are amenable to the proof planning approach.

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