基于IFTPN的不确定时间知识描述和推理方法  

Description and reasoning method of uncertain temporal knowledge based on IFTPN

作　　者：申晓勇[1] 雷英杰[1] 华继学[1] 史朝辉[1] 

机构地区：[1]空军工程大学导弹学院,陕西三原713800

出　　处：《控制与决策》2010年第10期1457-1462,共6页Control and Decision

基　　金：国家自然科学基金项目(60773209);陕西省自然科学基金项目(2006F18)

摘　　要：针对现有时序逻辑在对复杂不确定时间信息描述和推理方面的局限性,构造了直觉模糊时间Petri网模型(IFTPN)及其推理方法.该Petri网模型利用直觉模糊集合对模糊时延、模糊时间片进行描述,可以表达定义在离散论域或连续论域的各种不确定时间信息,并基于直觉模糊逻辑定义了模糊时间运算法则;同时,基于线性逻辑对该模型进行描述,定义了变迁之间的各种触发规则,并给出了推理方法.将该方法应用于C4ISR系统进行决策时延分析,表明了该模型及其推理方法是比较优越的.To the limitation of the description and the reasoning for complicated and uncertain temporal knowledge,intuitionistic fuzzy time Petri nets（IFTPN） model and reasoning method are proposed.In the model,the fuzzy time-delay and the fuzzy timestamps are represented by intuitionistic fuzzy sets in continuous domain and discrete domain,and the fuzzy time operation formulas are defined based on intuitionistic fuzzy logic.In the meantime,based on linear logic,the model is described and fire rules among the transitions are defined,then the linear reasoning method is given.Finally,the proposed method is applied to C4ISR system to analyze the decision time delay,and the results show that the proposed model and reasoning method are more predominant.

关 键 词：时间PETRI网 直觉模糊集合 直觉模糊时间Petri网 线性逻辑 

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