单项选择题 鲁滨逊归结原理可以分为命题逻辑归结原理和（）归结原理。

单项选择题 从推出新判断的途径来分，推理分为演绎推理、归纳推理、（）推理。

判断题 规则库就是用于描述某领域内的知识的产生式集合，是某领域知识（规则）的存储器，其中的规则是以产生式形式表示的。