一种不确定时段的扩展时段时序逻辑:时间Petri网模型表示和线性推理  

Extended Interval Temporal Logic for Undetermined Interval:Modeling and Linear Inference Using Time Petri Nets

作　　者：林闯[1] 刘婷[1] 曲扬[1] 

机构地区：[1]清华大学计算机科学与技术系,北京100084

出　　处：《计算机学报》2001年第12期1299-1309,共11页Chinese Journal of Computers

基　　金：国家自然科学基金项目 ( 6 0 1730 12 );国家重点基础研究发展规划项目( G19990 32 70 7)资助

摘　　要：针对点 -时段时序逻辑的不足 ,提出了一种新的时段时序逻辑——扩展时段时序逻辑 ,对不确定时间段发生的事件具有较好的描述能力 .时间 Petri网模型表示的引入 ,增强了扩展时段时序逻辑的描述直观性及分析能力 ,为进行线性推理提供了有利的工具 .同时还提出了几种变迁间的实施推理规则 .运用这些规则可以简化复杂时序关系的 Petri网模型 ,并在线性时间复杂度内定量地得到各变迁间的时序逻辑关系 。A method for modeling imprecise temporal aspects of discrete-event systems, extended interval temporal logic,is proposed, which is an extension of the traditional point-interval temporal logic. Time Petri nets are used to model this new logic, which give an straightforward view of the logic and provide a powerful tool for analyzing complicated temporal relations. Based on time Petri nets, we put forward several linear firing rules among transitions. Using these rules and their combination, we can simplify the Petri net representation of complicated temporal relations, thus get the quantitative relations between time intervals and solve temporal logic problem within linear time complexity. So it is an effective method.

关 键 词：点-时段时序逻辑 扩展时段时序逻辑 时间Peter网 线性推理 人工智能 

分 类 号：TP183[自动化与计算机技术—控制理论与控制工程]