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

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

判断题 谓词P中的所有个体都是个体常量、变元或函数，则该谓词P为二阶谓词。