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