Inducing Temporal Fault Diagnostic Rules from a Qualitative Model

Elsevier eBooksPublished 1 January 1991

Cheng Feng

Citations43

TL;DR

An application of a new machine learning system, Golem, in the domain of generating temporal fault diagnostic rules for the power supply subsystem of a satellite in the form of Horn (relational) clauses is described.

Abstract

Machine learning has been used successfully as a tool to generate fault diagnostic rules from first principles. However, many diagnostic problems such as those involving temporal reasoning remain unsolvable due to the limitations of current learning algorithms. This paper describes an application of a new machine learning system, Golem, in the domain of generating temporal fault diagnostic rules for the power supply subsystem of a satellite. Temporal rules in the form of Horn (relational) clauses are successfully produced by exploiting the ability of Golem to discover relations from examples expressed as logical facts. The examples used to induce rules are generated by simulation from a qualitative model of the power supply subsystem. Results showed good diagnostic accuracy.

Keywords

Computer Science

Artificial IntelligenceA theory of diagnosis from first principles

2,897 Citations1987Raymond Reiter

The theory accommodates diagnostic reasoning in a wide variety of practical settings, including digital and analogue circuits, medicine, and database updates, and reveals close connections between diagnostic reasoning and nonmonotonic reasoning.

Machine LearningLearning Logical Definitions from Relations

1,425 Citations1990J. R. Quinlan

FOIL is a system that learns Horn clauses from data expressed as relations, but extends them to a first-order formalism, which has been applied successfully to several tasks taken from the machine learning literature.

View PDF

Artificial IntelligenceDiagnostic reasoning based on structure and behavior

973 Citations1984Randall Davis

A system that reasons from first principles, i.e., using knowledge of structure and behavior, which is implemented and tested on several examples in the domain of troubleshooting digital electronic circuits and describes a technique it calls constraint suspension that provides a powerful tool for troubleshooting.

View PDF

Efficient Induction of Logic Programs

657 Citations1990Stephen Muggleton, Cheng Feng

The concept of h-easy rlgg clauses is introduced and it is proved that the length of a certain class of \determinate" r lgg is bounded by a polynomial function of certain features of the background knowledge.

Machine LearningLearning logical definitions from relations

613 Citations1990J. R. Quinlan

foil is a system that learns Horn clauses from data expressed as relations, based on ideas that have proved effective in attribute-value learning systems, but extends them to a first-order formalism.

View PDF

Elsevier eBooksQualitative Reasoning About Physical Systems

580 Citations1984

Artificial Intelligence in MedicineKARDIO: A study in deep and qualitative knowledge for expert systems

176 Citations1991

This book is the first detailed account of the development of a complex and successful expert system based on deep and qualitative knowledge and shows how the qualitative modeling approach, using logic based representations and machine learning techniques, can be used to construct knowledge bases whose complexity is far beyond the capability of traditional, dialogue based techniques of knowledge acquisition.

National Conference on Artificial IntelligenceThe induction of fault diagnosis systems from qualitative models

56 Citations1988D. Pearce

A fault diagnostic knowledge base can be automatically synthesised from a qualitative model of the device by systematically simulating all component failures, and its application for fault diagnosis of a satellite's electrical power subsystem is described.

Elsevier eBooksInducing Temporal Fault Diagnostic Rules from a Qualitative Model

43 Citations1991Cheng Feng