最后提出了集成案例推理与规则推理的车辆保险决策支持系统并给出了系统框架。
At last, this paper gives the integrated reasoning model of CBR and RBR and put the framework of decision support system.
结果表明，与传统的基于规则推理(rbr)相比，CBR具有效率高且有自学习能力的优点。
The case demonstrates that CBR has the characteristics of high efficiency and self learning with contrast to conventional Rule Based Reasoning (RBR).
对归结原理的基本概念与推理规则进行了讨论，并在此基础上通过实例探讨了归结推理方法在数学定理证明中的应用。
It discusses carefully the basic concepts and inference rule of the resolution principle. According to the discussion, resolution method is used to prove a mathematical theorem through a example.
应用推荐