论文部分内容阅读
介绍一种基于时间Petri网的时间知识推理算法,它是在已有算法的的基础上,引入模糊时间区间的操作进行扩展而形成,该算法可一次性构建相应的时间知识系统的生成图,再用生成图进行时间知识验证和推理,相对于已有的算法来说,具有效率高,可处理时间区间的不确定性问题等优点,针对列车运行的时间知识系统进行算法的应用研究得出,本算法可验证时间约束的列车运行调整方案的可行性,能验证铁路专家系统中时间知识的一致性问题,用生成图可推导出某些带时间约束事件同时发生的可能性等。