汉语NP短语的形式语义分析

自然语言的形式分析和计算机对自然语言的信息处理是当今时代比较热门的研究领域。以转换生成语法、范畴语法和类型论、λ-演算和时态逻辑等为工具分别对现代汉语的若干类NP短语中的领属定语、数量定语、时间定语3种类型作了较详细的形式语义分析,刻画了定语所表示的拥有领属关系、数量度量关系和时间先后长短关系,同时对不同种类的定语在句法范畴和语义类型的形式处理方面作了严格统一的处理,有助于汉语的计算机信息处理。     

从两种变项及其差异看两种逻辑的本质

从传统逻辑变项的特征看,传统逻辑语言是自然语言的语法语言,所以传统逻辑本质上是自然语言的形式逻辑。传统逻辑只注重对自然语言的语法分析,而忽视对自然语言的语义分析,这就不能不产生其所特有的缺陷：一是拘泥于自然语言命题的表层形式,二是命题形式的语义不清。从数理逻辑变项的特征看,数理逻辑语言只是表意符号语言,而不是自然语言的语法语言,所以数理逻辑本质上只是符号逻辑,而不是自然语言的形式逻辑：首先,数理逻辑最多只能用来解释自然语言的逻辑涵义,而不能用来解释自然语言的形式结构;其次,即使是对自然语言作语义解释,数理逻辑也是难以胜任的。     

论形式语义学

阐述了形式语义学关于"语法"、"句法和语义",以及"语词和语句"等概念.传统语言学所谓语法讲究对语言符号串线形排列的成分分析,现代生成语言学的Chomsky学派认为语法就是有关语言层次结构的由小到大的生成规则,类型逻辑语法等形式语义学理论所谓的语法是指基于逻辑推演的关于自然语言的运行规律;形式语义学强调句法和语义的对应,这是形式语义学的灵魂;形式语义学在语句领域取得了较大成功,而语词领域是语言学侧重的研究方向.从形式语义学比较语言学的不足可以看到其未来发展的思路.     

述补谓语句的形式语义分析

中文信息处理是当今众多学科关注的热门话题,而自然语言的形式分析是实现这一任务的必要环节.分析了述补谓语句中各类补语在语形、语义等各方面的特点,并利用转换生成语法、现代谓词逻辑、类型论、范畴论、广义量词理论、集合论和λ-转换等工具分别对各类述补谓语句的语义及句法生成等作了探讨,以期有助于中文信息处理的相关研究.     

论形式语义学

阐述了形式语义学关于“语法”、“句法和语义”,以及“语词和语句”等概念。传统语言学所谓语法讲究对语言符号串线形排列的成分分析,现代生成语言学的Chomsky学派认为语法就是有关语言层次结构的由小到大的生成规则,类型逻辑语法等形式语义学理论所谓的语法是指基于逻辑推演的关于自然语言的运行规律;形式语义学强调句法和语义的对应,这是形式语义学的灵魂;形式语义学在语句领域取得了较大成功,而语词领域是语言学侧重的研究方向。从形式语义学比较语言学的不足可以看到其未来发展的思路。     

逻辑元语言问题

“元语言”原是现代逻辑哲学中的概念,塔尔斯基和卡尔纳普分别从语义学(semantics)和语形(syntax)的角度将它与对象语言区分开来。波普尔提出语言中的自我涉及(autonomous)问题,蒯因提出“语义上行”说,戴维森把关于真理的形式理论应用于自然语言的意义理论,这些均给语言学研究带来方法论上的启迪：     

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

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

基于范畴论的Web本体论描述研究

随着计算机的普及和互联网的广泛使用,网络在人们的生活中起着重要的作用。本文介绍了Web的演化过程,解释了语义网是Web3.0实现的关键,并由此得出本体论是语义网的核心。由于范畴论能抽象地处理数学结构以及结构之间联系,利用其理论来研究本体论,为Web的研究提供了数学理论。     

“五常”的逻辑推演及其当今意义

“仁义礼智信”系先秦儒家提出并发展成具有普遍意义的道德范畴和价值取向标准。尽管仁、义、礼、智、信各范畴在内涵上各不相同,所揭示的道德生活内容的侧重面各异,但“五常”是一个整体,各范畴间具有内在的逻辑联系。其中“仁”是美德的核心,是最高的道德原则,“义”则是“仁”的内在逻辑推演,“礼”乃为“义”的外在保障,“智”是道德认知的必要条件,“信”则体现了天道与人道的合一。     

情景语义学的逻辑研究

情景语义学逻辑研究大致经历3个发展时期和与之相对应的3次理论重心的转移。1980年到1985年为理论成型期,研究主要集中在理论本身的建构和哲学解释方面;在逻辑工具的选用上经历了从以标准集合论为工具的合成研究向以公理论和非良基集合论为工具的分析研究的转变。1985年到1993年前后为理论成熟期,其理论影响涉及多个相关领域,理论重心转变的直接结果就是信息通道理论的产生和发展。1994年后为理论拓展期,信息通道理论和信息流逻辑研究成为新的研究方向和热点。情景语义学逻辑研究在情景语义学元理论逻辑研究、情景语义学的逻辑应用研究、情景逻辑系统的构建、情景语义学和其他形式语义理论的融合研究、信息通道理论和信息流逻辑研究等5个方面都取得了进展。前2个方面的研究比较成功,有一大批研究成果问世并在逻辑领域产生积极影响,但后3个方面的研究尚存不足。所以,以情景语义学和情景理论中的信息流思想和信息通道理论为基础,提出一个完整的信息流理论是情景语义学及其逻辑研究的当务之急。     

一阶谓词逻辑在人工智能知识表示中的应用

用一阶谓词逻辑的形式语言讨论了自然语言的形式描述、数学知识的形式表述、在人工智能中智能行为过程的描述等。总结用一阶谓词逻辑的形式语言表示具体知识的步骤，以及这种知识表示法的局限与应当进一步研究的问题。     

形式化方法(FM)

传统的开发方法一般基于自然语言的描述,不能表达明确的语义;本文介绍的形式化方法（ＦＭ）是基于形式逻辑和离散数学的,特别适用于安全重要性系统的说明、设计和构造。     

塔斯基语言层次论探析

塔斯基的语言层次理论对自然科学、逻辑学和哲学产生了深远影响.本文从弗雷格和罗素的语言层次理论及其问题、塔斯基的语言层次理论、塔斯基语义学理论的缺陷及其与符合论的关系三个方面对该理论进行分析.在充分肯定塔斯基语言层次论的同时,指出其真之定义的一个缺陷,即用“满足”来定义“真”是多余之举.     

A model of reasoning about knowledge

ＴｈｅｓｔｕｄｉｅｓｏｆｒｅａｓｏｎｉｎｇａｂｏｕｔｋｎｏｗｌｅｄｇｅｍａｙｄａｔｅｂａｃｋｔｏａｎｃｉｅｎｔＧｒｅｃｉａｎｐｈｉｌｏｓｏｐｈｅｒｓ,ｂｕｔｉｔｓｆｏｒｍａｌｉｚａｔｉｏｎａｎｄｌｏｇｉｃａｌａｎａｌｙｓｉｓａｐｐｅａｒｅｄｑｕｉｔｅｌａｔｅ.Ｉｎｔｈｅ1960’ｓ,ａｎｉｎｔｅｎｓｉｖｅｄｉｓｃｕｓｓｉｏｎａｂｏｕｔｐｒｏｐｅｒｔｉｅｓｏｆｋｎｏｗｌｅｄｇｅａｎｄａｘｉｏｍａｔｉｃｓｙｓｔｅｍｓｄｅｓｃｒｉｂｉｎｇｋｎｏｗｌｅｄｇｅｗａｓｃａｒｒｉｅｄｏｕｔｉｎｔｈｅｐｈｉｌｏｓｏｐ…     

智能拼音-汉字转换系统实现研究

本拼音 -汉字智能转换系统的主要特征 ,是利用扩充的LR句法分析和基于二元语义的类属语义分析方法消除同音词的歧义干扰 ,提高转换的正确率 针对汉语语法特征 ,阐述了汉语语法分析中的两种回溯 ,并扩展了传统LR分析方法 ,提高了语法分析的完备性 为有效地实施语义分析 ,探讨了所使用的类属及类属关系 ,它以一种简单而有效的方式建立、维护和使用句法和语义知识 随着句法和语义知识的不断丰富完善 ,系统将有望大大提高转换的效果     

动词“自主／非自主”语义范畴研究

以语义为基础,针对汉语动词语义范畴中的“自主／非自主”进行对比性研究．通过具体语言实例,从“句法格式区分”、“语义制约性”、“语义特征的相容性和区别性”等方面论述动词“自主与非自主”语义特征,明确“自主”与“非自主”在语义上的对比性及动词的相应语法使用情况．     

面向对象的时序逻辑语言

针对时序逻辑语言缺少面向对象概念的现状,对投影时序逻辑进行了扩展,介绍了新的语法和语义。在扩展投影时序逻辑中,基于变量集合的层次化和谓词的分组,给出了对象、类和继承等概念的形式化定义。扩展投影时序逻辑的一个可执行子集被定义为面向对象的时序逻辑语言Framed Tempura++,它能够用于面向对象的程序设计,可以模拟组合Web服务的执行。所给出的实例表明,该语言与Framed Tempura相比,能有效地重用代码,提高了代码的可读性和可维护性。     

构成知识空间的现象及范畴的粒结构模型

为建立时间维度下知识运动及演化的动态模型,将现象理解为构成知识的基本要素,并将概念、直 观（时间一状态）及关联逻辑作为组成现象的基本范畴,同时将粒结构作为现象形式化表示的基本结构．基 于形式概念分析与粗糙集理论之间的同构关系建立了现象中概念范畴及直观范畴的粒结构模型,并给出了 形式化现象之间的关联关系及关联逻辑,结果表明：基于对现象的形式化表示,可以构建比概念模型在语义 描述上更完整的知识表示模型