扩展时段时序逻辑的推理机制

摘要

该文在扩展时段时序逻辑的基础上提出了一种推理机制, 这种推理机制基于时间Petri网模型及基本不等式规则,可由一组已知的扩展时段时序关系推出一些未知的扩展时段时序关系,对不确定时间段内发生的事件及其相互关系具有较好的描述能力.这种推理机制的优势在于定性地对扩展时段之间的时序关系进行推理分析.利用时间Petri网模型,可以对复杂时序逻辑关系进行化简,比单纯利用不等式规则的推理更直观,也更简单,是一种行之有效的方法.