A Correction to the Algorithm in Reiter's Theory of Diagnosis

Author

Russell Greiner
Barbara A. Smith
Ralph W. Wilkerson, Missouri University of Science and TechnologyFollow

Abstract

Reiter [3] Has Developed a General Theory of Diagnosis based on First Principles. His Algorithm Computes All Diagnoses Which Explain the Differences between the Predicted and Observed Behavior of a Given System. Unfortunately, Reiter's Description of the Algorithm is Incorrect in that Some Diagnoses Can Be Missed under Certain Conditions. This Note Presents a Revised Algorithm and a Proof of its Correctness. © 1989.

Recommended Citation

R. Greiner et al., "A Correction to the Algorithm in Reiter's Theory of Diagnosis," Artificial Intelligence, vol. 41, no. 1, pp. 79 - 88, Elsevier, Jan 1989.

The definitive version is available at https://doi.org/10.1016/0004-3702(89)90079-9

Department(s)

Computer Science

Comments

Natural Sciences and Engineering Research Council of Canada, Grant None

International Standard Serial Number (ISSN)

0004-3702

Document Type

Article - Journal

Document Version

Citation

File Type

text

Language(s)

English

Rights

© 2023 Elsevier, All rights reserved.

Publication Date

01 Jan 1989