temporal logic
时间逻辑：一种用于表示和推理关于时间的逻辑系统
常用释义
英式发音
美式发音
基本释义
- 时间逻辑：一种用于表示和推理关于时间的逻辑系统，通常用于计算机科学、人工智能和哲学等领域。
例句
-
1·Linear temporal logic is an established discipline.线性时序逻辑是一个已经确立的规则。
-
2·And here is a bit of temporal logic for you. It is raining today.这里有点时序逻辑，今天下雨。
-
3·Temporal logic always has the ability to reason about a time line.时序逻辑总是有能力原因时限。
-
4·And that's because of the temporal logic that's how the logic of time works.那是因为时序逻辑，时间的逻辑就是这样运作的。
-
5·In a temporal logic, statements can have a truth value which can vary in time.在时序逻辑，报表可以有真值，可以在不同的时间。
-
6·We present a dense timed interval temporal logic and exploit the decidability problem of DTITL.定义了稠密时间区间时序逻辑，它是区间时序逻辑的一种实时扩充。
-
7·Three temporal logics i. e. first-order predicate calculus, modal logic and reified logic are discussed.讨论了三种时间逻辑方法：一阶谓词演算，模态逻辑及具体化逻辑。
-
8·The aim of this article is to establish the completeness theorem of elementary first-order temporal logic.本文的目的是：为基本的一阶时态逻辑建立一个完备性定理。
-
9·The systems are usually described by the timed automata and the properties are specified by the temporal logic.这类系统通常用时间自动机来表示，而它们的性质则用时序逻辑公式表示。
-
10·We may also use the first-order temporal logic to set some specific formal systems for various fields of studies.我们也能使用一阶时态逻辑，为各种研究领域建立一些特定的形式系统。
同义词