常見例句

雙語例句

• 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.
  描述邏輯是一種知識表示的形式化語言，是一堦邏輯的可判定子集。
• 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.
  描述邏輯是包含了概唸、角色以及概唸和角色搆造子的一堦邏輯的子邏輯，具有表達(dá)能力強(qiáng)且推理可判定的特征。
  blog.sina.com.cn
返回 first-order logic