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

MSc Thesis #9659

Title:Industrial Configuration and Proof Planning
Date: 1996
Abstract:This dissertation discusses the appropriateness of proof planning, a theorem proving technique, for configuration tasks. The knowledge orientation used within proof planning addresses successfully the problem of maintainability and allows the possibility of further enhancement or modification, whilst making the knowledge elicitation process more natural. All this is illustrated firstly using ICON - Industrial Configurator, an application written in LPA Prolog. ICON uses proof planning methodology and it solvers the "engineer-and-made-to-order"-type of configuration problem in the domain of breathing air compressor production. Proof planning is then advocated by comparative study using the knowledge analysis stage within the Knowledge Acquisition and Domain Structuring (KADS) methodology.

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