A Correction to the Algorithm in Reiter's Theory of Diagnosis
Reiter  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.
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
International Standard Serial Number (ISSN)
Article - Journal
© 2023 Elsevier, All rights reserved.
01 Jan 1989