The University of Edinburgh -
Division of Informatics
Forrest Hill & 80 South Bridge

MSc Thesis #9679

Title:Generating System Specifications from Application Requirements for Model-Based Diagnosis
Date: 1996
Abstract:This project implements a system that generates the design specifications from the application requirements for Model-Based Diagnosis. A conventional rule-based approach is adopted to implement the system using CLIPS as the programming language. The main goal of the project is to collect, organise and encode the information needed for constructing the knowledge base that facilitates the methodological mapping between given problem descriptions and suitable solution methods. Case studies are used to evaluate the performance of the resulting system. A description of the system's performance on the tests is given and conclusions drawn.

[Search These Pages] [DAI Home Page] [Comment]