基于有限状态自动机的产生式推理

摘要：

本文提出一种用有限状态自动机的代数理论,为产生式推理的正向推理与或树建立数学模型的方法,并将产生式推理过程中的概念和结构映射到有限状态自动机的概念和结构上,同时给出了产生式推理的语义形式化描述.

关键词： 产生式推理 推理树 有限状态自动机 代数模型

作者: 王书振 李雷 王保保

作者单位: 西安电子科技大学计算机学院,西安 710071

会议类型: 国内会议

会议名称: 第二届仪表、自动化与先进集成技术大会

会议地点: 深圳

会议语种:中文

页码: 372-374

在线出版日期: 2008-11-01（万方平台首次上网日期，不代表论文的发表时间）