查询词典 logics

It is neither absolutism nor mysticism, nor nihilism, but full of logics and dialectics.

它既不是所谓的绝对主义，也不是什么神秘主义或虚无主义，它的论证形式充满了逻辑与辩证法的意味。

Of course, the painters of abstractionism who have persisted must have followed and gradually understood the formal logics of abstractionism in the process.

这么说来，对于中国抽象，根本就是观念在形式之前。

Agonistic logics, logics of ritual and seduction., are stronger than sex.

竞争逻辑，典礼和诱惑的逻辑，比性的更强。

Aimed to two major problems: one is not decidable and the other is no clear semantics. We construct a framework with explicit representation and formal semantics of goalsgoal description logics, which integrates two types of goals: declarative goals and procedural goals into one concept based on description logics. In addition, the goal plan is defined and analyzed, and some reasoning problems, such as goal consistency and goal satisfiability, are discussed. Contrary to traditional ways of goal description, GDLs can bridge the gap between theory and practice in a natural way.

针对传统的目标描述中存在的不可判定性以及没有清晰的语义等问题，在描述逻辑(description logics，DLs)上，将宣称型和过程型2种类型的目标描述有机地整合在一起，从而构建了具有清晰语义与可判定性的形式化框架--目标描述逻辑(goal description logics， GDLs)，在此基础上，定义了该框架下有关规划规则；建立了可用于判定目标一致性、目标可满足性的方法，与传统的目标描述方法相比，目标描述逻辑为主体领域模型提供了一种更有力的形式化工具，同时为智能主体的模型和设计提供了很好的理论工具。

Present a kind of paraconsistent modal logics PML by generalizing classical modal logics'truth value set from {0, 1} to [0, 1] , propose new logical consequence relationships by generalizing fuzzy implications in PML, introduce sound and complete Gentzen style inference systems in PML. 9. Global properties of valid formulas are the necessary conditions that must be satisfied by valid formulas.

8将经典模态逻辑公式的值域从{0，1}扩充到[0，1]，结合模糊逻辑推理关系的研究结果，建立了能处理不一致知识的模态逻辑，并给出其可靠而且完备的Gentzen型推理系统。

Based on our former work on agent BDI logic, multi-agent cooperation logics and multi-agent cooperative problem solving process modeling, as well as the work of Baral et al. on non-monotonic temporal logics, strong and weak exceptions were introduced to Alternating-time Temporal Logic that was the primogenitor of multi-agent cooperation logics. As a result, non-monotonic alternating-time temporal logic was developed, and its syntax and semantics were proposed.

在前期关于Agent BDI逻辑、多Agent合作逻辑、多Agent合作问题求解过程建模等研究工作的基础上，借鉴Baral等人开发非单调线性时态逻辑N-LTL的技术，利用强弱例外对多Agent合作逻辑的开创性工作交互时态逻辑进行拓展，建立非单调交互时态逻辑NATL，给出其语法和语义。

Through the study of the trends of development of modern Western science methodology, the paper analyses the main features of three methodological models: prestippositionalist model of logics , relativist model of history and integrated model of logics and history.

本文以马克思主义观点审视现代西方科学方法论的演变趋势，揭示了现代西方科学方法论三大模型——预设主义的逻辑模型、相对主义的历史模型以及逻辑与历史相结合模型——的主要特征，并对西方各派方法论的成就与兴衰的缘由，作出了理论的概括和系统的评估。

Secondly, the realization of dialectical logic mathematics research planning" Research outline of universal logics" put forward by the authors is introduced briefly, and the main point of" the standard proposition universal logics" set up under the guidance of the outline is also introduced.

其次，简单介绍了作者提出的实现辩证逻辑数学化的规划《泛逻辑学研究纲要》，及在纲要指导下建立的《标准命题泛逻辑学》要点，指出该逻辑系统在包容各种辩证矛盾的同时，有效地排除了逻辑矛盾。

These dynamic description logics provide decidable reasoning mechanisms for the result of action execution. However, the procedure of action execution can not be described and reasoned about according to these logics.

在将语义Web服务建模为动作之后，动态描述逻辑从动作执行结果的角度提供了丰富的推理机制，但对于动作的执行过程却不能加以处理。

Make your logics work and even difficult tasks will seem to be very simple then.

让您logics工作，甚至困难的任务，似乎是很简单的话。

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.

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