logics

Algorithm Research on On the Fly Model Checking Temporal Logics of Knowledge in Multi-Agent Systems

多主体系统时态认知规范的on the fly模型检测算法研究

互联网摘选

A Model Checking Algorithm for Temporal Logics of Knowledge in Multi-Agent Systems

多智体系统时态认知规范的模型检测算法

互联网摘选

Lastly, it is the methodology, the materialist dialectics, which is an anthropologic dialectics in which logics and history are in consistency, whether it is historical or naturalist dialectics.

最后是方法部分即唯物辩证法，不论是历史辩证法还是自然辩证法都是逻辑和历史相一致的人学辩证法。

互联网摘选

Hyponymy in semantics is related to denotation and connotation in logics.

语义学的上下义关系涉及逻辑学上的内涵与外延.

互联网摘选

And we need to harmonize the very different requirements and logics of work and worker.

我们需要调和工作与工人的各种不同需求与逻辑.

网络文摘精选

For some representative uncertainty reasoning models, some concrete methods for selecting appropriate parameters during the uncertainty reasoning process based on lattice-valued first-order logics Jnf are proposed.

基于几类典型的不确定性推理模型，给出了基于格值一阶逻辑系统L（2nf）

互联网摘选

The theoretical basis of ABS is on the relation of tyre slip rate and adhesive coefficient. To select correct control elements in controlling logics of ABS rnay evade many kinetic parameters and ensure correctness of controlling mode of ABS.

ABS是以车轮的滑移率与附着系数的关系为理论依据的，在ABS的控制逻辑中选取正确的控制元，可规避众多动力学参数，保证ABS控制模式的正确性。

互联网摘选

F . Liu : Nonmonotonicity and Autoepistemic Logic, Special Issue of Philosophical Trends in Logics, 2001.

刘奋荣: 非单调性和自认知逻辑, 《哲学动态》2001逻辑专刊.

网络文摘精选

Contrarily, traditional Chinese Logics was closely related to politics and taken as a tool to govern the country.

而中国的古典逻辑一直是与政治相连，是治理国家的工具，直到西进运动之后才逐渐成为一门独立的学科。

互联网摘选

Experience in review of the SLD , Control Logics , cabling and cableschedules etc.

有SLD, 逻辑控制, 电缆线与电缆表的审阅经验.

互联网摘选

Layout, by appearance of its components, can easily deceive you into believing that in order to work with it you must first be armed with an extensive knowledge of programming logics.

布局设计，其页面组成能够轻易的让你相信。必须有丰富的编写程序逻辑的知识才能够使我们完成工作。

互联网摘选

This method exposes the hardware power features, which are traditionally masked by VMM, to the primary VM. In this way, matured power management technology can be fully reused and VMM only need a few coordination logics.

该方法将原本被虚拟机监控器所屏蔽的底层电源特征展露给主虚拟机，藉此充分利用操作系统成熟的电源管理技术，而VMM里面只需要少量的协调控制逻辑。

互联网摘选

The Cause and the Responsibility of Misjudged Cases& On the Angle of Legal Logics

错案之错因与责任方式分析&基于法律逻辑学的视角

互联网摘选

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

也不是什么神秘主义或虚无主义, 它的论证形式充满了逻辑与辩证法的意味.

网络文摘精选

But temporal logics of knowledge can describe more accurately the desirable specification of systems and protocols in distributed systems.

而时态认知逻辑能更精确地描述分布式领域中系统和协议的规范。

互联网摘选

The combination of Logics and Text Linguistics to analyze translation is one of the newly developed subjects in translation field.

联系逻辑和篇章语言学来分析翻译是翻译领域里一个新的课题。

互联网摘选

This thesis intends to conduct a tentative research on the humor mechanism underlying in Zhao Benshan's sketches on different levels from different perspectives by exploiting the relevant linguistic theories& semantics, pragmatics, rhetoric, stylistics, and logics.

本文将用语言学的相关理论对赵本山小品的幽默语言从语义学、语用学、修辞学、语体学、逻辑学等几个大的角度多层次分析赵本山小品的语言幽默。

互联网摘选

Mappings on Operator Algebras and Quantum Logics

算子代数和量子逻辑上的映射

互联网摘选

The Adam Smith Problem has different levels of logics.

“亚当.斯密问题”有不同的逻辑层面.

互联网摘选

On the purpose of the GATT XXIV and its legal consequences, it is clear that the political purpose is beyond the economic logics.

通过对GATT第二十四条的目的和法律后果与关税同盟经济理论进行了比较，发现了其政治目的超越了经济逻辑。

互联网摘选

The inductive logics of Pascal's probability, which sprang up for the introduction of probability, make great contributions to quantative description, but they cherish considerable drawbacks.

由于把概率引入归纳逻辑中而出现的巴斯卡概率归纳逻辑虽然在定量刻画问题上作出了很大的贡献，但是它们具有很大缺陷。

互联网摘选

In the equations and logics that lead to reason.

不管是方程式或逻辑学都引导我们去思考.

互联网摘选

Just based on criticizing the inductive logics of Pascal's probability, especially Carnap's theory of confirmation and Popper's theory of falsification, Cohen advanced his theory of inductive support.

科恩正是在批判以卡尔纳普为代表的巴斯卡概率归纳逻辑和波普尔的证伪理论的基础上，提出了他的归纳支持理论。

互联网摘选

By taking the numen's religion of Jizhao village in Songtao Autonomous County as example in this article, the author revealed its original symbol and cultural logics from angle of religious anthropology.

本文以松桃苗族自治县鸡爪村苗族寨神为例，试图用宗教人类学的视角来揭示这种信仰的原神象征及其文化逻辑。

provided by jukuu

Based on generalized framework for access control, the author has developed an application model on universal database by conceptual and extract business logics.

本文通过对业务逻辑的抽象与提取，形成了通用数据库访问控制框架及在此框架下的访问控制要素的聚类模型。

互联网摘选

Based on this thought, we propose an IDS alert correlation model based on description logics.

在此思想基础上, 进一步提出了基于描述逻辑的IDS告警关联模型.

互联网摘选

The extended fuzzy description logic introduces the cut sets of fuzzy concepts and fuzzy roles as atomic concepts and atomic roles, and inherits the concept constructors and knowledge base form of classical description logics to support a new logic system for knowledge representation.

扩展模糊描述逻辑引入模糊概念和模糊关系的截集形式作为原子概念和原子关系，继承经典描述逻辑中的概念构造器和知识库形式，建立新的知识表示逻辑体系。

互联网摘选

Then we narrated probabilistic logic which is a method of uncertain reasoning based on logics and probability theory, and studied primarily the two-valued probabilistic logic and three-valued probabilistic logic.

然后讲述了逻辑学与概率论两大理论基础之上的不确定性推理方法&概率逻辑，重点研究了二值概率逻辑与三值概率逻辑。

互联网摘选

Firstly, the paper, through the introduction of several classical logics and non-classical logics, and then discussed emphatically the principle of universal logic and three-valued probabilistic logic.

本文首先对传统的几种经典逻辑和非经典逻辑大致做一介绍，然后重点讲述泛逻辑以及三值概率逻辑的基本原理。

互联网摘选

Part One: Tableau methods on classical logics.

第一部分，关于经典逻辑tableau方法研究。

互联网摘选