查询词典 arithmetical predicate

Make a formal Description for agents living Environment by using predicate logic, and knowledge representation for agent.

3利用谓词逻辑对Agent的生存环境进行形式化描述，并对Agent进行知识表示。

This paper summarizes several decidabilities for predicate logic inference and several points for attention, which may help people in proof of such subjects.

本文总结了几种谓词逻辑推理的判定方法和注意事项，以帮助掌握证明题的证明。

Deductive database makes good use of predicate logic.

因为它有严格、系统的数理逻辑理论基础和较强的推理能力。

Moreover, predicate logic is the generalization of propositional logic and possesses larger flexibility, so it is very difficult for students to grasp.

而谓词逻辑是命题逻辑的推广，其灵活性就更大，故很难掌握。

By "extended", it makes sense to propose two principles, one is the type re-arrangement principle and the other is logic predicate principle.

我们所提出的逻辑语义分析法的扩充性主要体现在两个方面：一是加入了类的重设原则；二是在语义的分析过程坚持把逻辑谓词视作为是承载着整个句式的主要语义信息。

This notion is closely related to the notion of a predicate in formal logic, which includes more expressions than the former one, like, for example, nouns and some kinds of adjectives.

这一概念与形式逻辑学中的述语概念有紧密的关系。形式逻辑学中还包括了除述语以外的更多概念，如名词和一部分形容词。

Predicate Logic - Wikipedia, the free encyclopedia

谓词逻辑-维基百科，自由的百科全书

Second, the paper introduces the modeling characteristic of UML, provides formalization definition of nine kinds of diagram in UML using predicate logic, and points out their respective functions.

其次，本文对UML的建模特性进行了分析和研究，给出了UML中九种图的形式化定义，并指出它们各自的作用。

But when put DRS into DRT and the formulas into First-Order Predicate Logic, we will find there is big difference between them: the former is the result of Algorithm, the latter is the result of feeling.

不过，当我们把DRS置于DRT中，并把一阶谓词逻辑公式置于一阶谓词逻辑中，再对二者进行比较的话就会发现，这二者其实是有着重大差异的：前者是算出来的，后者则是感觉出来的。

Authors designed a kindred automatic reasoning model based on one-order predicate logic.

用一阶谓词逻辑设计了一个亲属关系的自动推理模型。

But GST= 0.156, Nm=1. 588. As a result, the foundation of Youyongchi Avicennia marina population was the result of the migration of hypocotyles and human factors.

这项工作可以为海岸防护林中新引进种类的判定以及为研究种群建立者效应方法的确定提供科学依据。

The two-dimensional CDRC-ADI-FDTD update equations for collision unmagnetized plasma are induced. The unconditional stability of the CDRC-ADI-FDTD formulation for collision unmagnetized plasma is obtained by the examples.

推导了碰撞非磁化等离子体中的二维CDRC-ADI-FDTD迭代公式，并用算例验证了碰撞非磁化等离子体CDRC-ADI-FDTD算法也是无条件稳定的。