一阶逻辑（First-order logic）是数学家、哲学家、语言学家使用的一种形式演绎系统。它有很多名字包括：一阶谓词演算、低等谓词演算、一阶逻辑的语言或谓词逻辑...
基于2470个网页-相关网页
课程介绍：本课程是以学习初阶逻辑 (First-order Logic) 为目标。初阶逻辑包括语句逻辑 (propositional logic) 和述词逻辑 (predicate logic)，语句逻辑是以语句为单位所建构的逻辑，而...
基于52个网页-相关网页
... 课程介绍 本课程是以学习初阶逻辑 (First-order Logic) 为目标。初阶逻辑包括语句逻辑 (propositional logic) 和述词逻辑 (predicate logic)，语句逻辑是以语句为单位所建构的逻辑，而...
基于12个网页-相关网页
依照一个逻辑公式转换模板,把服务的语义(I,O,P,E,V)映射成一个一阶谓词逻辑(First-Order Logic,FOL)定理,以已有服务作为已知定理,目标服务作为待证明定理。
基于4个网页-相关网页
First order logic [计] 一阶逻辑 ; 一阶谓词逻辑 ; 的一阶谓词逻辑
Semigroups underlying first-order logic 一阶逻辑之下的半群
if first-order logic if一阶逻辑
first-order logic model 一阶逻辑模型
specification in first-order logic-axioms 一阶逻辑表达的公理规格说明
fuzzy 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)。
参考来源 - 遗传归纳逻辑程序设计技术研究Propose a set of syntax and semantics of first-order logic for non-repudiation and fairness.3.
2.针对非否认协议的特点提出了一套适用于描述和验证非否认性和公平性的一阶逻辑语法和语义。
参考来源 - 密码协议非否认性和公平性验证技术研究·2,447,543篇论文数据，部分数据来源于NoteExpress
以上来源于: WordNet
Continuous first-order logic is an analog of classical first-order logic.
连续一阶逻辑是经典一阶逻辑的一个类比。
HOL is more expressive than first-order logic and enables a concise description of complex properties.
HOL比一阶逻辑更有表现力，能给复杂逻辑更加简洁的描述。
Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
描述逻辑是一种知识表示的形式化语言，是一阶逻辑的可判定子集。
应用推荐