逻辑符号

This paper also proved that the formal representation is faithful to RBAC model.

用描述逻辑的符号给出了RBAC中主要的元素和关系的形式化定义，并证明了这种描述逻辑表示对于RBAC模型的忠实性。

Established the qualitative algebra space: proposed the symbol algebra and interval algebra space and applied them to the qualitative reasoning; proposed qualitative logic algebra and applied it to the multi-logic problems.

建立了定性代数空间，提出了符号代数和区间代数空间并分析了在定性推理中的应用；提出了定性逻辑代数空间，并应用于物理量之间的多值逻辑问题。

British mathematician and logician who developed a calculus of symbolic logic.

布尔，乔治1815－1864英国数学家和逻辑学家，建立了一种符号逻辑的演算法

Kant believed that all the possible propositions within Aristotle's syllogistic logic are equivalent to all possible judgments, and that all the logical operators within the propositions are equivalent to the moments of the understanding within judgments.

康德认为在亚里斯多德的演绎逻辑范围内的所有可能的命题就是所有可能的判断，这些命题中的所有逻辑运算符号都是判断中知性环节。

Kant believed that al l the possible propositions within Aristotle's syllogistic logic are equivalent to all possible judgments, and that all the logical operators within the propositions are e quivalent to the moments of the understanding within judgments.

康德认为在亚里斯多德的演绎逻辑范围内的所有可能的命题就是所有可能的判断，这些命题中的所有逻辑运算符号都是判断中知性环节。

This thesis uses semiotics theory to analyze the symbolic meanings, logic and ideology of Diesel Print advertisements.

本文采用符号学研究方法对Diesel平面广告所具有的符号意义、广告逻辑与广告意识形态进行了研究。

Considering that symbolic logic is an extremely specialized field (a layman would not understand an article on logic), it was not that different from engineering or science.

考虑到符号逻辑是个极专门的学科（这是从外行人看不懂得逻辑文章来说），它和理工科差不太多的。

The chapter fivediscusses the combinfing methods between fuzzy logic and symbolic expert system,fuzzy logic and neural network.

第二章介绍专家系统…般的结构功能和研究课题；第三章介绍BP网络的相关概念以及改进学习算法；第四章在分析了符号专家系统和神经网络的优缺点的基础上，提出了三种结合模型，并阐述了本论文所采用的结合模型；第五章讨论了模糊逻辑同符号专家系统、神经网络相结合的方法。

This article analyzes the influence of this trichotomy on the philosophy and logic of language in detail,and on top of this,illustrates the significance of 'pragmatics turn' in the fields of theoretic...

本文详细分析符号学三分法对语言哲学和语言逻辑的影响，并特别阐明语用学转向对理论语言学、语言哲学和语言逻辑的意义。

Combining with co-evolution mechanism, we renewedly defined the several aspect of the co-evolutionary agent, such as the belief, action, communication, decision maker, and so on. We made the co-evolutionary agent model and actual world model become a uniform closed loop system, and established the symbol deduction theory model of multi-agent system based on co-evolution mechanism.

结合协进化机制，从符号演绎逻辑的角度重新定义了协进化智能体的信念、动作、通信、决策器等各个方面，将协进化智能体模型与实际世界模型形成一个统一的闭环系统，并建立了基于协进化的多智能体系统的符号演绎理论模型。

Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.

在对危险的南部地区访问时，他斥责什叶派民兵领导人对中央集权的挑衅行为。

In fact,I've got him on the satellite mobile right now.

实际上 我们已接通卫星可视电话了