（填空题）
在归结原理中，几种常见的归结策略并且具有完备性的是（）、（）、（）
正确答案
删除策略；支持集策略；线性归结策略
答案解析
略
相似试题
（填空题）
几种常用的归结策略（）策略、支持集策略、线形归结策略、输入归结策略、单元归结策略。
（单选题）
归结策略中，（）是完备的。 Ⅰ.线性输入策略 Ⅱ.支持集策略 Ⅲ.单文字策略 Ⅳ.祖先过滤策略
（填空题）
在删除策略归结的过程中删除以下子句：含有（）的子句；含有永真式的子句；子句集中被别的子句类含的子句。
（简答题）
什么是归结控制策略？什么样的归结控制策略是完备的？
（填空题）
利用归结原理证明定理时，若得到的归结式为（），则结论成立。
（简答题）
支持集策略对参加归结的子句提出了什么限制？
（简答题）
简述鲁滨逊归结原理基本思想？
（名词解析）
归结原理
（单选题）
在网站设计中，所有的站点结构都可以归结为（）
