为提高诊断时的并行推理能力，给出了诊断推理的形式化算法。
The formalized algorithm of diagnosis reasoning to enhance the parallel reasoning ability is given.
薛教授提出的PAR方法是一种简单实用的形式化算法设计、开发和证明的方法。
PAR Method is a formalization method of algorithm design, development and verification, and it is simple and useful.
计算学习理论为比较两算法的性能提供了形式化的框架，并能确定某概念类的计算复杂度和样本复杂度。
Computational learning theory provides formal framework for comparing the performance of two algorithms, and can determine the sample complexity and the computational complexity of some concept class.
应用推荐