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

• The Inference Engine of Extended Interval Temporal Logic