logical semantics的例句大全

The Concept of Truth in Modern Logical Semantics

现代逻辑语义学中的真之概念

互联网摘选

The key concept in modern logical semantics is" true", in linguistic philosophy as well, so logic semantics and linguistic philosophy are also interlinked.

现代逻辑语义学的核心概念是“真”，语言哲学的核心概念也是真，因此，现在逻辑语义学与语言哲学也是相通的。

互联网摘选

Secondly, this paper proposes an approach to analyze sequence diagram which has many different logical semantics, and a new semantics definition is given.

其次，针对顺序图逻辑语义多样性的特点，提出了一种分析方法，同时给出了新的语义定义。

互联网摘选

This thesis aims to analyze the relations between logical semantics and various disciplines, probe the application and development of logical thinking in various fields.

本文意在分析逻辑语义与各领域学科之间的关联。探索逻辑思维在各领域的应用和发展。

互联网摘选

Compared with simple sentences, conjunctions are more complicated in logical semantics, structures and other aspects when forming multi-complex sentences.

相对于单句，连词在构成复句时的逻辑语义、结构层次要复杂许多。

互联网摘选

But this kind database lacks the formidable ability of data mold construction and the OODB lacks the logical semantics and the ability of statement inquiry language.

但演绎数据库缺乏强大的数据建模能力，而面向对象数据库缺乏逻辑语义和声明查询语言。

互联网摘选

Finally, the special use of the language is analysed when adding the "not" to the sentence, the change in the logical semantics and expression and the cause of change being done.

最后重点分析其特殊的语用表达功能，讨论加了不之后格式逻辑语义、表达方面的变化及其发生变化的原因。

互联网摘选

The cause and nature of change in object-oriented programs is analyzed in detail. The change in software is classified in three aspects: the behavior of the change, the software development life cycle and the logical semantics.

详细分析了面向对象软件系统中的变更发生的原因及其性质，从变更的行为、软件开发的生命周期以及逻辑语义三个方面，对变更进行了分类。

互联网摘选

However, conjunctions in Chinese are usually used in pairs to constitute multi-complex sentences, so compare with single sentence; they are much more complicated in logical semantics, structures and so on.

但是由于汉语的连词多成对使用构成复句，相对于单句，在逻辑语义、结构层次等方面复杂了许多。

互联网摘选

In this article, I account briefly the chief content of Tarski's theory of truth and the appraisal for Tarski's theory of truth from two respects: the birth of logical semantics and the raise of the hierarchy theory of languges.

文章简要论述了塔尔斯基真理论的主要内容，从逻辑语义学的诞生和语言层次论的提出两个方面对塔尔斯基真理论作了评价。

互联网摘选

The range of his research covers mathematical linguistics, logical semantics, transformational-generative grammar and non-transformational-generative grammar.

他在数理语言学 、 逻辑语义学 、 转换 - 生成语法、 非 转换 - 生成语法等研究领域颇有建树.

互联网摘选

With the help of the establishment of the SCOM operation rules based on semantics, the transformation between ontology language and Horn statement, as well as the SCOM operation procedures based on Prolog, the operation of SCOM based on logical reasoning came to fruition.

通过制定基于语义的SCOM操作规则，本体语言同霍恩语句的转换，以及基于Prolog的SCOM操作流程，实现基于逻辑推理的SCOM操作。

互联网摘选

To establish a model is the precondition to the logical and semantic analysis of epistemic expressions and the theory of possible world semantics provides an effective tool for this.

建立模型是对认知表达式进行逻辑语义分析的前提，可能世界语义学为此提供了有效工具。

互联网摘选

Denotational semantics describes the semantics of a programming language in afunctional way, but the first-order temporal logic expresses the semantics of a prog-ramming language in a logical way.

指称语义学是以函数的形式来表达程序的语义，一阶时态逻辑是以逻辑方式表达程序的语义。

互联网摘选

XML and ontology as the key technologies solves the problem of the syntax and semantics of data heterogeneous. This model shields the differences of physical and logical of the data source to the upper layer users, achieves transparent access.

XML和本体作为系统采用的关键技术分别从语法、语义两个方面解决了数据的异构问题，对上层用户屏蔽了底层数据源物理和逻辑的差异性，实现了应用层的透明访问。

互联网摘选

An approach to multi action commitments in KARO logical framework was made, and it was interpreted using Kripke style possible world semantics.

研究主体思维状态逻辑框架KARO中的多动作承诺机制，并对其进行语义解释。

互联网摘选

The format is classified into non-logical formula and logical formula in the semantics perspective;

然后从语义关系上来看，格式分为事理式和逻辑式两类；

互联网摘选