名词
中文翻译：间隔时序逻辑
同义词：
['interval temporal logic', 'interval temporal logic formalism']
例句：
-
1. The system uses interval temporal logic to model the behavior of agents.
该系统使用间隔时序逻辑来建模代理的行为。
-
2.In interval temporal logic, there is no notion of time, only events and their occurrences.
在间隔时序逻辑中，没有时间的概念，只有事件及其发生。
-
3.The researcher used interval temporal logic to analyze the data collected from sensors.
研究者使用间隔时序逻辑分析从传感器收集的数据。