形式语义学相关论文
本文分别从形式语义学、结构语义学、历史语义学和认知语义学四个方向来论述其各自的发展过程和目前的研究使用情况。通过对比发现......
移动分布式系统中的计算描述的是如何向分布在不同位置的用户提供高质量的信息服务,目前已经被广泛地应用于教育科研、国防军事、......
本文回顾并分析近年来语言哲学界语境决定论和最简主义的对立对形式语义学研究提出的挑战。语境在形式语义学研究中的传统地位如何......
本文从形式语义学的角度研究汉语性质形容词作谓语的不完句效应。在对性质形容词作谓语能够完句的各种句法结构进行分析的基础上,......
语义的形式化是自然语言语义计算的必要条件,其基础是戴维森真值条件语义学和蒙太格的模型论语义学。戴维森的目标是用真值条件来......
<正>一、迈农的对象理论及其"本体论迷津"迈农(A.Meinong,1853—1920)是奥地利哲学家和心理学家,因其倡导的非存在论受到了罗素和......
摘 要:传统语义学认为自然语言不适合进行形式分析,蒙太古(Montague)等人开创的形式语义学一反传统,提出“英语也是形式语言”。本......
《生成语法的语义学》的作者ＩｒｅｎｅＨｅｉｍ和ＡｎｇｅｌｉａＫｒａｔｚｅｒ分别是麻省理工学院和麻省大学Ａｍｈｅｒｓｔ分校的著名语义学家。此书出版后被美国的许多高校当作语言学博士生的......
本文从形式语义学的逻辑推理角度出发,运用逻辑推理规则,对会话幽默实例进行分析,探讨幽默的本质,指出错误假设或推理形式不正确是......
Poua耐和sag提出的中心语驱动短语结构语法(HPSG,Head-Driven Phrase Structure Grammar)对英语中量词辖域歧义结构的分析和解释更......
期刊
近年来,形式语义学的发展颇具生机,已成为语义研究中最重要的理论学派之一.本文讨论形式语义学,重点介绍了"蒙太格语法"(Montague ......
人们把一般形式语义学的起源追溯到弗雷格、塔尔斯基、蒙塔古和戴维森等哲学家。但是人们忽略了维特根斯坦的《逻辑哲学论》。维特......
照应现象因其灵活性与多样性一直是自然语言处理中的难点,许多形式语义学研究者都提出了自己的处理方法,在组合范畴语法中通常通过......
互联网、物联网环境下,在面向服务的软件开发形式下,研究如何让软件感知环境的动态变化,上下文环境的不确定性和软件系统需求本身......
篇章表述理论（Discourse Representation Theory,简称DRT）是动态的自然语言意义的形式语义理论,由篇章语义的构造算法和语义的正确性......
汉语名词词组NP的指称意义复杂,特别是在没有形式标记时,往往存在单数/复数、全称/存在量化、概称/特指、有定/无定等歧义。而传统......
使用形式语义学方法详细说明了查询操作需求分析,建立了查询过程演算概念,并以NetConf协议的查询操作(get)为例验证了提出的方法.......
针对简单函数式语言、简单过程式语言和简单面向对象式语言等多个程序语言范例，分别定义了它们的操作语义和指称语义，同时设计了一个......
传统语义学认为自然语言不适合进行形式分析，蒙太古（ Montague）等人开创的形式语义学一反传统，提出“英语也是形式语言”。本文介绍过......
话语分析在中国中国社会科学院语言研究所徐赳赳０．引言在我国传统的语法研究中，重点在字词句。“一般讲语法，只讲到句子为止，篇章段落......
Program slicing is a well-known program analysis technique that extracts the ele-ments of a program related to a particu......
汉语的副词是一类比较特殊的词类,不但功能和用法纷繁多样,且使用范围广而高,还承担复杂的语法任务,因此副词研究一直是语言学家探......
【正】Manfred Bierwisch是欧洲著名语义学家,有Semantics(1970),On classifyingsemantic features(1971)等著作,受到世界语言学界......
认知语义学是随着语言学研究中语义地位的逐渐提升 ,在反思生成语言学、逻辑语义学、形式语义学的成败得失中产生并发展起来的。认......
本文旨在从意义的组合性原则出发,对含有量化名词词组的及物性结构进行语义分析.重点是讨论和评价对这一结构从形式语义学角度所做......
语言学界对于量词辖域歧义结构的研究主要从形式语义学理论出发，主要有生成语义学框架内的“量词提升”，传统蒙太格语法框架内的“量......
学位
无线网络(Wireless Networks)是由一组无线的、可移动的网络节点组合而成的网络体系架构,该网络架构已经被广泛地应用于信息物理融......
本文意图为话语表现理论构造一个简单处理的形式系统。 话语表现理论(DRT)是由Hans Kamp在20世纪80年代初期提出的、动态地描述......
否定极项(NPI)指那些只能出现在否定句中的词语,如"丝毫"、"万万"、"绝"等。本文运用形式语义学的理论与语料库语言学方法,研究现......
随着物联网技术和信息物理融合系统相关理论的发展,车联网系统(Internet of Vehicles)已经成为物联网理论和智能交通系统的重要研......
逻辑和语言的研究分为句法、语义和语用几个领域。在语义领域,其主要理论有蒙太格语法、广义量词理论、话语表述理论、情境语义学......
本文在解释何谓自然语言逻辑的基础上,从“自然语言逻辑是逻辑学和语言学交互作用的产物”和“自然语言逻辑是逻辑学顺应信息时代......
本文将以语料分析、文献阅读和比较研究方法为基础,借鉴构式语法研究者们的研究思路,即特殊表达从常规表达传承了很多语义特征和用......
自然语言的意义是当代哲学、逻辑学、语言学、认知科学和人工智能所关心的重要问题之一。迄今为止,人们发展了多种意义理论和学说,......
当前第五代计算机的研制中发展起来的符号动力学、计算语言学、模糊逻辑、形式语义学等学科,以及人工智能对自然语言意义所作的处......
现代语言研究最显著的特点之一是形式化,而形式化的基础是公理形式演绎思想。分析公理形式演绎与自然语言研究的关系可以看出,由于......
形式语义学(Formal Semantics)就是逻辑语义学，就本文的立论范围而言，是关于自然语言的逻辑语义学。形式语义学研究自然语言的语义，是......
形式语义学是以数学为工具,利用符号和公式,精确地定义和解释计算机程序设计语言的语义。形式语义学可分为四大类,本文对这四类形......
话语表现理论（ＤｉｓｃｏｕｒｓｅＲｅｐｒｅｓｅｎｔａｔｉｏｎＴｈｅｒｏｙ，简称ＤＲＴ）是动态地描述自然语言意义的形式语义理论。其特色为：把传统形式语义学对句子的分析扩大到句子系列，通过对句子上下......
作者在逻辑语义学的框架下,用两种语义方法分析"John reads a book in the classroom.",比较两种方法的优劣,认为方法1更好,符合语......
<正> 四十年代关于逻辑真与事实真是否有严格的区分问题,著名哲学家、逻辑学家卡尔纳普和奎因(Willard Van Orman Quine) 曾有过一......
本文简要回顾了语义学发展的几个重要阶段 :准备阶段、词源学阶段、结构主义阶段和现代多元化阶段。作者指出 ,现代语义学研究具有......
