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
双语例句
词组短语
- if first -order logic if一阶逻辑
- first -order modal logic 翻译;一阶模态逻辑
- typed first -order logic 一阶
- classic first -order logic 经典一阶逻辑
- fuzzy first -order logic 模糊一阶逻辑
短语
专业释义
- 一阶逻辑
First-order rule mining technique based on first-order logic is often called as Inductive Logic Programming (ILP).
基于一阶逻辑的一阶规则挖掘技术常被称作归纳逻辑程序设计(ILP)。 - 一阶谓词逻辑
- markov逻辑网
- 一阶逻辑
Propose a set of syntax and semantics of first-order logic for non-repudiation and fairness.3.
2.针对非否认协议的特点提出了一套适用于描述和验证非否认性和公平性的一阶逻辑语法和语义。