[1]戴茵茵,彭翔,王飞.格值自动机的产生式推理建模方法[J].华侨大学学报(自然科学版),2018,39(1):92-97.[doi:10.11830/ISSN.1000-5013.201512025]
 DAI Yinyin,PENG Xiang,WANG Fei.Modeling of Production Inference Based on Lattice Automata[J].Journal of Huaqiao University(Natural Science),2018,39(1):92-97.[doi:10.11830/ISSN.1000-5013.201512025]
点击复制

格值自动机的产生式推理建模方法()
分享到:

《华侨大学学报(自然科学版)》[ISSN:1000-5013/CN:35-1079/N]

卷:
第39卷
期数:
2018年第1期
页码:
92-97
栏目:
出版日期:
2018-01-17

文章信息/Info

Title:
Modeling of Production Inference Based on Lattice Automata
文章编号:
1000-5013(2018)01-0092-06
作者:
戴茵茵 彭翔 王飞
华侨大学 信息科学与工程学院, 福建 厦门 361021
Author(s):
DAI Yinyin PENG Xiang WANG Fei
College of Information Science and Engineering, Huaqiao University, Xiamen 361021, China
关键词:
产生式推理 格值自动机 正确性验证 故障诊断 辅助决策
Keywords:
production inference lattice automata correctness verification fault diagnosis aided decision-making
分类号:
TP271.8;TP206.3
DOI:
10.11830/ISSN.1000-5013.201512025
文献标志码:
A
摘要:
针对多规则多结论的复杂产生式推理,将形式化语言识别能力和产生式推理结合起来,提出一种基于格值自动机的产生式推理建模方法.首先,利用格值自动机理论优点,将复杂产生式推理过程用格值自动机的格值语言描述出来,从而建立通用的产生式推理模型;其次,给出模型的规则间逻辑正确性验证方法,以及模型随规则库更新而更新的方法;最后,用实例验证建模方法的正确性.结果表明:该方法可以充当专家系统的辅助决策系统,具有较好的现实意义和实用价值.
Abstract:
A modeling of complex production inference based on lattice automata is presented by combining the ability of the speech recognition and production inference. Firstly, production reasoning can be described by lattice automata languages using the theoretical advantage of the lattice automata, so a general model can be built. Then, the correctness verification of the logic among invoking rules is presented. Also the model updating method through the rules’ increase and decrease is put forward. Finally, an instance analysis is made to verify the modeling validity. The result shows that the modeling method can be used as an aided decision-making system of fault diagnosis expert system. It has a good practical significance and value.

参考文献/References:

[1] 李雷.基于产生式规则的变压器故障诊断专家系统[D].西安:西安电子科技大学,2008:9-52.DOI:10.7666/d.y1431429.
[2] 陈帅均.基于专家系统的飞行器评估系统研究[D].北京:中国科学院大学,2014:66-82.
[3] PAN Xinglong, HE Guo, ZHANG Chaojie. Fault diagnosis of relay control circuit based on discrete event system[C]//International Workshop on Intelligent Systems and Applications.Wuhan:IEEE Press,2009:1-4.DOI:10.1109/IWISA.2009.5072866.
[4] KILIC E,OZGONENEL O,ULUTAS M.Fault identification in transformers through a fuzzy discrete event system approach[C]//IEEE International Conference on Fuzzy Systems.London:IEEE Press,2007:1-6.DOI:10.1109/FUZZY.2007.4295575.
[5] CHEN S M.Weighted fuzzy reasoning using weighted fuzzy Petri nets[J].IEEE Transactions on Knowledge and Data Engineering,2002,14(2):386-397.DOI:10.1109/69.991723.
[6] 彭翔,王飞.有限状态自动机产生式推理的一般性建模方法[J].自动化仪表,2014,34(5):9-12.DOI:10.3969/j.issn.1000-0380.2014.05.004.
[7] 杨建维.基于模糊Petri网的电网故障诊断方法研究[D].成都:西南交通大学,2011:37-66.DOI:10.7666/d.y2109084.
[8] 李永明.格值自动机与语言[J].陕西师范大学学报(自然科学版),2003,13(4):1-6.DOI:10.3321/j.issn:1672-4291.2003.04.001.
[9] HALAMISH S,KUPFERMAN O.Minimizing deterministic lattice automata[C]//Foundations of Software Science and Computational Structures.Berlin:Springer Berlin Heidelberg,2011:199-213.DOI:10.1145/2631915.
[10] WARE S,MALIK R.Conflict-preserving abstraction of discrete event systems using annotated automata[J].Discrete Event Dynamic Systems,2012,22(4):451-477.DOI:10.1007/s10626-012-0133-3.
[11] 朱少民.软件测试方法和技术[M].北京:清华大学出版社,2005:70-76.

备注/Memo

备注/Memo:
收稿日期: 2015-12-21
通信作者: 戴茵茵(1976-),女,讲师,博士,主要从事电机设计、控制及电力电子应用的研究.E-mail:crystle@hqu.edu.cn.
基金项目: 国家自然科学基金资助项目(61203040)
更新日期/Last Update: 2018-01-20