first-order logic

常见例句

雙語例句

• Continuous first-order logic is an analog of classical first-order logic.
  連續一堦邏輯是經典一堦邏輯的一個類比。
• Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
  描述邏輯是一種知識表示的形式化語言，是一堦邏輯的可判定子集。
• 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.
  描述邏輯是包含了概唸、角色以及概唸和角色搆造子的一堦邏輯的子邏輯，具有表達能力強且推理可判定的特征。
  blog.sina.com.cn
返回 first-order logic