first order logic的例句大全

It is well known that the determinant problem in classic proposition logic is a NP complete problem, and the first order logic is a half determinant one. So both the analysis of computing complexity and the realization of it are the most important fields.

众所周知，经典命题逻辑中的判定问题是NP完全问题，而一阶逻辑是半可判定问题，关于非经典逻辑特别是非单调逻辑的计算复杂性分析和算法实现是一个重要的研究领域。

First order logic is a most important concept in the field of propositional logic.

而一阶谓词逻辑化为其前束范式是命题演算的重要步骤.

Interpolation theorem and preservation theorem in first order logic have determined the existence of first order formula in accordance with certain conditions, their proofs in classical model theory are fairly long and hard to tackle.

一阶逻辑的内插定理和保持定理确定了符合某些条件的公式的存在性，经典模型论中对这些的证明较为繁难。

Because the first order logic can characterize the computational semantics of a software component, it has become an important research direction in software engineering domain to use first order logic to represent a component and to use resolution based automatic theorem proving technology to retrieve it.

由于一阶逻辑能够描述软件构件的计算语义，因此用一阶逻辑表示构件及用基于归结原理的自动定理证明技术检索构件的研究在软件工程领域得到了足够的重视。

This result can be used to prove the completeness theorems of first order logic system and the universal refutation method proposed by us.

这一结果可以用于证明一阶逻辑形式系统和我们所提出的广义反驳方法的完备性。

According to internal logic order of the controlling and managing the government contingent liability, this part points four basic countermeasure and suggestions The first one is deepening the system reform and keeping within limits of the local government contingent liability.

本部分按照政府或有债务控制管理的内在逻辑顺序，主要提出了四个方面的对策建议，即深化体制改革，加强源头控制；

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）理论解释，最后转换成一阶逻辑。

operation order management in power system was first developed in late 1980s. in traditional operation order system, the operation logic is embedded into program using process description language.

电力系统倒闸操作票生成技术是从上个世纪80年代发展起来的一门技术。传统的操作票系统使用过程性描述语言，将操作逻辑混合在程序中。

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 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）中的不确定性推理研究

Logic Order Jottings on the Design for the First Renmin Hospital in Foshan

逻辑与秩序&佛山市第一人民医院设计随笔

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.

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

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

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