logic semantics的例句大全

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

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

A Temporal Logic Semantics for UML Activity Diagrams

UML活动图的时序逻辑语义

According to the theory of logic semantics and culture pragmatics, there exist inter-cultural presupposition and Tran cultural presupposition.

本文根据逻辑语义学理论和文化语用学理论说明在广告语篇中存在着文化内预设和跨文化预设。

Questions on Logic Semantics of Chinese Medical Terms

中医理论术语的逻辑语义问题

Barwise's criticisms on the extensional model theory semantics and the possible world semantics, not only reveals the shortages of logic semantics, but also helps us to understand the logic semantics problems of natural language more profoundly.

巴威斯等对外延模型论语义学和可能世界语义学的批判，揭示了既有逻辑语义研究的不足，促使人们对自然语言的逻辑语义问题进行更深刻的认识和反思。

Before Montague Grammar, The language shape of logic is studied and studies the range only limited to the artificial language of logic with logic semantics, the logic Pragmatics is basically a blank.

在蒙太格语法以前，逻辑语形学与逻辑语义学研究只限于逻辑人工语言的范围，逻辑语用学则基本处于空白。

At first, he developed a modal logic semantics, and has achieved notable successes.

起初，他发展了模态逻辑语义学，并取得了引人注目的成就。

A Logic Semantics Analysis Algorithm for Railway Station Layouts

一种站场图逻辑语义解析算法

The XYZ/ ADL provides features that are acknowledged widely in software engineering community. · This thesis defines temporal logic semantics for UML activity diagrams and Statecharts using XYZ/ E.

对XYZ/E进行扩充，在语言上提供对软件体系结构基本概念的显式支持，并对扩充部分给予严格的形式定义，使XYZ/ADL具备广泛认可的软件体系结构描述语言的特征。

compiler technology using a combination of compiler for c language type definitions, variable definitions, operators, expressions, statements, function definitions and semantics of function call will be translated into temporal logic formulas.

结合利用编译技术实现的编译器，针对C语言类型定义、变量定义、运算符、表达式、语句、函数定义及函数调用的语义，将源程序翻译为时间逻辑公式。

fuzzy description logic for semantics representation of the semantic web

面向语义Web语义表示的模糊描述逻辑

A revisory Kipke semantics weakens Logic Omniscience Problems and remains those reasonable epistemic properties.

在一种修正的可能世界语义学下,削弱了“逻辑全能问题”,幷且保留了那些合理的认知性质.

Logic programs semantics are used in planning, diagnosis and action reasoning widely.

近年来,有序逻辑程序被广泛应用于规划 、 诊断、行动推理等诸多领域.

The Declarative Semantics of Logic Programming Language G(?) del

逻辑程序设计语言G（？）del的说明性语义

A function/ logic language implementation technique with reduction semantics

函数／逻辑语言归约实现技术

Fixpoint Semantics and Reasoning of Terminological Cycles in Description Logic ε LN

描述逻辑εLN循环术语集的不动点语义及推理

A Distributed Query Optimization Based on Semantics and Logic

基于语义和逻辑的分布查询优化

Study of cartographic semantics model based on description logic

基于描述逻辑的地图语义模型初步研究

It makes full use of the advantages, including that algebraic semantics describes the abstract data types, Hoare logic describes the software functions and UNYFY logic describes the properties of parallel programs.

其目的在于充分发挥并集成代数语义描述抽象数据类型、Hoars逻辑描述功能、UNITY逻辑描述并行程序性质的优点。

Constrasted with other semantics theories of nonmonotonic logic programming, Answer Set semantics, the kernel of Answer Set programming technology, is concise and simple, and fully utilizes the fruits acquired by the logic programming community, and effectively realizes nonmonotonic reasoning of the logic program.

作为该类编程技术的核心，Answer Set语义相对其它非单调逻辑编程语义理论简洁明了，它充分利用了逻辑编程领域的已有成果，有效地实现了逻辑程序的非单调推理。