将普通形式逻辑中充分条件的假言联锁推理形式符号化，并向一阶谓词逻辑推广的一种推理法则，又称归结法则、分解法则、消解法则。
...g， 该语言实现了自动推理功能，是 一种较有前途的计算机语言Prolog语言建立在一阶谓词逻辑和归结原理 （Resolution Principle）基础上，它具有自动推理功能。
基于510个网页-相关网页
...P=P1∧P2∧∧Pn的子句集3.2 海伯伦（HERBRAND）理论3.2.1 H域3.2.2 原子集.3.2.3 H域上的解释3.3 归结原理（RESOLUTION METHOD）3.3.1 置换与合3.3.2 命题逻辑中的归结原理3.3.3 一阶谓词逻辑中的归结原理3.3.4.
基于64个网页-相关网页
结构归纳法原理 [数] structural induction principle
Further, resolution principle based on matrix calculus is proposed.4 .
进一步，在万中提出了基于矩阵运算的归结原理。
参考来源 - 基于神经网络的自动推理理论及方法的研究Resolution Principle is an important means of automatic proving of theorem.
归结原理是定理自动证明的重要工具。
参考来源 - 关于PI证明的若干注记以及逻辑公式的真度理论·2,447,543篇论文数据，部分数据来源于NoteExpress
应用推荐