在归结原理中，几种常见的归结策略并且具有完备性的是（）、（）、（）

[填空题] 几种常用的归结策略（）策略、支持集策略、线形归结策略、输入归结策略、单元归结策略。

[问答题] 什么是归结控制策略？什么样的归结控制策略是完备的？

[单选题]归结策略中，（）是完备的。Ⅰ.线性输入策略Ⅱ.支持集策略Ⅲ.单文字策略Ⅳ.祖先过滤策略A . Ⅰ，ⅡB . Ⅰ，ⅢC . Ⅱ，ⅣD . Ⅲ，Ⅳ

[名词解释] 归结原理

[填空题] 用归结反演方法进行定理证明时，可采取的归结策略有（）、（）、（）、（）和（）

[填空题] 利用归结原理证明定理时，若得到的归结式为（），则结论成立。

[问答题] 简述鲁滨逊归结原理基本思想？

[多选题] 在中国开展地方政府原理研究的目的可以归结为（）A .服务于当前的改革B .寻求未来发展模式C .提高地方政府活动的社会效益D .维护中央集权体制

[单选题]亚里士多德归结事物存在的原因为几种（）？A .2.0B .3.0C .4.0D .5.0

[问答题] 支持集策略对参加归结的子句提出了什么限制？