反演归结（消解）证明定理时，若当前归结式是（）时，则定理得证。

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

填空题查看答案

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

填空题查看答案

如何通过消解反演求取问题的答案？

简答题查看答案

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

填空题查看答案

什么是归结控制策略？什么样的归结控制策略是完备的？

简答题查看答案

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

填空题查看答案

命题逻辑的归结法与谓词逻辑的归结法的不同之处是什么？

简答题查看答案

证明定理：若存在一个码长为l1，l2，lq的惟一可译码，则一定存在具有相同码长的即时码。

简答题查看答案

简述鲁滨逊归结原理基本思想？

简答题查看答案