first-order logic的例句大全

Automated Theorem Proving Based on Semantic Tableau in First-Order Logic

基于语义tableau的一阶逻辑自动定理证明

This paper describes a methodology based on ILP for upgrading na ? ve Bayesian classifiers to first-order logic.

该文提出形成朴素贝叶斯分类器的一阶扩展的一般方法.

Study on Uncertainty Reasoning in Lattice-Valued First-Order Logic L_ ( vfl) Based on Lattice Implication Algebra

基于格蕴涵代数的格值一阶逻辑L（vfl）中的不确定性推理研究

In order to formalize and verify the protocol, BZL logic model is built, which based on first-order logic and introduces many-sorted, dynamic and non-monotony logic.

为了形式化验证数字现金的安全性，本文在经典一阶逻辑的基础上，吸取了多类逻辑、动态逻辑和非单调逻辑的思想，提出了BZL逻辑模型。

This language of first-order logic is very important.

一阶逻辑语言是非常重要的.

Inductive logic programming based on first-order logic has great expressivity, with which features can be represented in an integrated framework.

归纳逻辑编程（ILP）借助一阶谓词逻辑的强大描述能力，可以自然地表述各种特征，将其整合到一个逻辑框架下，从中学习目标关系。

We define an extended class of integer linear first-order logic formula, which supports most integer linear and bit-wise expressions in C programs including integer division, integer modular and bit-wise operation.

我们定义了一类整数线性一阶逻辑判定公式，此类判定公式支持C程序中常用的整数线性运算。我们优化了判定过程，并扩充了对整数除法、取余和位运算的支持。

they are to monadic predicate logic what boolean algebras are to propositional logic, and what polyadic algebras are to first-order logic.

它们对应一元谓词逻辑，而布尔代数对应于命题逻辑，而多元代数对应于一阶逻辑。

an intensional semantics for first-order logic

一阶逻辑的内涵语义

when the domain of interpretation is finite and its size is a fixed positive integer, the satisfiability problem in the first-order logic can be reduced to sat.

当解释的论域是一个固定大小的有限集合时，一阶逻辑公式的可满足性问题可以等价地归约为SAT问题。

frame connection graph ( fcg) is used to represent the knowledge and then interpreted by using directed graph theory ( dg theory), and finally translated into first-order logic.

我们先用框架连接图（FCG）表示知识，进而用有向图（DG）理论解释，最后转换成一阶逻辑。

Based on it, the tabular methods calculating the first-order and second-order Boolean partial derivative of the OC type logic function were proposed.

在此基础上提出了计算OC型逻辑函数一阶、二阶布尔偏导数的表格方法。

the canonic oc expansion of the first-order boolean partial derivative of the oc type logic function was discussed.

讨论了OC型逻辑函数一阶布尔偏导数的规范OC展开式。

Denotational semantics describes the semantics of a programming language in afunctional way, but the first-order temporal logic expresses the semantics of a prog-ramming language in a logical way.

指称语义学是以函数的形式来表达程序的语义，一阶时态逻辑是以逻辑方式表达程序的语义。

This is an automated theorem prover for first-order and equational logic, used to support inference in language processing.

这是一个用于一阶和逻辑方程式的自动理论证明器，用于支持语言处理中的推理。