在归结原理中，几种常见的归结策略并且具有完备性的是（）、（）、（）
题目
在归结原理中，几种常见的归结策略并且具有完备性的是（）、（）、（）
相似考题
更多“在归结原理中，几种常见的归结策略并且具有完备性的是（）、（）、（）”相关问题
-
第1题：
归结策略中，（）是完备的。 Ⅰ.线性输入策略 Ⅱ.支持集策略 Ⅲ.单文字策略 Ⅳ.祖先过滤策略
- A、Ⅰ，Ⅱ
- B、Ⅰ，Ⅲ
- C、Ⅱ，Ⅳ
- D、Ⅲ，Ⅳ
正确答案:C -
第2题：
软件故障产生的原因可归结为哪几种？
正确答案: （1）软件的版本与系统的要求不符
（2）受病毒感染
（3）系统文件丢失
（4）注册表损坏 -
第3题：
几种常用的归结策略（）策略、支持集策略、线形归结策略、输入归结策略、单元归结策略。
正确答案:删除 -
第4题：
光纤中的色散可归结为几种？
正确答案: 模式色散、材料色散和波导色散。 -
第5题：
论文的结论就是论文的归结，是高度概括、具有说服力、科学性、严密性的结尾。
正确答案:正确 -
第6题：
在删除策略归结的过程中删除以下子句：含有（）的子句；含有永真式的子句；子句集中被别的子句类含的子句。
正确答案:纯文字 -
第7题：
归结原理
正确答案: 为了证明子句集S的不可满足，只要对S中可进行归结的子句进行归结，并把归结式加入子句集S.得到新子句集S1，则S与S1在不可满足的意义上是等价的，归结原理的本质思想是去检查子句集S是否包含一个空子句•，如果S包含•，则S是不可满足的。
如果S不包含•，则去检查•是否可由S推导出来。
当然这个推理规则必须保证推出的子句是原亲本子句的逻辑结果。 -
第8题：
问答题简述鲁滨逊归结原理基本思想？正确答案： 首先把欲证明问题的结论否定，并加入子句集，得到一个扩充的子句集S’。然后设法检验子句集S’是否含有空子句，若含有空子句，则表明S’是不可满足的；若不含有空子句，则继续使用归结法，在子句集中选择合适的子句进行归结，直至导出空子句或不能继续归结为止。解析： 暂无解析 -
第9题：
单选题归结策略中，（）是完备的。 Ⅰ.线性输入策略 Ⅱ.支持集策略 Ⅲ.单文字策略 Ⅳ.祖先过滤策略AⅠ，Ⅱ
BⅠ，Ⅲ
CⅡ，Ⅳ
DⅢ，Ⅳ
正确答案： D解析： 暂无解析 -
第10题：
填空题利用归结原理证明定理时，若得到的归结式为（），则结论成立。正确答案： 空集解析： 暂无解析 -
第11题：
填空题几种常用的归结策略（）策略、支持集策略、线形归结策略、输入归结策略、单元归结策略。正确答案： 删除解析： 暂无解析 -
第12题：
填空题用归结反演方法进行定理证明时，可采取的归结策略有（）、（）、（）、（）和（）正确答案： 删除策略,支持集策略,线性输入策略,单文字子句策略,祖先过滤策略解析： 暂无解析 -
第13题：
什么是归结控制策略？什么样的归结控制策略是完备的？
正确答案: 对子句集S进行归结时，如果采用盲目的、全面的归结，其结果将产生大量的不必要的归结式，如果要在计算机上实现，不但浪费计算机的存储空间，而且要浪费大量的计算时间。
为了解决这一问题，研究如何选择合适的子句进行归结，以避免多余的、不必要的归结式的出现，这就是归结控制策略。
归结控制策略有完备与不完备之分。
如果子句集S是不可满足的，当且仅当用某归结控制策略能够归结出空子句。
则称该归结控制策略为完备的归结控制策略。 -
第14题：
用归结反演方法进行定理证明时，可采取的归结策略有（）、（）、（）、（）和（）
正确答案:删除策略；支持集策略；线性输入策略；单文字子句策略；祖先过滤策略 -
第15题：
支持集策略对参加归结的子句提出了什么限制？
正确答案: 支持集策略要求在每次归结时，亲本子句中至少应有一个是由目标的否定所得到的子句或者它们的后代。 -
第16题：
汽温调节可归结为哪几种？并加以解释？
正确答案: 汽温调节可归结为蒸汽侧调节和烟气侧调节两种，蒸汽侧调节时通过改变蒸汽的热焓来实现的，一般通过减温器利用低温工质吸收蒸汽的热量使其降温，改变吸热工质的热量，就可以达到调节汽温的目的。烟气侧调节时通过改变流过受热面的烟气温度或烟气流量，时传热温差、传热系数发生变化来改变受热面的吸热量，并最终达到调节汽温的目的。 -
第17题：
汽温调节可归结为哪几种？
正确答案: 汽温调节可归结为蒸汽侧调节和烟气侧调节两种。蒸汽侧调节是通过改变蒸汽的热焓来实现的，一般通过减湿器利用低温工质吸收蒸汽的热量使其降温，改变吸收工质的热量，就可达到调节气温的目的。烟气侧调节是通过改变流过受热面的烟气温度或烟气流量，使传热温差、传热系数发生变化来改变受热面的吸热量，并最终达到调节汽温的目的。 -
第18题：
简述鲁滨逊归结原理基本思想？
正确答案: 首先把欲证明问题的结论否定，并加入子句集，得到一个扩充的子句集S’。然后设法检验子句集S’是否含有空子句，若含有空子句，则表明S’是不可满足的；若不含有空子句，则继续使用归结法，在子句集中选择合适的子句进行归结，直至导出空子句或不能继续归结为止。 -
第19题：
填空题在归结原理中，几种常见的归结策略并且具有完备性的是（）、（）、（）正确答案： 删除策略,支持集策略,线性归结策略解析： 暂无解析 -
第20题：
问答题支持集策略对参加归结的子句提出了什么限制？正确答案： 支持集策略要求在每次归结时，亲本子句中至少应有一个是由目标的否定所得到的子句或者它们的后代。解析： 暂无解析 -
第21题：
问答题车辆制冷从原理上可归结为那几种？正确答案： （1）利用液体气化，固体融化与升华的相变过程要吸收气化热，融化热与升华热的特性来制冷。主要有蒸气压缩式制冷、冰盐混合物制冷，干冰（固体二氧化碳）制冷和液氮制冷等；
（2）利用温差电效应的半导体制冷。解析： 暂无解析 -
第22题：
问答题什么是归结控制策略？什么样的归结控制策略是完备的？正确答案： 对子句集S进行归结时，如果采用盲目的、全面的归结，其结果将产生大量的不必要的归结式，如果要在计算机上实现，不但浪费计算机的存储空间，而且要浪费大量的计算时间。
为了解决这一问题，研究如何选择合适的子句进行归结，以避免多余的、不必要的归结式的出现，这就是归结控制策略。
归结控制策略有完备与不完备之分。
如果子句集S是不可满足的，当且仅当用某归结控制策略能够归结出空子句。
则称该归结控制策略为完备的归结控制策略。解析： 暂无解析 -
第23题：
名词解释题归结原理正确答案： 为了证明子句集S的不可满足，只要对S中可进行归结的子句进行归结，并把归结式加入子句集S.得到新子句集S1，则S与S1在不可满足的意义上是等价的，归结原理的本质思想是去检查子句集S是否包含一个空子句•，如果S包含•，则S是不可满足的。
如果S不包含•，则去检查•是否可由S推导出来。
当然这个推理规则必须保证推出的子句是原亲本子句的逻辑结果。解析： 暂无解析