Not Logged In

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

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.

Citation

R. Greiner, B. Smith, R. Wilkerson. "A Correction to the Algorithm in Reiter's Theory of Diagnosis". Artificial Intelligence (AIJ), 41(1), pp 79--88, November 1989.

Keywords: Diagnosis, logic
Category: In Journal
Web Links: Journal

BibTeX

@article{Greiner+al:AIJ89,
  author = {Russ Greiner and Barbara A. Smith and R. W Wilkerson},
  title = {A Correction to the Algorithm in Reiter's Theory of Diagnosis},
  Volume = "41",
  Number = "1",
  Pages = {79--88},
  journal = {Artificial Intelligence (AIJ)},
  year = 1989,
}

Last Updated: April 04, 2021
Submitted by Russ Greiner

University of Alberta Logo AICML Logo