Symbolic logic is often divided into two branches, propositional logic and predicate logic.
符号逻辑往往分为两个分支，命题逻辑和谓词逻辑。
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.
一元谓词逻辑和类逻辑都不能完全反映传统词项逻辑的特征。
At last predicate logic is combined with production KR, as which a method to describe the warning rule in the knowledge base.
最后用谓词逻辑和产生式表示法相结合作为知识库中预警规则的描述方法。
At last predicate logic is combined with production KR, as which a method to describe the reasoning rule in the knowledge base.
最后采用谓词逻辑和产生式表示法相结合的方法作为知识库中的推理规则描述方法。
The last part discusses some difficulties in the course of building knowledge predicate logic systems: recognizing agents across the worlds;
第四部分：探讨在构建知道谓词逻辑系统中遇到的一些困难：认知主体知识的一致性，即跨世界识别个体的问题；
In this knowledge base system model, we adopt both first order predicate logic (FOPL) and case knowledge representation modes to represent the knowledge.
在本知识库系统模型中，知识表示采用一阶谓词(SDSS)逻辑和案例两者相结合的方式。
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.
封闭世界假设作为谓词逻辑子句集进行增广完备的一种方法，也是完全可以引入本体知识库进行知识信息的增广完备的。
Whether the classical predicate logic systems with the primitive rule of universal generalization have the strong semantic soundness depends on the restriction of the rule.
将全称概括规则作为初始规则的系统是否限制对该规则的使用可导致系统相对于通常的语义解释是否具有强可靠性。
The access control rule of the ACBAC model is formalized by the first order predicate logic. The realization method of the model in business process management systems is also discussed.
文章用一阶谓词对该模型的访问控制约束规则进行了形式化描述，并讨论了该模型在业务流程管理系统中的实现方法。
Therefore, unlike AND logic, with or logic we want to code the least-filtering predicate before the most-filtering predicate.
因此，与AND逻辑不同，使用OR逻辑时，需要将过滤作用较弱的谓词编码在过滤作用较强的谓词之前。
Predicate Calculus language of the traditional semantic component of the mathematical logic of a very rich branch.
谓词演算语言的传统的语义组成了数理逻辑的一个很丰富的分支。
After this, American Logician Kurt Godel proved the completeness theory of predicate calculus. This means the completion of the base of Modern Logic.
之后，美籍逻辑学家歌德尔一阶谓词演算的完备性定理，这标志着现代逻辑基础部分的完成。
This paper investigates the theory and application of incomplete information system by using the medium logic predicate calculus system MFM.
本文借助中介逻辑谓词演算系统MFM，对不完全信息系统的理论和应用进行了研究。
In other words properties of binary relation are expressed by logic formulae through introduce corresponding predicate.
换句话说，就是通过引入相应的谓词，将二元关系的性质用逻辑公式来表示。
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.
讨论了三种时间逻辑方法：一阶谓词演算，模态逻辑及具体化逻辑。
In this paper, a conditional predicate calculus logic was proposed for representing and reasoning about PKI trust model.
本文提出了一种用条件谓词逻辑来表示和推理pki信任关系的方法。
In this paper, a conditional predicate calculus logic was proposed for representing and reasoning about PKI trust model.
本文提出了一种用条件谓词逻辑来表示和推理pki信任关系的方法。
应用推荐