常見(jiàn)例句

雙語(yǔ)例句

• Continuous first-order logic is an analog of classical first-order logic.
  連續(xù)一階邏輯是經(jīng)典一階邏輯的一個(gè)類比。
• Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
  描述邏輯是一種知識(shí)表示的形式化語(yǔ)言，是一階邏輯的可判定子集。
• Description logics are fragments of the first-order logic, which contain concepts, roles, and concept and role constructors; and have features of strong expressivity and decidable reasoning.
  描述邏輯是包含了概念、角色以及概念和角色構(gòu)造子的一階邏輯的子邏輯，具有表達(dá)能力強(qiáng)且推理可判定的特征。
  blog.sina.com.cn
返回 first-order logic