Skip to main content Accessibility help
×
×
Home

Proof planning for maintainable configuration systems

  • HELEN LOWE (a1), MICHAL PECHOUCEK (a2) and ALAN BUNDY (a3)
    • Published online: 01 September 1998
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 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.

Copyright
Corresponding author
Reprint requests to: Helen Lowe, Department of Computer Studies, Glasgow Caledonian University, Cowcaddens Road, Glasgow, Scotland. E-mail: H.Lowe@gcal.ac.uk.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

AI EDAM
  • ISSN: 0890-0604
  • EISSN: 1469-1760
  • URL: /core/journals/ai-edam
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×

Keywords

Type Description Title
PDF

 PDF (492 KB)
492 KB

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed