一阶逻辑(first order logic,FOL)也叫一阶谓词演算，允许量化陈述的公式，是使用于数学、哲学、语言学及计算机科学中的一种形式系统。一阶逻辑是区别于高阶逻辑的数理逻辑，它不允许量化性质。性质是一个物体的特性；所以一个红色物体被表述为有红色的特性。
FOL = First Order Logic（一阶逻辑） HAMT = Human Assisted/Aided Machine Translation（人工辅助机器翻译） .
基于10个网页-相关网页
一阶逻辑之下的半群 Semigroups underlying first-order logic
扩展的一阶逻辑系统 EFOL
IF一阶逻辑 IF first-order logic
一阶逻辑模型 first-order logic model
分布式一阶逻辑 DistributedFirstOrder Logics ; DFOL
经典一阶逻辑 Classic first-order logic
一阶谓词逻辑 first-order predicate logic ; First Order Predicate Calculus ; [数] predicate logic of first order ; FOPL
分布一阶谓词逻辑 distributed first-order predicate logic
First-order rule mining technique based on first-order logic is often called as Inductive Logic Programming (ILP).
基于一阶逻辑的一阶规则挖掘技术常被称作归纳逻辑程序设计(ILP)。
参考来源 - 遗传归纳逻辑程序设计技术研究A Markov logic network(MLN) is a first-order knowledge base with a weight attached to each formula,and can be viewed as a template for constructing Markov networks.
马尔科夫逻辑是一种功能强大且形式简单的语言,它很好的统一了概率化模型和一阶逻辑理论。
参考来源 - 马尔科夫逻辑网络在引文匹配和中文命名实体识别中的应用研究There are two kinds of representations for their semantics. One is the expression described by original relational operators, the other is the expression described by one order logic.
它们的语义有两种常见的表示方式,一种是基于原始算子的表达式,一种是基于一阶逻辑的表达式。
参考来源 - 关系代数派生算子语义表达式间等价性证明 in CPropose a set of syntax and semantics of first-order logic for non-repudiation and fairness.3.
2.针对非否认协议的特点提出了一套适用于描述和验证非否认性和公平性的一阶逻辑语法和语义。
参考来源 - 密码协议非否认性和公平性验证技术研究·2,447,543篇论文数据，部分数据来源于NoteExpress
连续一阶逻辑是经典一阶逻辑的一个类比。
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.
将带广义量词Q的一阶逻辑的二值弱模型推广到取值于完备弱可补格上。
The two value weak model for first order logic with generalized quantifier Q is generalized to be valued in complete weak complemented lattices.
应用推荐