𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A correction to the algorithm in reiter's theory of diagnosis

✍ Scribed by Russell Greiner; Barbara A. Smith; Ralph W. Wilkerson

Publisher
Elsevier Science
Year
1989
Tongue
English
Weight
453 KB
Volume
41
Category
Article
ISSN
0004-3702

No coin nor oath required. For personal study only.

✦ Synopsis

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.

πŸ“œ SIMILAR VOLUMES

The relationship of polymer theory to ma
The relationship of polymer theory to mainstream solid state theory in the 60s and 70s
✍ S. F. Edwards πŸ“‚ Article πŸ“… 1999 πŸ› John Wiley and Sons 🌐 English βš– 318 KB πŸ‘ 2 views

shaped the development of polymer physics. Unfortunately many whom we contacted were unable to contribute, and production constraints gave authors limited time to prepare these notes.

The relevancy of holland's theory to a n
The relevancy of holland's theory to a nonprofessional occupation
✍ Mark J. Miller; William J. Scaggs; Don Wells πŸ“‚ Article πŸ“… 2006 πŸ› American Counseling Association 🌐 English βš– 71 KB πŸ‘ 1 views

The authors examined job satisfaction and workers' perceptions of a nonprofessional occupation using the Position Classification Inventory (PCI; G. D. Gottfredson & J. L. Holland, 1991). Results revealed high job satisfaction scores and suggest that the PCI shows promise as a method of classifying w