从已知的事实出发，通过运用已掌握的知识，找出其中蕴涵的事实，或归纳出新的事实，这一过程称为推理。若按推理时所用知识的确定性来划分，推理可分为（）、（）。

在将谓词公式子句化的时候，首先要进行的是（）。

A.消去谓词公式中→和符号
B.变量标准化
C.消去存在量词
D.消去全称量词

点击查看答案

产生式表示法的主要优点有（）、（）、（）、（）。 点击查看答案