查询词典 semantics

In order to show the performability of mutually-inversistic mathematical logic in counting,its application to artificial intelligence is given:the operational semantics and denotational semantics of second level single quasi-Pro...

为说明互逆主义数理逻辑在计算中的能行性，给出了其在人工智能计算中的应用：二层单准Prolog的操作语义和指称语义。

ABSTRACT This dissertation is concerned with the production and the interpretation of textual meaning, the meaning of literary texts in particular, in such an interdisciplinary way that it involves semiotics, general linguistics, pragmatics, semantics, text semantics, literary criticism, poetics, structuralism and poststructuralism.

本论文采用跨学科的方式讨论文本意义的产生和解读，尤其是文学文本的意义，主要涉及符号学，普通语言学，语用学，语义学，文本语义学，文学理论，诗学，结构主义和后结构主义。本文之所以采用跨学科的研究方法是因为这些学科都探讨同一个问题，即意义问题，只是角度不同而已。

Architectural semiotics involves syntactics, semantics and pragmatics. Syntactics cares for architecture forms, and semantics emphasizes architectural aesthetics must born from abstract human culture, in the end, pragmatics pays attention to the semiotic affect on human deeds.

建筑符号学分为符构、符义、符用三个层面，符构学关注的是建筑的实际构成法；符义学强调建筑的美学要基于抽象的人类文化基础上；而符用学则是要关注人类行为学方面的符号作用。

In fact,in his criticism,has also developed a modal logic with non-modal logic truth table semantics sentence comparable to the form of semantics.

事实上，在他的批评之后，模态逻辑也发展出了可与非模态语句逻辑的真值表语义学相媲美的形式语义学。

Concerning this there has been a fierceargument between realism and antirealism since the 1970's. D.Davidson who is the leading exponent of realism advanced thetruth-condition semantics based on "truth", and M. Dummettrepresenting antirealism put forward the justification-condition semantics based upon "verification".

自70年代以来，以戴维森为代表的实在论和以达米特为代表的反实在论围绕意义问题展开了激烈的争论，前者提出了以真理概念为基础的成真条件语义学理论，后者提出了以证实概念为基础的辨明条件语义学理论。

Structural semantics is a new branch of modern semantics which studies the implicational lexical relations: hyponymy ,antonym and converseness.

结构语义学是现代语义学中一个新的分支，认为词汇间是有联系的，即有含蓄的语义关系，如下义关系、反义关系、相对关系。

Because of the technical defect of intensional semantics, situantional semantics is much more powerful in the knowledge representation.

由于内涵语义学技术上的缺陷，在知识表示上境况语义学显得更有优势。

Intensional semantics and situational semantics give the different answers of the question, which follows is the different method to process the sentences.

针对该问题，内涵语义学和境况语义学选择了不同的回答，形成了处理句子的不同方案。

Formal semantic description ; Security protocol analysis ; Game semantics ; Monadic semantics

形式化语义描述；安全协议分析；博弈语义；单子语义

The essential problem of KBOOA are acquirement and organization of knowledge about the application domain. First of all, we recognize objects according to their outside characteristics and build stable concepts structures. In this way, the attributes and behaviors of any objects are treated as objects as well. The concepts are organized in hierarchies, the concepts' semantics are demostrated in the form of conceptual graphs. As hierarchy structure has inheritance, the system has ability to recognize and reuse concepts, analyze and reason the acquired information according to the existing knowledge, understand the problem space and present the system's functions and characteristics to the analysts and users in the form of scenarios. The main means of transforming informal requirements to formal ones is to recognize objects according to their outside characteristics, recognize attributes according to their functional dependence and describe the semantics of objects, behavior and attribute's relationship's because there is a automatic map from the descriptions of attributes and behaviors to class structures. It is difficult to transfer from OOA to OOD, We disscussed the modularity of Object-Oriented programs according to the principles of software engineering and presented the methods to decrease couplings and increase cohesions, i.

KBOOA以知识的获取、组织为中心问题，首先依据对象的外特性识别对象，并将属性和行为也作为对象处理，从而建立起较稳定的概念结构；KBOOA以层次的方法组织概念，以概念图的形式描述概念的语义，利用层次结构的继承特性，使系统具有识别、重用概念的能力，根据已有知识对系统所获信息进行分析、推理，产生对问题空间的理解，并以想定的形式向分析师、用户展示系统功能、性能，从而构成了一个交互式的，具有一定智能的需求分析环境；依据外特性识别对象，依据函数依赖关系识别属性，用概念图描述对象、行为及属性关联，是将需求由非形式化形式向形式化形式转换的主要手段，使属性及行为描述可向类型结构自动映射，为提高需求分析的自动化程度提供了依据。

Cynanchum Lingtai apricot production in the average weight 65 grams, the brightly-colored fruit, juicy rich, sweet-sour taste, sweet from the nucleolus, when the late Qing Dynasty famous Shaanxi, Gansu provinces, the Qing imperial court Tongzhi tribute for years.

灵台生产的牛心杏平均单果重65克，果实色泽鲜艳，汁多味浓，甜酸适口，离核仁甜，清末时就驰名陕、甘两省，清同治年间曾为朝廷贡品。

Chenopodium album,Solanum nigrum, and Amaranthus retroflexus were very susceptible to the herbicides. Polygonum persicaria and Abutilon theophrasti were relatively less susceptible to the herbicides, and Lycopersicon esculentum was not susceptible to it. The relationship between reduction rates of weed biomass and PPM values of weed leaves 2,4, and 6 days after treatment was established.

供试的6种杂草对该混剂的敏感性存在显著差异：红心藜Chenopodium album、龙葵Solanum nigrum和反枝苋Amaranthus retroflexus对该混剂最敏感，ED90值分别为47.65、71.67和29.17g/hm2；春蓼Polygonum persicaria和苘麻Abutilon theophrasti敏感，ED90值分别为96.91、114.20g/hm2；而番茄不敏感。