查询词典 sequential logic

Description logic is the decidable fragment of the first order logic and suitable for modeling the concept terminology of domain knowledge.

描述逻辑是一阶逻辑的可判定子集，适合对领域知识的概念术语进行建模。

Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.

1引言 描述逻辑是知识表示的一种形式化语言匡，适合表示关于概念和概念层次结构的知识，因此也叫做概念表示语言和术语逻辑。

Description Logic is a kind of object based knowledge representation formalism, and also a decidable fragment of first order predicate logic, with well-defined semantics and powerful representation capability.

描述逻辑是一种基于对象的知识表示的形式化系统，它是一阶逻辑的一个可判定的子集，具有合适定义的语义，并且具有很强的表示能力。

Dynamic epistemic logic,rised in recent years,is a non-classical logic.

动态认知逻辑是近年兴起的非经典逻辑，是一个相对比较新的研究领域。

Programmable fuzzy logic controller ; Evolvable hardware ; Genetic algorithm ; Fuzzy logic

可编程模糊逻辑控制器；演化硬件；遗传算法；模糊逻辑

On the contrary, logic programming languages, based on Horn clause logic and resolution, allow existentially quantified variables and partial data structures but lack both deterministic evaluation and lazy evaluation.

相反，基于HORN子句逻辑和消解原理的逻辑程序设计语言允许存在量化的变量和部分数据结构但又缺少确定和懒惰求解的性质。

On the basis of I and Q meanings , this paper focally compares and contrasts default logic with deductive logic , and representatively analyses defaults such as prototypicality , etc .

在分析I和Q假定意义的基础上定点比较，对照了缺省逻辑与演绎逻辑的差异，并有代表性地分析了支持缺省逻辑推导的知识项如原型等。

At the basic of knowledge implication propositional logic, a system of knowledge implicational model prepositional logic system has been built. It can describe inference mechanism of inconsistent knowledge system which includes in modal information.

在知识蕴涵命题逻辑的基础上，构建了一个知识蕴涵模态命题逻辑系统，它可以描述包含模态信息的不协调知识系统的推理机制。

This thesis chooses Grade 7, Grade 1 of high school and junior as subjects, it proves that the dual-processing theory can make an effective interpretation of individual and age differences in the perspectives of content effect, logic effect, time pressure, self-confidence assessing, logic training and individual cognitive difference according to the different characteristics of the two systems. The research concludes:(1) The subjects in the three grades are all affected by content. The accuracy of the four inferent types about abstract and concrete material increases with age.

为验证双重加工理论对条件推理的个体差异和年龄差异的解释力度，本论文选取初一、高一、大学三个年龄段近1300名被试，根据两个加工系统的不同特点，从内容效应、指导语效应、时间压力、自信评价、逻辑训练以及认知的个体差异——工作记忆容量等角度对条件推理进行了发展性研究，研究结果显示：(1)随着年龄的增长，三个年级被试的抽象和具体材料条件推理四种推论的正确率均增长。

From the cognitive perspective, this part also examines the logic evidence for discriminating metalanguage and object language. Additionally, tracing back to its origin, the metalinguistic theory can be divided into the formalized and the one of natural language As a conclusion, this chapter will point out three orientations to the study of linguistic metalanguage The second chapter tries to retrospect to the origin of the theory and find the prototype for the pairs of metalanguage and object language, on which according to this chapter, modern mathematics and modern logic have key effects. In fact, mathematician, philosopher and logician B Russell and G. Frege discriminated metalanguage from object language.

作为方法论原则的元语言理论》是一篇着重从方法论原则的角度探讨元语言理论的博士学位论文，本文在现代语言学和语言学史的理论和方法指导下，通过对元语言这一现代哲学、现代语言学共同关注的重大课题的梳理，旨在系统阐释哲学和语言学领域的元语言的概念、特性和内容，明确哲学和语言学的元语言理论之间的关联与分野，真正把元语言和对象语言这一对范畴纳入语言学研究视野，从形式研究、功能研究和语用的角度阐述其方法论的意义和内容，并将这一方法论原则运用到汉语修辞现象分析中，提出&元语辞格&说。

Objective:To compare the response control and attention of Schizophrenic patients with that of the healthy controls by Integrated Visual and Auditorycontinuous performance test. To quantitate the impairment of cognitive function in patients, and to explore the relationship between cognitive function and the severity of the disorder.

目的：探讨精神分裂症病人在IVA持续操作测试中的反应控制能力、注意力等，并与健康人进行比较，从而量化精神分裂症病人的认知功能损害，并进一步探讨其认知功能与疾病严重程度的关系。

Main effective factors including subcooling degree, mechanical vibration, gas hydrate reformation, environment temperature, noncondensing gas and surfactant are analyzed.

指出过冷度、机械振动、重复生成水合物、环境温度、不凝性气体、添加剂是影响气体水合物生成的主要因素，还对R152a水合物的放冷进行了实验研究。