An improved critical diagnosis reasoning method

Model-based diagnosis has the disadvantage of a high computational complexity. One way to overcome this disadvantage is to focus the diagnosis on a reduced diagnostic space. We propose an improved critical diagnosis reasoning method based on the method proposed by (Raiman et al., 1993). The method focuses the diagnosis on finding out the kernel diagnoses instead of the whole diagnoses. We give an updated definition of critical cover which we call "critical partition". The conditions satisfied by critical partition are relaxed compared with the conditions for critical cover. Correspondingly, a non-backtracking algorithm called Searching Critical Partition (SCP) to find out the critical partition is also proposed.