第1题：
A.线性输入策略,支持集策略
B.线性输入策略,单文字策略
C.支持集策略,祖先过滤策略
D.单文字策略,祖先过滤策略
答案：C
第2题：
认知策略主要包括以下哪几种（）
A组织策略
B精细加工策略
C复述策略
D支持策略
第3题：
此题为判断题(对，错)。
第4题：
几种常用的归结策略（）策略、支持集策略、线形归结策略、输入归结策略、单元归结策略。
第5题：
什么是归结控制策略？什么样的归结控制策略是完备的？
第6题：
认知策略主要包括以下哪几种( )
A.组织策略
B.精细加工策略
C.复述策略
D.支持策略
第7题：
归结策略中，（）是完备的。 Ⅰ.线性输入策略 Ⅱ.支持集策略 Ⅲ.单文字策略 Ⅳ.祖先过滤策略
第8题：
A、递归策略循环策略
B、限制策略循环策略
C、删除策略递归策略
D、删除策略限制策略
第9题：
用归结反演方法进行定理证明时，可采取的归结策略有（）、（）、（）、（）和（）
第10题：
支持集策略对参加归结的子句提出了什么限制？