基于柯伊珀斯的QSIM推理，提出了比较约束以减少诊断空间。 定性约束的传递规律用于系统诊断的仿真和推理。 该算法以观察到的故障状态为起点，根据质性约束的传递规律，诊断因果关系变量和位置的差异，从故障原因中诊断出检查结果并删除诊断结果的冗余性。 在冷凝式制冷系统的例子中，根据定性差方程建立约束关系。 针对制冷效率低下，多余的空气或氟利昂的混合物被诊断为故障源，与实际系统相符。