一阶谓词逻辑是现代逻辑中最为经典的演算系统。
Predicate logic of first order is the most classical calculation system in modern logic.
符号逻辑往往分为两个分支，命题逻辑和谓词逻辑。
Symbolic logic is often divided into two branches, propositional logic and predicate logic.
依据谓词逻辑规则建立解决方案，提供了求解的流程。
By predicate logic, the solution is set up and the process of analysis is provided.
具有较好的柔韧性和宽容度，它可以容纳经典谓词逻辑。
It can contain classic quantified modal logic and it is flexible and tolerated.
任何逻辑使用存在量词或全称量词是说是一个谓词逻辑。
Any logic which USES the existential quantifier or the universal quantifier is said to be a predicate logic.
一元谓词逻辑和类逻辑都不能完全反映传统词项逻辑的特征。
Both one-predicate logic and the class logic can not express all characteristics of traditional lexical item logic.
以自由逻辑为基础的模态谓词逻辑是对经典模态谓词逻辑的改造。
Quantified modal logic based on free logic improves classic quantified modal logic.
本文提出了一种用条件谓词逻辑来表示和推理pki信任关系的方法。
In this paper, a conditional predicate calculus logic was proposed for representing and reasoning about PKI trust model.
最后用谓词逻辑和产生式表示法相结合作为知识库中预警规则的描述方法。
At last predicate logic is combined with production KR, as which a method to describe the warning rule in the knowledge base.
描述逻辑是一阶谓词逻辑的可判定子集，具备强大的知识表示和推理功能。
Description Logics (DLs) is a decidable subset of first-order predication logic which possesses powerful function of knowledge expressing and reasoning.
最后采用谓词逻辑和产生式表示法相结合的方法作为知识库中的推理规则描述方法。
At last predicate logic is combined with production KR, as which a method to describe the reasoning rule in the knowledge base.
定义了基于代价分析的防御决策模型，并提出了一种基于谓词逻辑的防御知识表示方法。
Define the model of decision-making about defense based on cost analysis and providing an expression of defense knowledge based on predication logic.
提出了两种用于一阶谓词逻辑推理的图形方法：目标制导的图形推理法和变迁框图形推理法。
Two graphical methods used in first-order predicate logical reasoning, that is goal-guiding graphical reasoning method and transition frame graphical reasoning method, are presented.
重点研究了设计主体的层次结构，建立了完整的设计主体行为协议，并用谓词逻辑进行了严格的语义定义。
According to the hierarchy of the intelligent agent, a series of behavior protocols were constructed and strictly defined by predicate logics.
认证路径长度和证书策略是对信任关系的限制，将其作为约束条件加到谓词逻辑中更好地反映出现实中的信任。
Certification path length and certificate policies are constraints of trust, it is reasonable to add them as conditions to the logic.
第四部分：探讨在构建知道谓词逻辑系统中遇到的一些困难：认知主体知识的一致性，即跨世界识别个体的问题；
The last part discusses some difficulties in the course of building knowledge predicate logic systems: recognizing agents across the worlds;
封闭世界假设作为谓词逻辑子句集进行增广完备的一种方法，也是完全可以引入本体知识库进行知识信息的增广完备的。
Closed World Assumption used in expanding the predicate logic clauses can also be taken into the ontological knowledge bases to finish the knowledge expansion there.
有些人可能会认为，由于有OR逻辑，谓词的顺序不会造成差别，因为不管怎样它们都会被应用。
Some would think that with or logic, the order of the predicates wouldn't make a difference since they both must be applied anyway.
IF/THEN/ELSE逻辑是搞清楚如何使用WHERE 子句谓词的良好基础，因此在DB2地址空间中行能够被快速拒绝。
IF/THEN/ELSE logic is fertile ground for figuring out how to use WHERE clause predicates so rows can be rejected sooner in DB2's address space.
这些STAGE3谓词，特别是拒绝大部分行的那些，通常是不使用WHERE 子句的旧有VSAM逻辑的结果。
These STAGE 3 predicates, especially those that reject a majority of the rows, are usually the result of old VSAM logic that did not utilize a WHERE clause.
因此，与AND逻辑不同，使用OR逻辑时，需要将过滤作用较弱的谓词编码在过滤作用较强的谓词之前。
Therefore, unlike AND logic, with or logic we want to code the least-filtering predicate before the most-filtering predicate.
本文借助中介逻辑谓词演算系统MFM，对不完全信息系统的理论和应用进行了研究。
This paper investigates the theory and application of incomplete information system by using the medium logic predicate calculus system MFM.
换句话说，就是通过引入相应的谓词，将二元关系的性质用逻辑公式来表示。
In other words properties of binary relation are expressed by logic formulae through introduce corresponding predicate.
谓词演算语言的传统的语义组成了数理逻辑的一个很丰富的分支。
Predicate Calculus language of the traditional semantic component of the mathematical logic of a very rich branch.
用计算函数模型进行精确的数据流分析，条件谓词之间的逻辑关系被转化为空间区域之间的覆盖关系。
For a precise dataflow analysis within the framework of the computation function model, the logical relationship of branch conditions is represented as the coverage relationship of regions.
在本知识库系统模型中，知识表示采用一阶谓词(SDSS)逻辑和案例两者相结合的方式。
In this knowledge base system model, we adopt both first order predicate logic (FOPL) and case knowledge representation modes to represent the knowledge.
目前，命题模态逻辑已成为人工智能以及计算机科学等其他领域的有效工具，但谓词模态逻辑却不是。
Propositional modal logic is now an effective tool in artificial intelligence and other areas of computer science, but predicate modal logic is not.
讨论了三种时间逻辑方法：一阶谓词演算，模态逻辑及具体化逻辑。
Three temporal logics i. e. first-order predicate calculus, modal logic and reified logic are discussed.
将在谓词函数的逻辑中使用每个元素的索引。
Each element's index is used in the logic of the predicate function.
将在谓词函数的逻辑中使用每个元素的索引。
Each element's index is used in the logic of the predicate function.
应用推荐