predicate logic的意思

predicate logic中文翻譯：

[數]謂詞邏輯

相似詞語短語

predicate noun───謂語性名詞

predicate nouns───謂語性名詞

predicate calculi───謂詞結石

predicate calculus───[數]謂詞演算

pneumatologic───氣動學

prebiologic───生物前

prediabetic───adj.前驅糖尿病的；n.前驅糖尿病人

predicate───n.謂語，述語；v.使……基于；斷言；暗示；adj.謂語的，述語的

predicated───v.使以……為依據；斷言，斷定；（語法）意為，暗示（predicate的過去式和過去分詞）

雙語使用場景

Predicate logic: also predicate calculus, which studies the internal structure of simple propositions.───謂詞邏輯: 也叫謂詞演算, 它研究簡單命題的內部結構.

Symbolic logic is often divided into two branches, propositional logic and predicate logic.───符號邏輯往往分為兩個分支，命題邏輯和謂詞邏輯。

Predicate logic of first order is the most classical calculation system in modern logic.───一階謂詞邏輯是現代邏輯中最為經典的演算系統。

By predicate logic, the solution is set up and the process of analysis is provided.───依據謂詞邏輯規則建立解決方案，提供了求解的流程。

英語使用場景

At last predicate logic is combined with production KR, as which a method to describe the reasoning rule in the knowledge base.

In two-valued predicate logic a class of special interpretations of first language with nonempty finite domains is introduced.

At the base of first order predicate logic this paper construct a strategy logic reasoning machine model, and discuss the correctness of this model.

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.

Model representation method based on first order predicate logic is proposed. This method is applied in DSS. Finally, its utility and inference mechanism are analyzed.

By predicate logic, the solution is set up and the process of analysis is provided.

For medium predicate logic system MF, a new infinite value semantic interpretation that is l-interpretation is introduced, the l-resolution method is led into the MF.

At last predicate logic is combined with production KR, as which a method to describe the warning rule in the knowledge base.

Predicate logic is a kind of highly formalized language and its inferences in view of the analysis of predicate,[sentencedict.com/predicate logic.html] and is one of the most important theoretical bases of AI.