Abstract: "We examine the task of synthesizing large computer configurations from specifications using a knowledge-based system. We propose a new approach which breaks away from the traditional rule-based IKBS paradigm. The technique of proof planning is used to synthesize a computer configurat...

Full description

Bibliographic Details

Main Author:	Lowe, Helen (Author)
Format:	Book
Language:	English
Published:	Edinburgh 1993
Series:	University <Edinburgh> / Department of Artificial Intelligence: DAI research paper 664
Subjects:	Bionics and artificial intelligence Computer software Computer-aided engineering
Summary:	Abstract: "We examine the task of synthesizing large computer configurations from specifications using a knowledge-based system. We propose a new approach which breaks away from the traditional rule-based IKBS paradigm. The technique of proof planning is used to synthesize a computer configuration S from a specification spec(S) by proving the theorem [backwards E]S.spec(S). Our representation gives a clean separation of the different types of knowledge: object-level, heuristics, and control, and greatly facilitates the exploration of explicit design issues in this domain. We overview the design issues to be taken into account, concentrating on cost and efficiency. We conclude that the task cannot be viewed as either an optimization or a purely constraint driven problem, and that design choices must be preserved and not constrained in the finished configuration. Our prototype system allows this."
Physical Description:	52 S.