在专家系统中，所谓的概念形式化就是将概念转换成计算机所要求的形式。

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

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

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

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

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

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