扩展时段时序逻辑的模型、一致性和推理  

Modeling, Consistency and Inference of Extended Interval Temporal Logic

作　　者：林闯[1] 曲扬[1] 李雅娟[1] 

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

出　　处：《计算机学报》2002年第12期1338-1347,共10页Chinese Journal of Computers

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

摘　　要：给出了扩展时段时序逻辑的时间 Petri网 (TPN)模型构造方法 ,在构造模型的同时可对时序关系进行一致性检验 .在模型的基础上提出了一种时序关系推理算法 ,这种推理算法基于 TPN模型的性质及基本不等式规则 ,可由一组已知的扩展时段时序关系推出一些未知的扩展时段时序关系 .这种推理算法的优势在于利用了 TNP模型的分析技术 ,减小了推理的时间复杂度 ,比单纯利用不等式规则的推理更直观 ,也更简单 ,是一种有效的方法 .最后 ,对扩展时段时序逻辑的 TPN模型进行了扩充 ,增强了其模型和分析的能力 .This paper presents a method for modeling extended interval temporal logic (EITL) with Time Petri Nets (TPN). With TPN, the specifications of a system given by temporal statements can be transformed into a representation of graph, and the analysis techniques of TPN can be used for model solution. A new inference algorithm based on TPN and inequation rules is also proposed. With this algorithm, unknown temporal relations among the extended temporal intervals can be inferred from the known ones. Using this method, we can infer temporal relations qualitatively even if specific numerical value are not known. On the condition of knowing specific numerical value, inferring procedure can be simplified, and inferring result is unique. So it is more practical and more straightforward than the inference method which only uses inequation rules. Finally, the TPN model of extended interval temporal logic is extended to enhance its ability of modeling and analyzing parallel relations as well as conflict relations.

关 键 词：扩展时段 时序逻辑 模型 一致性 推理 PETRI网 

分 类 号：O142[理学—数学]