查询词典 modality 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.

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

The cost management plan is contained in, or is a subsidiary plan, of the project management plan.

成本管理计划包含在项目管理计划之内，也可以是其中的一项分计划。

In fact, balloon payments are one of the main reasons foreclosures are on the upswing all across the country.

其实，热气球付款的主要原因之一赎正方兴未艾，在全国各地。