扩展时段时序逻辑相关论文
针对点 -时段时序逻辑的不足 ,提出了一种新的时段时序逻辑——扩展时段时序逻辑 ,对不确定时间段发生的事件具有较好的描述能力 .......
该文在扩展时段时序逻辑的基础上提出了一种推理机制，这种推理机制基于时间Petri网模型及基本不等式规则，可由一组已知的扩展时段时......
针对点－时段时序逻辑的不足，提出了一种新的时段时序逻辑－－扩展时段时序逻辑，对不确定时间段发生的事件具有较好的描述能力。时间Petri......
