Bundy, Alan

Lowe, H.

Pechoucek, M.

English

Configuration is a complex task generally involving varying measures of constraint satisfaction, optimization, and the management of soft constraints. Although many successful systems have been developed, these are often difficult to maintain and to generalize in rapidly changing domains. In this paper we consider building intelligent knowledge based systems with maintainability well to the fore in our requirements for such systems. We introduce two case studies: the initial proof of concept, which was in the domain of computer configuration, and a further field-tested study, the configuration of compressors. Central to our approach is the use of the proof planning technique, and the clean separation of different kinds of knowledge: factual, heuristic, and strategic

Edinburgh Research Explorer

A knowledge representation systems for dealing with hardware configuration.

A Logic-Based Description of Configuration: The Constructive Problem Solving Approach.

A theoretical framework for configuration.

Configuration as Composite Constraint Satisfaction.

Constraint-based knowledge representation for configuration systems.

Construction of problem-solving methods as parametric design.

Expert systems for configuration at Digital: XCON and beyond.

Interactive Configuration Using Constraint Satisfaction Techniques.

Introduction to Knowledge Systems.

Logic-based configuration with a semantic network.

Product configuration: application of rule-based and frame-based systems. Artificial Intelligence Applications Institute, University of Edinburgh.Proof planning for Maintainability

Proof Planning and Industrial Configuration.

Proof planning: a methodology for developing AI systems involving design.

Proofs as programs.

R1: a rule-based configurer of computer systems.

Rule Based Expert Systems: The MYCIN experiment of Stanford Heuristic Programming Project.

Some thoughts on Configuration Processes.

The application of proof plans to computer configuration problems. Unpublished Ph.D. thesis,

Proof Planning for Maintainable Conﬁguration Systems

Abstract

Similar works

Full text

Available Versions

Edinburgh Research Explorer