形状形容词"直"的逻辑语义分析

“直”是高频的形状形容词,在传统词汇语义分析的基础上,运用逻辑语义学理论以“直”为个案考察形状形容词“直”在不同分布中的语义结构关系,旨在初步建立汉语形状形容词的逻辑语义模型及理解模式,可以为进一步形式化提供语义信息和知识,从而为中文信息处理的词义分析提供一种新的思路。     

形容词性谓语句的逻辑语义分析

自然语言的逻辑语义分析和汉语信息处理是当今众多学科共同关注的热门话题。将现代汉语中的形容词性谓语句分为光杆形容词谓语句和复杂形容词谓语句两种,并利用转换生成语法、现代谓词逻辑、类型论、范畴论、广义量词理论、集合论和λ-转换等语义理论分别对各类句子作了较详细的分析,以期有助于信息处理的相关研究。     

修饰语形容词语义指向分析

形容词作定语时修饰主语或宾语，在句法上与其中心语构成直接成分；形容词作状语时修饰谓语，在句法上与谓语构成直接成分。但在语义平面上，定语形容词的语义不仅指向其中心语，还指向句内的其它成分或句外成分；状语形容词的语义不仅指向谓语，还指向句子中的主语、宾语等体词性成分，形成了一种句法与语义相悖的结构。作定语和状语的同一形容词虽语义指向相同，但所表达的主观意义不同，修饰语形容词语义指向的不同是人类认知模式的反映。     

形容词定语的语义指向分析

要掌握句子内部复杂的语义关系,必须注意分析句子成分的语义指向问题。本文从形容词定语的语义分析入手, 试图描写形容词定语的语义指向, 寻求其规律。定语位置上的形容词 （ Ａ）,在语义结构平面上可以分别与句中的主语、宾语、谓语动词等发生联系。这种不同的语义联系, 与 Ａ 的语义内容有直接关系。据此,本文把 Ａ 分为 Ａ Ｎ 和 Ａ Ｖ 两大类。 Ａ Ｎ 和 Ａ Ｖ 在语义类型上和被指成分在句法位置的分布上不交叉。在句法结构顺序上, 两者有一定的定位性。 Ａ的内部结构方式不同, 其语义结构有一定的倾向性     

修饰语形容词语义指向分析

形容词作定语时修饰主语或宾语,在句法上与其中心语构成直接成分;形容词作状语时修饰谓语,在句法上与谓语构成直接成分。但在语义平面上,定语形容词的语义不仅指向其中心语,还指向句内的其它成分或句外成分;状语形容词的语义不仅指向谓语,还指向句子中的主语、宾语等体词性成分,形成了一种句法与语义相悖的结构。作定语和状语的同一形容词虽语义指向相同,但所表达的主观意义不同,修饰语形容词语义指向的不同是人类认知模式的反映。     

副词“就”的语义结构分析

副词"就"语义丰富,用法多样,在词典释义中常有分歧,学者研究也存在诸多争论。运用虚词的"语义结构分析法",对语义结构的描写,可以找出虚词所引出的语义要素并描写要素间的关系。对副词"就"进行语义分析,可以概括出副词"就"的15个义项。     

基于语义的逻辑模型优化研究

在不改变模型结构的基础上,从语义描述的角度,根据模型扩展原则和优化指标确定扩展内容,采用扩展参照实体的标准值方式,通过语义约束来更好的响应企业的业务变化需求。从而有效的保证逻辑模型的实用性,稳定性,和可持续性。     

基于HNC和描述逻辑的问句语义块分析

针对汉语语句分析不能提供深层语义信息的问题,提出一个基于HNC和描述逻辑的问句语义块分析模型,利用HNC概念符号知识深入到词语的语义层面,从概念类别的内涵出发,对问句的逻辑结构进行了初步分析。采用描述逻辑推理机制得到了问句的语义视图,并实际验证了语义视图的有效性。     

分析和设计安全协议的新逻辑的语义

文献[1]中提出了一种分析和设计安全协议的新逻辑.协议分析者可以用该逻辑来对安全协议进行分析,而协议设计者可以使用该逻辑用一种系统的方法来构造安全协议.文献[1]没有给出该逻辑的形式化语义,因为串空间模型具有良好的语义,现将新逻辑和串空间模型结合起来,给出新逻辑的串空间语义,并运用该语义证明了新逻辑的推理规则是正确的.     

英语形容词的状语功能探析

人们通常认为,形容词在英语句中可充当定语、表语和补语。那么,它是否具有副词功能用作状语?语法界对此研究甚少。本文试就形容词作状语的现象来分析探究其语义功能。     

形容词在“A着”结构中的句法语义特征

“着”作为时体助词一般用在动词的后面,表示动作的进行或持续。形容词在“形容词＋着”结构中受“着”或“A着”结构的影响和规约,词性发生了游移。此时,既非典型的形容词,又非典型的动词,而是它们之间的一种过渡,语义也具有了动态变化性。     

基于描述逻辑的语义Web本体研究

语义Web出现的目的就是为了解决机器和人对知识的理解的问题,首先需要解决的问题就是计算机对知识的理解问题,只有计算机理解了所建立的知识,才能在此基础上展开推理服务。首先讨论了传统知识表示方式的缺陷,然后对本体论的逻辑基础———描述逻辑进行了研究。由于OWLDL和描述逻辑的一致关系,因此使用OWLDL来表示本体。介绍了描述逻辑推理系统RACER。最后提出了解决本体层知识表示方法的解决方案。     

模糊时序逻辑的语义及其广义重言式

讨论了时序命题逻辑系统MPTL模糊化的问题，给出了模糊时序命题逻辑系统FMPTL的语义及其广义重言式的概念，并讨论了广义重言式的分类．     

语义网中模糊本体的描述逻辑

为了使用语义网上的表达能力强的模糊知识来表示、推理模糊本体,我们将提出一种新的基于描述逻辑的模糊扩展,称之为带比较表达式的模糊描述逻辑（FCDLs）。FCDLs的语法和语义有标准化的定义,并且,FCDLs的公理和断言也有明确的指定。FCDLs结合模糊描述逻辑（FDLs）的模糊概念和扩展的模糊描述逻辑（EFDLs）的削减概念。因此,FCDLs可以使用语义网上的模糊知识来表示、推理模糊本体。     

非可换线性逻辑及其Quantale语义

扩充了V．M．Abrusci定义的非可换线性逻辑，使其兼容直党逻辑、可换线性逻辑及cyclic线性逻辑，并利用提出的对偶quantale概念给出了非可换线性的可靠且完备的quantale语义。     

定语形容词语义指向的顺应—优选过程分析——基于词汇语用学的视角

关联—优选模式采用生产和评估作为理解的两个阶段,而顺应—优选模式的运作机制则由评估和选择构成。在词汇语用学视角下,在定语形容词逆向修饰的顺应—优选过程中,词语编码的形容词属性概念的外延先被扩大,生成一个外延较大的过渡性实体概念,继而该过渡性实体概念的外延又被缩小到与人相关的某一个方面,最终被构建成表达说话人思想的逆向修饰结构。语用充实和语用强化作为词汇语用处理过程中的评估手段,对各项制约条件进行评估,而此间涉及的语用选择调整过程则非语用收缩或语用扩充所能涵盖。     

“向宾状语”的语义考察

本文从朱德熙先生在《语法答问》中的两个例子(“圆圆的排成一个圈儿,酽酽的沏一杯茶”)入手,考察了“向宾状语”结构内外的语义限制,分析了结构的语义层次及搭配关系,初步构建了一个语义结构模式.     

UML活动图的一种逻辑语义

为使UML活动图在软件过程中精确地建模系统,必须给出它的形式语义.首先将UML活动图形式化为一个关系结构,其次用Hoare逻辑给出了它的语义表示,最后讨论了该语义的若干性质,并用一个实例来说明.     

名词向形容词、动词游移的语义原因

名词并非是静态的,其语义中就具有动态性,常常含有一定的性质义和动作义,名词事物义同性质义、动作义之间可以相互转换,可以实现名词功能向形容词和动词的游移。