谓词逻辑

The last part discusses some difficulties in the course of building knowledge predicate logic systems: recognizing agents across the worlds; logic almightiness; knowability paradox

第四部分：探讨在构建知道谓词逻辑系统中遇到的一些困难：认知主体知识的一致性，即跨世界识别个体的问题；逻辑全能问题；可知性悖论

Completeness Theorem showsthat syntactic and semantic consequences coincide in the case of the predicatelogic.

完全性定理表明一阶谓词逻辑的语法后承和语义后承是重合的，它标志着一阶逻辑的成熟。

Any logic which uses the existential quantifier or the universal quantifier is said to be a predicate logic.

任何逻辑使用存在量词或全称量词是说是一个谓词逻辑。

Therefore, some these fields are thoroughly investigated in this dissertation, which are respectively mentioned as the following: 1. The Formal Description Language ISITL for Intrusion Signatures ISITL is a high-abstractive formal description language for representing intrusion signatures based on the interval temporal logic and first-order predicate calculus.

本论文对此展开了全面深入的研究，其内容主要包括： 1、基于时段时态逻辑和一阶谓词逻辑的入侵特征形式化描述语言ISITL ISITL克服了以往检测语言以"情景描述"为主的缺陷，转而采用形式化的方法来刻画入侵模式的入侵特征。

This is the first thing you will learn to do in quantifier logic,which is also called predicate logic.

这是在限定逻辑，也称谓词逻辑中你首先要明白的。

My thesis built the theory of predicate logic on the basis of L* propositional logic.

本文在命题逻辑的基础上以系统为背景建立谓词逻辑理论。

This paper summarizes some inferential proof methods in propositional logic and predicate logic by using some examples.

本文结合适当的例题总结了命题逻辑和谓词逻辑的几种常见推理证明方法。

In predicate logic, a predicate can take the role as either a property or a relation between entities.

在谓词逻辑，谓词可以采取的角色，无论是属性或实体之间的关系。

Predicate logic is a kind of highly formalized language and its inferences in view of the analysis of predicate.

谓词逻辑是一种基于谓词分析的高度形式化的语言及其推理，是人工智能科学赖以产生和发展的最古老，最直接，也是最为完备的理论基础。

They are to monadic predicate logic what Boolean algebras are to propositional logic, and what polyadic algebras are to first-order logic.

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

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。