Use this URL to cite or link to this record in EThOS:
Title: The application of proof plans to computer configuration problems
Author: Lowe, Helen
Awarding Body: University of Edinburgh
Current Institution: University of Edinburgh
Date of Award: 1993
Availability of Full Text:
Access from EThOS:
Full text unavailable from EThOS. Please try the link below.
Access from Institution:
Traditional expert systems technology is limited, being hard to maintain and extend to new problems. In this thesis, I propose a logical formalization for the domain of computer hardware which will enable the use of theorem proving techniques for the task of computer hardware configuration. This domain was the subject of one of the earliest knowledge based systems, XCON. Whilst XCON is cited as a successful system, it has nevertheless also been criticized for its maintenance problems. This is an important issue, as the turnover of computer hardware components is particularly changeable, the market being subject to intense competition and rapidly changing technology. My approach enables the task of configuring a computer configuration c from a specification spec(c) to be performed by synthesizing c as a by-product of proving the theorem exists c.spec(c) when c becomes instantiated in the course of the proof. A clean separation of the object-level, heuristic and control knowledge enbales us to guide search and aids maintenance. As well as ensuring legal configurations, by virtue of the soundness of the underlying logical theory, I have also been able to take design issues into consideration by using heuristic and control knowledge.
Supervisor: Not available Sponsor: Not available
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID:  DOI: Not available