基于IFTPN的不确定时间知识描述和推理方法
来源期刊：控制与决策2010年第10期
论文作者：申晓勇 雷英杰 华继学 史朝辉
文章页码：1457 - 1462
关键词：时间Petri网;直觉模糊集合;直觉模糊时间Petri网;线性逻辑;
摘 要：针对现有时序逻辑在对复杂不确定时间信息描述和推理方面的局限性,构造了直觉模糊时间Petri网模型(IFTPN)及其推理方法.该Petri网模型利用直觉模糊集合对模糊时延、模糊时间片进行描述,可以表达定义在离散论域或连续论域的各种不确定时间信息,并基于直觉模糊逻辑定义了模糊时间运算法则;同时,基于线性逻辑对该模型进行描述,定义了变迁之间的各种触发规则,并给出了推理方法.将该方法应用于C4ISR系统进行决策时延分析,表明了该模型及其推理方法是比较优越的.
申晓勇，雷英杰，华继学，史朝辉
空军工程大学导弹学院
摘 要：针对现有时序逻辑在对复杂不确定时间信息描述和推理方面的局限性,构造了直觉模糊时间Petri网模型(IFTPN)及其推理方法.该Petri网模型利用直觉模糊集合对模糊时延、模糊时间片进行描述,可以表达定义在离散论域或连续论域的各种不确定时间信息,并基于直觉模糊逻辑定义了模糊时间运算法则;同时,基于线性逻辑对该模型进行描述,定义了变迁之间的各种触发规则,并给出了推理方法.将该方法应用于C4ISR系统进行决策时延分析,表明了该模型及其推理方法是比较优越的.
关键词：时间Petri网;直觉模糊集合;直觉模糊时间Petri网;线性逻辑;
