归结原理是一种推理规则。从谓词公式转化为子句集的过程中看出,在子句集中子句之间是合取关系,其中只要有一个子句不可满足,则子句集就不可满足。
若一个子句集中包含空子句,则这个子句集一定是不可满足的。归结原理就是基于这一认识提出来的。他的原理就是:P->Q,Q->R 则 P->R由于 P->Q 就是 ¬P∨Q而 Q->R 就是 ¬Q∨R所以,他相当于将Q 和 ¬Q合并。也就是说,P∨{∑1} 与 ~P∨{∑2}可以归结为 {∑1}∨{∑2}其中∑1,∑2是文字的集合
归结原理的基本思想
归结原理是一种推理规则。从谓词公式转化为子句集的过程中看出,在子句集中子句之间是合取关系,其中只要有一个子句不可满足,则子句集就不可满足。
若一个子句集中包含空子句,则这个子句集一定是不可满足的。归结原理就是基于这一认识提出来的。他的原理就是:P->Q,Q->R 则 P->R由于 P->Q 就是 ¬P∨Q而 Q->R 就是 ¬Q∨R所以,他相当于将Q 和 ¬Q合并。也就是说,P∨{∑1} 与 ~P∨{∑2}可以归结为 {∑1}∨{∑2}其中∑1,∑2是文字的集合