该文介绍了变电站设备故障诊断专家系统ＦＤＥＳ（Ｆａｕｌｔ Ｄｉａｇｎｏｓｉｓ Ｅｘｐｅｒｔ Ｓｙｓｔｅｍ）的数学模型，详细叙述了专家知识形式化和推理机制的数学主体模型。......

本文阐述由T-Prolog动态数据库实现的知识库中,知识形式化的一种方法及其用于专家系统中的特点。......