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