建立模型是对认知表达式进行逻辑语义分析的前提,可能世界语义学为此提供了有效工具。
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.
建立模型是对认知表达式进行逻辑语义分析的前提,可能世界语义学为此提供了有效工具。
Modal logic is quite mature at its formal technique, but its possible world semantics has many difficult in philosophical interpretations.
个体词的逻辑性质可以从句法和语义两个方面来分析。
The logical properties of individual terms can be analyzed in both syntactical and semantic aspects.
其目的就是要在这种模型中,对模态逻辑形式推理系统的公理进行语义分析。
Within this model, semantic analyses are discussed for axioms of the formal reasoning system in modal logic.
它们表面上不符合正常思维逻辑,但是通过深层的语义分析与考察,就可以看出它们能够存在并为社会接受的理由。
They don't come up to the normal logic thinking superficially, but through the deep semantic analysis and investigations, we can see the reason they can exist and accept for the society.
新批评主要通过瑞恰慈的语义分析方法而接受逻辑实证主义的影响,这种影响的结果便是新批评的“细读”批评方法。
New Criticism receives influence from logical positivism through Richards'semantic analysis. The result of this influence is the critical approach of New Criticism known as "close reading".
语篇的联结手段是语篇分析中的一个重要环节。联结的方式多种多样,主要有:语法手段、词汇衔接、逻辑联系语及语用上与语义上的意涵等。
Connectivity is an important part of discourse analysis. There are many kinds of connectivity, such as grammatical device, lexical cohesion, logical implication and so on.
精确的数据流分析,需要充分利用条件分支语句的逻辑语义。
A precise dataflow analysis should effectively exploit the semantic information presented by conditional branch statements.
考虑该实体认证协议的特点,采用改进语义的SVO逻辑对其进行合理性描述,并对其运行过程进行形式化的具体分析,发现该协议在认证过程中存在着双方认证不确定的缺陷。
Considering the characteristics of the entity authentication protocol, augment semantics SVO logic was used to describe its rationality and analyze its operation, and a flaw was found.
本文通过对业务在执行过程中,业务逻辑实例与外部实体交互消息的分析,提出一个基于消息序列语义的特征交互形式模型。
This paper proposes a formal model of feature interactions based on the semantic of message lists in runtime between the object of service logical programming instance and the network entities.
因此,本文分析研究了外贸合同在结构和逻辑——语义两方面的篇章特点。
The thesis researches on the characteristics of business contract concerning structure, logic and semantics.
命题结构是句子语义研究中的一个新的视角,须结合句法学、语义学、逻辑学、篇章语言学等理论进行交叉分析。
The propositional structure is a new perspective of researching sentence meaning, and the approach to it should be based on the combination of syntax, semantics, logic and text linguistics.
为了将密码协议的非否认性和公平性统一在一个框架之下更好地进行分析,提出了一套适用于分析非否认性和公平性的一阶逻辑语法和语义。
In order to analyze the non-repudiation and fairness properties under one frame, a set of first-order logic syntax and semantics for non-repudiation protocols was proposed, and a model was built.
新闻学研究的基本方法包括哲学和逻辑学的方法、语义学的方法、历史的方法、定量定性分析结合的方法等。
The basic approaches of journalism study include: those of philosophy, logic, semantics, history and a combination of quantitative and qualitative analysis.
从语义推理技术入手,主要针对描述逻辑、推理算法和推理机三个方面进行了研究分析。
Starting from the semantic inference technology, the authors research and analyze from three mainly aspects, including description logic, inference algorithm and inference engine.
本文论述了阅读理解的三个过程:语义辨析、语法分析和逻辑分析,并指出这三个过程相互影响,相互作用,缺一不可。
This paper discusses three processes of comprehension:meaning discrimination of words, grammatical analysis and logic analysis, and points out that the three processes interact.
逻辑语义学是语义学的一个分支,其概念是用逻辑学方法分析和研究语义问题。
With a profound observable investigation, the devices of logical semantics have been widely applied and developed by more and more linguists.
从语言逻辑分析到语言语义分析是卡尔纳普拒斥形而上学的策略转变。
From logical analysis to semantic analysis of language is the tactical change of Carnap's rejecting metaphysics.
模糊限制语这个概念最早属于逻辑学和语义学白勺分析范畴。
At first, the notion of hedges used to be an object of study in logic and semantics.
本文通过对中医术语语义及逻辑关系的分析,从英语构词法入手,探讨中医术语的简译法及应用。
This paper focuses on the fundamental concept of hedges, their application and translation in medical English.
本文通过对中医术语语义及逻辑关系的分析,从英语构词法入手,探讨中医术语的简译法及应用。
This paper focuses on the fundamental concept of hedges, their application and translation in medical English.
应用推荐