查询词典 logics

First of all,we elaborate a formal variant of Description Logics,namely, ALCQO,which is capable of extending the conceptual modeling ability of classical DLs with process modeling and numerical constraint representation ability, while still retains decidability for major reasoning problems.

与传统的描述逻辑不同，ALCQO既保留了一定的概念建模能力，还显著的增强了在数字属性和时序关系上的表达能力，因此对Web服务的功能属性以及非功能属性都具有足够的表达能力。

Unifying themes in mathematical logic include the expressive power of formal logics and the deductive power of formal proof systems.

数理逻辑和电脑科学有许多重合之处，这是因为许多电脑科学的先驱者既是数学家、又是逻辑学家，如阿兰·图灵，邱奇等。

You know, Deutsch is so rational, it emphases whole structure and logics.

（正如你所知，德语是十分理性的，它强调整体框架和逻辑。

Description Logics are very important for the expression of ontologies,which allow reasoning about individuals and concepts.Typically,DLs can not process the indefinite knowledge existing widely in nature.

描述逻辑是本体的重要表示方式，但只能处理严格的确定性的知识，并不能处理自然界中广泛存在的模糊的和不确定的知识。

Post-university life drove me out of the room where I could build or declare my heart feeling or thinking silently without interrupting. Busy works, chaotic logics and doubtable thinking became the monsters of excuses swallowing my writing mind.

大学毕业使我再也不能安安静静、不受干扰的坐在象牙塔里用文字构建或宣泄我的内心，忙碌的工作、纷繁的思绪、需要继续考察的想法等等变成藉口怪兽吞噬著我的写作欲望。

In particular, information flow through events of observation and communication has been studied using socalled dynamic epistemic logics of knowledge update, belief revision, and preference change.

特别是，对观察和交流中的信息流的研究，大家使用所谓的知识更新、信念修正和偏好改变的动态认知逻辑。

Description logics are fragments of the first-order logic ,which contain concepts,roles,and concept and role constructors;and have features of strong expressivity and decidable reasoning.

描述逻辑是包含了概念、角色以及概念和角色构造子的一阶逻辑的子逻辑，具有表达能力强且推理可判定的特征。

And we need to harmonize the very different requirements and logics of work and worker.

我们需要调和工作与工人的各种不同需求与逻辑。

In order to make transformation between two temporal logics, we develop other two predicates to manipulate the interval. Their function is f: I→〓.

为实现两种时间语义的统一，ISITL定义了两个形式语义为f：I→〓的函词来实现对时段的各种操作。

The thesis puts forward some suggestions on logical text translation: In translating, translators should notice the three universal laws of Logics, i.e., the law of identity, the law of non-contradiction and the law of excluded middle.

本文提出：翻译时，应注意逻辑的三大普遍规律，即同一律、不矛盾律及排中律。

On the other hand, the more important thing is because the urban housing is a kind of heterogeneity products.

另一方面，更重要的是由于城市住房是一种异质性产品。

Climate histogram is the fall that collects place measure calm value, cent serves as cross axle for a few equal interval, the area that the frequency that the value appears according to place is accumulated and becomes will be determined inside each interval, discharge the graph that rise with post, also be called histogram.

气候直方图是将所收集的降水量测定值，分为几个相等的区间作为横轴，并将各区间内所测定值依所出现的次数累积而成的面积，用柱子排起来的图形，也叫做柱状图。