A correction to the algorithm in reiter'
โ
Russell Greiner; Barbara A. Smith; Ralph W. Wilkerson
๐
Article
๐
1989
๐
Elsevier Science
๐
English
โ 453 KB
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