基于直觉模糊时间Petri网的不确定性时间推理方法  

Method of Uncertain Temporal Reasoning Based on Intuitionistic Fuzzy Time Petri Net

作　　者：任神河[1] 郑寇全[2] 雷英杰[3] 王睿[3] 

机构地区：[1]咸阳师范学院,陕西咸阳712000 [2]西安通信学院,西安710106 [3]空军工程大学防空反导学院,西安710051

出　　处：《火力与指挥控制》2016年第11期30-35,40,共7页Fire Control & Command Control

基　　金：国家自然科学基金(61272011;61309022);国家重点实验室基金(2012ADL-DW0301);陕西省自然科学青年基金资助项目(2013JQ8031)

摘　　要：针对Petri网模型在对复杂不确定性时间信息描述和推理方面的局限性,在定义直觉模糊时间函数以及网络变迁约减规则的基础上,融合直觉模糊时序逻辑(IFTL)、直觉模糊Petri网(IFPN)以及线性逻辑推理的理论优势,构建了直觉模糊时间Petri网(IFTPN)推理模型,并提出了基于IFTPN的不确定性时间推理算法,较好地解决了态势评估中冲突事件间的不确定性时间推理问题。最后,通过典型的战场想定验证了该时间推理方法的有效性和优越性。To the limitation of the Petri net in the description and the reasoning for complicated and uncertain temporal knowledge,the intuitionistic fuzzy time function and reduction rules between the changes of Net are defined. Meanwhile,the theoretical advantages of intuitionistic fuzzy temporal logic（IFTL）,intuitionistic fuzzy petri net（IFPN）and linear logic reasoning are fused,and the intuitionistic fuzzy time Petri net（IFTPN） model and reasoning method of uncertain temporal reasoning based on IFTPN are proposed. In so doing,the uncertain temporal reasoning matter in conflicts is solved better.Finally,the typical hypothesized battle environment validate the presented approach＇s efficiency and its preference.

关 键 词：直觉模糊集 PETRI网 时序逻辑 时间推理 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]