累计查询 0.00 亿次

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.
    时序逻辑总是有能力原因时限。

网络短语

  • Temporal Logic of Actions
    行为时序逻辑；逻辑；时序逻辑
  • Linear Temporal Logic
    线性时序逻辑；提出的是线性时序逻辑；和线性时态逻辑理论
  • interval temporal logic
    区间时态逻辑；的区间时态逻辑；时段时态逻辑
  • temporal logic language
    时序逻辑语言
  • EXTRACTION AND temporal logic
    抽取及时态逻辑

同义词

sequential logic
时序逻辑；时间逻辑

英英释义

  • In logic, temporal logic is any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time. In a temporal logic we can then express statements like "I am always hungry", "I will eventually be hungry", or "I will be hungry until I eat something".