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

摘要：

针对现有时序逻辑在对复杂不确定时间信息描述和推理方面的局限性,构造了直觉模糊时间Petri网模型(IFTPN)及其推理方法.该Petri网模型利用直觉模糊集合对模糊时延、模糊时间片进行描述,可以表达定义在离散论域或连续论域的各种不确定时间信息,并基于直觉模糊逻辑定义了模糊时间运算法则;同时,基于线性逻辑对该模型进行描述,定义了变迁之间的各种触发规则,并给出了推理方法.将该方法应用于C4ISR系统进行决策时延分析,表明了该模型及其推理方法是比较优越的.

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

所属期刊栏目：25

分类号：TP182(自动化基础理论)

资助基金：国家自然科学基金60773209;陕西省自然科学基金2006F18

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

页码：1457-1462