语义

However, this dissertation concentrates on the following topics: First, a new image semantic data model and object description language have been proposed in this dissertation based on the characteristics of image information.

主要内容包括：(1)图像数据库系统模型研究。针对图像信息的特点，建立了图像数据库系统的对象语义模型ISDM及相应的对象描述语言。

Firstly, the concepts of dimensional element and dimensional element-chain are defined, and a geometric tolerancing model expressed by DE and its semantic mapping are also given. Secondly, the construction of DEC, the geometric measuring method for the calculation of error transfer coefficients of dimension-chain components and the realization of DECA are proposed.

首先定义尺素和尺素链等概念，并在此基础上建立尺寸公差的尺素表示模型及其语义映射；然后给出尺素链构造方法、计算误差传递系数的几何度量方法以及尺素链分析的实现方法。

A formal semantics is given. We prove 79's soundness, consistency, completeness, and decidability with respect to the semantics.

本文和给出严格形式语义的基础上，证明了该系统具有可靠性、协调性、完全性和可判定性。

The corresponding tableau algorithm is also provided. The soundness and decidability of the tableau algorithm are proved. It is shown that the complexity of tableau algorithm is PSPACE-complete.

设计了ALCKR+的语法、语义以及表算法，给出了表算法的正确性以及可判定性证明，证明表算法的时间复杂度为PSPACE-complete。

The study of lattice-valued propositional logic system based on lattice implication algebra.On the bases of previous study, by using the concepts and methods of T algebras we established the lattice-valued propositional logic system LP , whose truth values domain is a lattice implication algebra, and discussed systematically the semantical and syntactical properties of LP , proved the soundness theorem 、consistency theorem、deduction theorem and the decidability of validity of the system when the truth values lattice is finite. We also discussed the relationship between the α-theorem of some premise, say A, and the closed sets that contain A.

本文在前人研究工作的基础上，利用T代数的概念与方法，建立了真值取于格蕴涵代数的格值命题逻辑系统LP，对它的语义及语法性质进行了较系统的研究，得到了它的可靠性定理、协调性定理及演绎定理等，证明了值格有限时系统"有效性"的可判定性并讨论了某一前提A下的α定理与包含A的闭集之间的关系。

About this, the completeness of the formal deductive systems is one of the main branches.

对于一个形式系统而言，完备性是至关重要的逻辑性质，它反映了该系统语法与语义的和谐性。

This paper presents the abstract model and logic semantics of two-level deductive database.

本文给出了二级推理数据库的抽象模型及逻辑语义。

Current deduplication algorithms mainly focus on keywords deduplication or semantic fingerprint deduplication and may cause error when processing Web pages.

目前文本去重算法以关键词去重、语义指纹去重为主，用上述算法进行网页去重时容易发生误判。

The two selection restrictions are determined by the cognitive function of middle construction. Though middles do not report actual event, they depict the properties of virtual events, therefore, naturally verbs in middles should be event verbs. And middles are cognitively motivated to deemphasize the role of agent in the occurrence of the event and focus the active role a passive participant could play in the occurrence of the event, then a volitional adjective or adverb that is under the control of agent would bring the deemphasized participant back into focus again, which is obviously contradictory to the cognitive motivation of middles.

这两种选择限制是由中动结构的认知功能决定的，中动结构虽然并不报道具体事件，但它描述虚拟事件的特性，因此动词必须是事件动词；同时中动结构之意图是弱化施事的作用而强化被动参与者在事件中的积极作用，因而一个语义上由施事自主控制的形容词或副词必然又会突显施事的作用，这与中动结构的认知动因是相矛盾的。

What is not plausibly part of the semantics, something we all know in virtue of knowing our language alone, is what to say in all the myriad cases in which the defeasible condition is defeated.

语义（一些基于知道语言就单独可以知道的那些东西）中的不太合理部分，是说在所有情况中可击败情况被击败了。

She gently rebuff ed him, but agreed that they could be friends

她婉言拒绝了，但同意作为朋友相处。

If in the penal farm, you were sure to be criticized.

要是在劳改农场，你等着挨绳子吧！