为了证明子句集S的不可满足，只要对S中可进行归结的子句进行归结，并把归结式加入子句集S.得到新子句集S1，则S与S1在不可满足的意义上是等价的，归结原理的本质思想是去检查子句集S是否包含一个空子句•，如果S包含•，则S是不可满足的。
如果S不包含•，则去检查•是否可由S推导出来。
当然这个推理规则必须保证推出的子句是原亲本子句的逻辑结果。
（名词解析）
归结原理
正确答案
答案解析
略
相似试题
（填空题）
利用归结原理证明定理时，若得到的归结式为（），则结论成立。
（填空题）
在归结原理中，几种常见的归结策略并且具有完备性的是（）、（）、（）
（简答题）
简述鲁滨逊归结原理基本思想？
（填空题）
几种常用的归结策略（）策略、支持集策略、线形归结策略、输入归结策略、单元归结策略。
（简答题）
什么是归结控制策略？什么样的归结控制策略是完备的？
（单选题）
反演归结（消解）证明定理时，若当前归结式是（）时，则定理得证。
（填空题）
用归结反演方法进行定理证明时，可采取的归结策略有（）、（）、（）、（）和（）
（简答题）
命题逻辑的归结法与谓词逻辑的归结法的不同之处是什么？
（多选题）
基于归结的问题求解方法的优点是（）
