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