在知识形式化过程中，要先对概念形式化。

从一般现象到个别现象的推理称为演绎推理。

判断题从一般现象到个别现象的推理称为演绎推理。

专家比诸大量的知识，这些知识获属于规律性的知识。

判断题专家比诸大量的知识，这些知识获属于规律性的知识。

在专家系统中，知识获取是完成把专家的知识按一定的知识表示形式输入到专家系统的推理机中。

判断题在专家系统中，知识获取是完成把专家的知识按一定的知识表示形式输入到专家系统的推理机中。