Authors establish an interval-gap-based temporal logic after giving the interval-gap-based representation of temporalknowledge.
在给出了间断区的时态知识表示后建立了基于间断区间的时态逻辑。
2
Reasoning and validating of temporalknowledge are very important in modeling and analyzing operations of a train group, and are the key technology of its implementation.
时间知识的推理和验证技术对列车群行为建模分析具有重要意义，是其实施关键。
3
But temporal logics of knowledge can describe more accurately the desirable specification of systems and protocols in distributed systems.