查询词典 predicate variable

New according to predicate logic of the financial investement assistance decision system we do analysis and research.

现就基于谓词逻辑的金融投资辅助决策系统加以分析与研究。

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

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

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中九种图的形式化定义，并指出它们各自的作用。

Many will continue to choose to live in duality and in conflict.

许多人将继续选择活在二元对立性和冲突中。

I find that students of the University of Physical Education all wear sportswear at first sight.

我发现：体育大学的学生乍一看，都是穿运动衣，大家都一样