Edinburgh Research Explorer

Proof Planning and Configuration

Research output: Contribution to conferencePaper

Related Edinburgh Organisations

Open Access permissions

Open

Documents

Original languageEnglish
StatePublished - 1996
EventThe 9th Symposium and Exhibition on Industrial Applications of Prolog (INAP'96) - Hino, Tokyo, Japan
Duration: 16 Oct 199618 Oct 1996

Conference

ConferenceThe 9th Symposium and Exhibition on Industrial Applications of Prolog (INAP'96)
CountryJapan
CityHino, Tokyo
Period16/10/9618/10/96

Abstract

This paper presents two configuration problems: that of configuring computer hardware to meet a given specification, and an “engineer-and-made-to-order” problem in the domain of breathing air compressor production. We demonstrate how the different kinds of knowledge needed to solve problems in each domain (which we label factual, heuristic, and strategic) was captured for a proof
planning system. The systems perform favourably when compared with human experts. The ideas developed for the first domain (computer hardware) transferred remarkably well to the new domain (compressors), the time taken from knowledge acquisition to prototype being less than three months. We show that such systems are also easy to maintain, and to adapt to similar but distinct problems in the same domain. We end with suggestions of further domains and problems which we believe are amenable to the proof planning approach.

Event

The 9th Symposium and Exhibition on Industrial Applications of Prolog (INAP'96)

16/10/9618/10/96

Hino, Tokyo, Japan

Event: Conference

Download statistics

No data available

ID: 6317201