片语

knowledge predicate logic知道谓词逻辑

predicate calculus logic述词演算逻辑

IPLIntuitionistic Predicate Logic直观的谓词逻辑的

predicate functor logicIn mathematical logic, predicate functor logic (PFL) is one of several ways to express first-order logic (also known as predicate logic) by purely algebraic means, i.e.

predicate e logic谓词逻辑

fuzzy predicate logic模糊谓词逻辑

predicate e logic language谓词逻辑语言

Predicate modal logic谓词模态逻辑

third order predicate logic[数]

英汉例句

• in this knowledge base system model, we adopt both first order predicate logic (fopl) and case knowledge representation modes to represent the knowledge.

  在本知识库系统模型中，知识表示采用一阶谓词（sdss）逻辑和案例两者相结合的方式。

• 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.

  纵观转换生成语法发展中深层结构、表层结构、语义解释之间的关系，表层结构对语义解释起一定的作用。

• 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.

  封闭世界假设作为谓词逻辑子句集进行增广完备的一种方法，也是完全可以引入本体知识库进行知识信息的增广完备的。

• theory of truth degree based on the interval interpretation of first-order fuzzy predicate logic formulas and its application;

  提出了模糊谓词逻辑公式的有限解释真度和可数解释真度的概念，并讨论了它们的一系列性质。

• 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.

  将全称概括规则作为初始规则的系统是否限制对该规则的使用可导致系统相对于通常的语义解释是否具有强可靠性。

• at last predicate logic is combined with production kr, as which a method to describe the warning 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 the end, predicate logic has still some problems and we hope more people take part in the study of logic.

  并在结束语提出谓词逻辑的局限，希望有更多的学者参加逻辑学的研究。

• predicate logic is a kind of highly formalized language and its inferences in view of the analysis of predicate, and is one of the most important theoretical bases of ai.

  谓词逻辑是一种基于谓词分析的高度形式化的语言及其推理，是人工智能产生和发展的最重要的理论基础。

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

  在谓词逻辑的基础上构造了一个基于策略逻辑的推理机模型，并对模型的正确性做了讨论。

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

  最后采用谓词逻辑和产生式表示法相结合的方法作为知识库中的推理规则描述方法。

• predicate logic of first order is the most classical calculation system in modern logic.

  一阶谓词逻辑是现代逻辑中最为经典的演算系统。

• 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.

  给出了一种应用于决策支持系统，基于一阶谓词逻辑的模型表示方法，并分析了此种表示方法的实用性和推理机制。

• z is a formal specification language based on the first order predicate logic and set theory. it can generate concise, accurate and conformable specifications.

  语言是基于一阶谓词逻辑和集合论的形式规格说明语言，采用了严格的数学理论，可产生简明、精确、无歧义且可证明的规格说明。