查询词典 modality logics

At the same time, Computer Go has been involved in many cross-disciplinaries such as Go, Computer, Mathematics, Biology, Logics, Strategics, Education, Psychics and even Philosophy. Consequently, its development has important research value and applied value.

计算机围棋的研究和实现需要多门学科的知识交叉，至少会涉及到围棋、计算机、数学、生物、逻辑学、军事学、教育、心理学乃至哲学等领域，因此其发展具有重要的研究价值和应用价值。

On the basis of the many-valued logics tableau reasoning,an automated reasoning expansion method based on set sign is presented.

在多值逻辑Tableau推理的基础上，提出了一种基于集合符号的自动推理扩展方法。

Current research progress and the existing problems of terminological cycles in description logics are analyzed in this paper.

循环术语集是描述逻辑长期以来的研究难点，其最基本的问题即语义及推理问题没有得到合理的解决。

To achieve similar effects, traditional knowledgebase logics have to appeal to the controversial, messy and troublemaking epistemic constructs.

为达到相似的效果，传统的知识库逻辑必须借助有争议的、混乱的和惹麻烦的认知构造。

Research on algebra structure is one of the critical aspects of unclassical logics.

李明仑，硕士生，主研领域：DFL代数结构，决策树学习，归结策略

By selecting topics like FARMAX, the study of extreme densities, or DATASCAPES, the study of hidden logics, or of INFRASTRUCTURE, the study for the intensified use, or THE LITE CITY, a contemporary Broadacre, one can concentrate.

选择一些课题诸如：FARMAX、高密度研究、DATASCAPE、内在逻辑研究、基础设施、高使用频率研究、THE LITE CITY、当代宽带等等。

We presented several new algorithms of model checking epistemic logics, and explore their applications in verifications of security protocols.

我们给出了一些新的模型检测算法，并探讨它们在安全协议验证中的应用。

Along with the change of litigatory logics, the party's statement is becoming plural functional in China's judicial practice and its function gradually becomes consistent with that of...

但我国司法实践中，由于诉讼理念的转变，当事人陈述的功能逐渐走向了多元化，从而与大陆法系国家当事人陈述的功能趋于一致。

This algorithm is designed in the style of tableau algorithms, which is usually used in classical description logics. The transformation rules and the process of this algorithm is described and optimized with three main techniques: recursive procedure call, branch cutting and introducing sets of mesne results.

该算法的设计参考用于经典描述逻辑的tableau算法；详细描述了EFALC的转化规则和推理算法的过程，并使用递归函数调用、分支裁减和引入中间结果集合这3种技术对算法进行优化。

This microcosmical analysis, in fact, is a process of describing and explaining the creation for self-constructional logics of literary revolution.

这种微观的分析视角实际上是一个描述文学革命自我建构逻辑的生成并加以阐释的过程。

Bob Eckert has been chairman and chief executive of Mattel for eight years.

美泰董事长兼首席执行官鲍勃·埃克尔特在任已8年。

The outlook for honors and disgraces carries on and surpasses the traditional outlook for honors and disgraces theoretically, and carries on and develops the theory of construction of socialist mora...

社会主义荣辱观的提出在理论上是对传统荣辱观的一次继承和超越，是对社会主义道德建设理论的继承和发展，在实践上有利于形成良好的社会风尚。