An improved critical diagnosis reasoning method

Model-based diagnosis mechanism has the disadvantage of a high computational complexity. One way to overcome this disadvantage is to focus the diagnosis on a reduced diagnostic space. In this paper, we propose an improved critical diagnosis reasoning method based on the method proposed by Raiman, de Kleer and Saraswat. The method proposed here 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 here.