梯级推理与“包括”前后项之间的逻辑语义关系

“包括”前后项之间具有三种截然不同的逻辑语义关系,即前项包括后项、后项包括前项、前后项无直接关系但属同一集合。由于“包括”作为典型的预设触发语与推理直接相关,且当其同时激活存在预设与梯级预设时才有三者共存的可能。通过对三种逻辑语义关系具体推理机制的描写与对比,发现三者并不是孤立存在、互不相容的,而是建立在统一的逻辑基础之上,具有相同的语义内核,且在从可能性角度进行的梯级推理上具有内在逻辑的高度一致性,即在事件发生的可能性上都遵循从小到大的推理方向。其不同意义的产生是由梯级推理过程中所涉及的某些因素造成,其中影响最为直接的是具体逻辑关系的隐现、不同参照点的选取以及在此基础上生成的不同推理路径。

基于逻辑语义判别的调峰电源设备漏油图像识别

针对调峰电源设备漏油图像识别中的难点问题,将逻辑规则判别引入图像识别领域,提出一种全新的图像识别方法。基于直方图均衡化技术增强原始图像,利用Mask RCNN网络初步获取储油装置、地面、疑似油污区域的位置和轮廓信息。根据这些信息判断物体间位置关系,并结合逻辑表达式判断疑似区域是否属于漏油区域。基于现场拍摄的调峰电源设备图像进行实例分析,结果表明该方法能有效克服漏油区域识别中的难点问题,大幅提升了识别准确率。

双向参照视角下汉日让步性转折标记“虽”与“が”的思维预期与逻辑语义特点分析

转折复句在汉语和日语中都存在众多类型,一般用于表达最基本的原始联系之上所生发出的异变性联系。该类复句自身在语义和逻辑层面有着相对较高的理解难度,而在实际的互译及教学活动中也暴露出由于忽视汉语和日语中关键性的转折关联词在逻辑语义和翻译条件层面的关系而导致的偏误。本研究以汉日让步性转折关联词“虽”与“が”为研究视点,以汉日语法的双向参照为研究视角,从它们在转折关系语段中所表达的预期层次出发,分析转折关系中思维预期主体的身份,并将让步性转折复句分为“对立让步性转折复句”和“反因果让步性转折复句”两种类型,从而厘清以“虽”和“が”为标记的汉日让步性转折复句在思维预期与逻辑语义层面的特点,期望对汉日跨语际翻译和第二语言教学的相关研究有所补充。

从翻译失误看语篇翻译中的深层逻辑语义分析

逻辑语义关系是指由某种表层逻辑结构显现,并通过语言表达而附加出来的意义关系。原文表层逻辑结构和深层逻辑语义的不一致是造成翻译中逻辑转换失误的重要原因。因此,译者在翻译时应仔细分析原文内在的逻辑语义关系,再用符合译入语习惯的逻辑形式表达出来。

粒计算研究现状及基于Rough逻辑语义的粒计算研究

综述了粒计算的提出背景、研究现状及其发展趋势,也给出了作者的评论;论述了粒计算应用的广泛性,包括AI中的图像检索、医学诊疗系统、连续数学中的积分学及其它许多逻辑推理等方面的应用.讨论了粒计算将有希望成为处理信息和研究其它学科的理论工具和方法学.讨论了粒计算中基于Rough逻辑语义的粒及其相关性质,建立了这种粒的演绎推理.提出了基于Rough逻辑语义的粒归结原理和归结策略,包括λ-归结策略和锁归结策略.证明了这种粒归结的完全性.基于Rough逻辑语义的粒在AI的问题求解、专家系统以及机器定理证明中都将成为一种新的研究思想和新的理论工具.最后,提出了这种基于Rough逻辑语义的粒计算研究前景.

基于有限格蕴涵代数的格值命题逻辑语义系统

以有限格蕴涵代数作为逻辑系统的真值域 ,在其上建立了基于有限格蕴涵代数的格值命题逻辑语义系统。研究了在A水平上系统的赋值和公式的可满足性等基本定义 ,证明了系统“有效性”

模糊粗糙逻辑语义及其推理

主要从粗糙集、模糊集、逻辑学等三个方面来定义模糊粗糙逻辑的概念,给出了带逻辑符号"┑,∧,∨,→,"的模糊粗糙逻辑的真值区间的运算。并分别从"→,┑,∧,∨"四个逻辑运算符研究了模糊粗糙逻辑的语义推理。

时间形容词的逻辑语义分析

本文在传统的句法和语义分析的基础上,运用现代语义学理论在时间系统中考察"早"在不同分布中的逻辑语义关系,抽象出时间性形容词"早"的内涵语义要素:时间坐标、起始点、终结点和参照点。这可为构造时间认知语义范畴提供分析框架,为进一步形式化做准备,也为其他表时间的词逻辑语义分析提供参考。

“总分关系”的逻辑语义基础及属性定位

"总分关系"有四种逻辑语义基础,在此基础上引入表达者维度,建立"总分关系"范畴。"总分关系"范畴不同于逻辑语义,而是由交际主体介入产生的一种表达范畴。

俄语句子逻辑语义结构及相关句式类型

句子的逻辑语义结构指的是句子的深层语义结构,即经过高度抽象和概括的、不含民族语言特征的、通用的纯语言语义结构。按照句子逻辑语义结构的不同类型进行句式分类是句子语义研究的新视角,也是研究句子整体意义的重要途径。

语篇体裁复合体——试析语篇体裁之间的逻辑语义关系

语篇体裁的定性和分类一直是颇有争议的话题。对此,本文借鉴常见于小句复合体中的逻辑语义关系类型,探讨语篇体裁复合体的概念。我们首先回顾了以往研究在建立语篇体裁分类系统方面所取得的成果,继而讨论小句中的逻辑语义关系类型,然后以科学巨著《时间简史》第一章中的两段语篇为例分别分析了体裁的扩展和投射现象。实际的语篇很少呈现单一纯粹的体裁特征,往往是不同体裁的复合体。真正宏观语篇体裁的确定要视最终的语言环境而定。

历代注释书句法逻辑语义关系分析——兼说汉语语法单复句区分自身存在的“破绽”和建立“并列语法结构”

历代注释书对短语中和短语间的逻辑语义关系有精细分析,并表现出二者的语义关系类型实完全相同、所用关系词多同少异。汉语语法无单复句区分,而这种"区分"自身存在"破绽"、"不协调",应建立二元(或过二元)平等加合构成的并列结构代替单复句划分。并列结构跟主谓、动宾、动补等句法结构不在一个层面上:并列结构可是主谓等句法结构的结构成分,而构成元也可是主谓等句法结构。

自然语言逻辑语义学研究述评

自然语言的逻辑语义学是逻辑学、语言学和计算机科学的跨学科交叉研究的产物,研究的对象是自然语言,研究的方法涉及逻辑和计算的概念。近十来年,逻辑语义学的跨学科研究方兴未艾,其中有较大影响的要数范畴语法的三个现代版本的发展:范畴类型逻辑CTL、组合范畴语法CCG和非连续兰贝克演算DLC。CTL是从逻辑的高度概括分析语言的形式工具的学说,CCG是基于特定规则而关注语言事实分析需求的形式语法,DLC是专门分析语言中非连续现象的形式理论。本述评阐述的就是范畴语法三个现代版本的国内外发展概况。

“文革”元旦社论话语的逻辑语义分析

运用可能世界语义学的理论审视“文革”元旦社论话语 ,剖析其“假、大、空”话语的性质特征 ,指出其形成的原因即是把可能当作了必然 ,把不可能当作了可能甚至必然。

关于非连续量词的类型-逻辑语义处理

2005年宾夕法尼亚大学的克拉克教授提出一个处理英语中非连续量词的方案。在其论文中他获得以下成果:(1)把多复合量词(polyadic quantifier)“every…a different…”当作类似“more…than…”那样的非连续量词;(2)在兰贝克后承演算(Lambek Sequent Calculus)的基础上,对涉及上述量词的句子进行了形式语义学所要求的组合分析。考虑到表述的严格性,我们对克拉克教授的处理方案进行了几个方面的改进:首先,对非连续量词的后续部分也指派λ-词项和范畴值,这样可以在由若干λ-词项和范畴的序对形成的上下文中避免出现作为自然语言词条身份的非连续量词的后续部分。其次,采用兰贝克后承演算的自然演绎表述,增加对非连续量词的各个部分进行叠置合成的规则,这样使有关的组合分析更加严格。最后,增加刻画所谓结构性质的规则,直观地显示出关于复合量词语句的类型-逻辑推演结果的非连续来源。

关于逻辑语义学的句法系统

逻辑语义学的核心任务是探索自然语言语义的组合原则。逻辑语义学认为,语义不是孤立的,语义与句法之间具有同构关系,采取什么样的句法理论往往决定了语义系统的本质和刻画精度。在过去近半个世纪时间里,逻辑语义学家越来越关注如何吸纳和借鉴当代句法学的理论成就为己所用。Heim和Kratzer等人在生成树上构造的语义系统、Steedman在CCG框架下进行的词汇主义转换以及我们对助动词"有"的讨论都是这方面有益的尝试。

英语无灵主语句的隐含逻辑语义关系分析

英语无灵主语句常以小句的形式出现,具有结构严谨、词汇密度大以及逻辑语义关系隐蔽等特点。叶斯柏森的语结理论与奈达的语义范畴对英语无灵主语句中隐含逻辑语义关系的形成机制和体现方式有指导意义。

从逻辑观的演变看逻辑语义学的发展

逻辑观的进步是逻辑语义学发展的内在动力。古典逻辑观向现代数理逻辑观的转化促成了塔斯基逻辑语义学的产生,但对形式系统的过分注重使它局限于外延层面。随着逻辑观的进一步发展,对由自然语言所承载的日常推理的刻画成为逻辑研究的重心,这种趋势使语义学研究由外延意义向内涵意义的过渡成为可能,卡尔纳普的外延-内涵方法和蒙太古语法的建立是这种可能的现实实现。

探索语言逻辑与信息处理结合的新路径——《自然语言信息处理的逻辑语义学研究》评介

介绍2018年9月出版的《自然语言信息处理的逻辑语义学研究》的写作背景及其主要内容。指出该书有3个鲜明特色:理论性与应用性结合、对汉语特殊性的关注、多学科交叉融通;其理论价值和应用价值都很突出,为计算机自然语言处理提供了新的思路。

朱自清《春》的逻辑语义关系分析

从小句复合体内部、小句复合体之间及语篇内部结构等方面对朱自清的《春》进行逻辑语义分析。分析结果表明,逻辑语义关系不仅具有使语言生成连贯完整语篇的重要功能,而且能够体现语篇发展风格,与语篇语体有密切关系。因此,对英语语篇的逻辑语义关系分析可以应用到英语阅读、写作教学当中。