查询词典 modality logics

Modality has three types: epistemic modality, deontic modality and dynamic modality.

以往是从功能和语法标准两个方面来区分情态助动词的主客观。

Modality has three types: epistemic modality, deontic modality and dynamic modality.

以往是从功能和语法标准两个方面来去分情态助动词的主客观。

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，给出其语法和语义。

The formation of this characteristics were close related with the primeval economic modality and feodal economic modality. These two economic modality were foundation for formation of Japanese family system.

这一特征的形成，与日本原始经济形态即稻作经济和封建经济形态即庄园经济有着不可分割的关系，这两种经济形态是家制度形成的经济基础。

Then it gives an account of the definition of modality, types of modality, the relationship between modality and the English modals, thus serving as a basis for later explanation of English modals, after that, it probes into the characteristics and meanings of English modals, survey the various approaches to the English modals, including monosemantic view, polysemantic view and fuzzy-set model, expound on their defects and pave the way for the new proposal put forward in this thesis.

然后，探讨了英语情态动词的特征和意义，对以往的英语情态动词的单义观、多义观以及模糊集研究进行概述，分析他们各自的不足，使本文从新的角度进行研究成为必要。

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型推理系统。

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.

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

I don't know when to begin.

我不知道什么时候开始。

Why are you interested in working in personnel department?

你是对的，初你为什么喜欢在人事工作？