格值自动机的产生式推理建模方法

摘要：

针对多规则多结论的复杂产生式推理,将形式化语言识别能力和产生式推理结合起来,提出一种基于格值自动机的产生式推理建模方法.首先,利用格值自动机理论优点,将复杂产生式推理过程用格值自动机的格值语言描述出来,从而建立通用的产生式推理模型;其次,给出模型的规则间逻辑正确性验证方法,以及模型随规则库更新而更新的方法;最后,用实例验证建模方法的正确性.结果表明:该方法可以充当专家系统的辅助决策系统,具有较好的现实意义和实用价值.

关键词：产生式推理、格值自动机、正确性验证、故障诊断、辅助决策

所属期刊栏目：39

分类号：TP271.8;TP206.3(自动化技术及设备)

资助基金：国家自然科学基金资助项目61203040

在线出版日期：2018-03-15（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：92-97