摘要
介绍一种基于时间Petri网的时间知识推理算法,它是在已有算法的基础上,引入模糊时间区间的操作进行扩展而形成。该算法可一次性构建相应的时间知识系统的生成图,再用生成图进行时间知识验证和推理,相对于已有的算法来说,具有效率高、可处理时间区间的不确定性问题等优点。针对列车运行的时间知识系统进行算法的应用研究得出:本算法可验证时间约束的列车运行调整方案的可行性;能验证铁路专家系统中时间知识的一致性问题;用生成图可推导出某些带时间约束事件同时发生的可能性等。
The paper presents a temporal knowledge reasoning algorithm based on Time Petri Nets(TPN). At the base of existing algorithm,the fuzzy time interval is used to develop the algorithm. It uses the TPN model of the temporal knowledge in the system to construct the sprouting graph at one time, then uses the graph to check the consistency of temporal knowledge and perform temporal reasoning. The algorithm has higher efficiency, and can deal with the uncertain interval in the system, etc. Studying on application of the algorithm in the temporal knowledge system for trains operation, it is deduced that this algorithm can check the train traffic control scheme with the time constraint and check the consistency of the temporal knowledge in the railway expert system, the sprouting graph can be used to reason whether the time constraint events happen simultaneously, etc.
出处
《铁道学报》
EI
CAS
CSCD
北大核心
2002年第5期5-10,共6页
Journal of the China Railway Society
基金
国家自然科学基金资助项目(60174051)
