Division of Informatics
Forrest Hill & 80 South Bridge
Research Paper #878 | |
|---|---|
| Title: | Proof Planning for Maintainable Configuration Systems |
| Authors: | Lowe,H; Pechoucek,M; Bundy,A |
| Date: | Oct 1997 |
| Presented: | Submitted for publication to the Special Issue of EDAM on Configuration |
| Keywords: | |
| Abstract: | 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 hardware 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. |
| Download: | POSTSCRIPT COPY |
![[Search These Pages]](http://www.dai.ed.ac.uk/icons/dai_search.gif){kind=icon}
![[DAI Home Page]](http://www.dai.ed.ac.uk/icons/dai_home.gif){kind=icon}
![[Comment]](http://www.dai.ed.ac.uk/icons/dai_comment.gif){kind=icon}