检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

形式语义学视角下的命题符号理论研究综述

兰州交通大学学报 2020年第1期39卷 136-141页

作者：付勇君兰州交通大学外国语学院

语言符号系统因具有逻辑化、系统化、动态化的特征,汲取了人文社会科学和自然科学中有关信息编码、传输、解码和语义的理论和思想,发展成为新兴的交叉学科研究热点。命题符号、模态符号、感知符号作为认知符号学的重要研究领域,受到国... 详细信息

语言符号系统因具有逻辑化、系统化、动态化的特征,汲取了人文社会科学和自然科学中有关信息编码、传输、解码和语义的理论和思想,发展成为新兴的交叉学科研究热点。命题符号、模态符号、感知符号作为认知符号学的重要研究领域,受到国外学者的关注,但国内相关研究并不多见,本研究基于形式/逻辑语义学理论,通过研究综述,试图探寻形式语义学视角下命题符号理论研究的发展方向。

关键词：形式语义学命题符号

在线全文

学校读者我要写书评

暂无评论

形式语义学发展概述

江西社会科学 2013年第11期33卷 20-24页

作者：付艺高芸宜春学院外国语学院

形式语义学是20世纪六七十年代由蒙太格最初发展起来的理论阵营,到20世纪70年代中期,形式语义学研究在美国、荷兰、德国、新西兰等国家得到空前的发展,目前在欧美国家已成为热点课题。由于静态语义学的局限性,意义研究实现了从静态向动... 详细信息

形式语义学是20世纪六七十年代由蒙太格最初发展起来的理论阵营,到20世纪70年代中期,形式语义学研究在美国、荷兰、德国、新西兰等国家得到空前的发展,目前在欧美国家已成为热点课题。由于静态语义学的局限性,意义研究实现了从静态向动态的转变,这给意义的理解带来了深远的影响。动态语义学形式化研究已成为当代意义研究的主流,并将成为21世纪语义研究的一个重要方向。

关键词：形式语义学意义静态语义学动态语义学

基于形式语义学研究维吾尔语句式NP_(1)+(NP_(2))+V_(2)+V_(1)的分化及形式语义规则

在线全文

学校读者我要写书评

暂无评论

语言与翻译 2021年第4期 35-40页

作者：潘艳兰喀什大学中国语言学院新疆喀什844006

形式语义学是指将自然语言的语义转换成一个体系严密的形式化系统。本文采用了逻辑语义分析法,运用形式语言来实现对句式形式化的描写和分析,结合语言学、逻辑学、计算机科学,通过分析维吾尔语句式NP_(1)+(NP_(2))+V_(2)+V_(1),总结出... 详细信息

形式语义学是指将自然语言的语义转换成一个体系严密的形式化系统。本文采用了逻辑语义分析法,运用形式语言来实现对句式形式化的描写和分析,结合语言学、逻辑学、计算机科学,通过分析维吾尔语句式NP_(1)+(NP_(2))+V_(2)+V_(1),总结出逻辑语义的表达式,推导出相应的Prolog语言,有利于维吾尔语学习者系统地掌握该句式的特点和规律。

关键词：形式语义学句式NP_(1)+(NP_(2))+V_(2)+V_(1) 形式语义规则

在线全文

学校读者我要写书评

暂无评论

形式语义学和汉语语义研究

贵州社会科学 2009年第8期236卷 33-37页

作者：贾改琴邹崇理浙江大学浙江杭州310028 中国社会科学院北京100732 燕山大学河北秦皇岛066004

形式语义学的主要理论有蒙太格语法、广义量词理论、话语表述理论、情境语义学和类型逻辑语法,这些理论基于各自不同的侧重对自然语言语义展开了研究。从形式语义学角度分析汉语语义,汉语灵活语序的语义问题以及汉语句法和语义的关系等... 详细信息

形式语义学的主要理论有蒙太格语法、广义量词理论、话语表述理论、情境语义学和类型逻辑语法,这些理论基于各自不同的侧重对自然语言语义展开了研究。从形式语义学角度分析汉语语义,汉语灵活语序的语义问题以及汉语句法和语义的关系等问题是值得关注的。

关键词：形式语义学句法语义研究

形式语义学与软件工程中的不确定性和自适应研究

在线全文

学校读者我要写书评

暂无评论

福建电脑 2016年第7期32卷 82-84页

作者：梁志荣肇庆学院教育技术与计算机中心广东肇庆526061

互联网、物联网环境下,在面向服务的软件开发形式下,研究如何让软件感知环境的动态变化,上下文环境的不确定性和软件系统需求本身的动态性,建立软件的自适应机制以应对处理软件工程中的不确定性。初步的研究思路利用Petri网建立软件的... 详细信息

互联网、物联网环境下,在面向服务的软件开发形式下,研究如何让软件感知环境的动态变化,上下文环境的不确定性和软件系统需求本身的动态性,建立软件的自适应机制以应对处理软件工程中的不确定性。初步的研究思路利用Petri网建立软件的形式化模型,利用人工智能的不确定性处理机制对历史数据和上下文动态环境进行分析处理,建立软件的自适应机制。

关键词：形式语义学不确定性自适应软件工程

在线全文

学校读者我要写书评

暂无评论

形式语义学理论简述

中国民族博览 2020年第9期 116-117页

作者：李晶太原工业学院山西太原030000

作为语义学的分支,形式语义学在语义学研究发展的过程中占有重要地位。目前的研究对形式语义学相关理论认识不全面,对各个理论分支之间如何有机组合也缺乏明确的认识。本文从形式语义学的起源和发展入手,针对地介绍了形式语义学相关理论... 详细信息

作为语义学的分支,形式语义学在语义学研究发展的过程中占有重要地位。目前的研究对形式语义学相关理论认识不全面,对各个理论分支之间如何有机组合也缺乏明确的认识。本文从形式语义学的起源和发展入手,针对地介绍了形式语义学相关理论,如类型论、模态论和兰姆达算子等理论在组合原则下如何体现语义的重组,旨在使语言研究者更加理解语义组合的层级性。

关键词：形式语义学组合原则兰姆达算子

在线全文

学校读者我要写书评

暂无评论

九句因理论的形式语义学

逻辑学研究 2018年第4期11卷 94-113页

作者：许春梅中国社会科学院世界宗教研究所

本文利用形式语义学的方法,通过给出适合九句因理论的初始假设,对其进行形式语义刻画。结论是:九句因理论的本质是建立在对宗体与宗依的区分的基础上,从形式上,一般地探讨因与宗后陈两者之间的外延关系。就其跳脱具体内容上的探讨,而完... 详细信息

本文利用形式语义学的方法,通过给出适合九句因理论的初始假设,对其进行形式语义刻画。结论是:九句因理论的本质是建立在对宗体与宗依的区分的基础上,从形式上,一般地探讨因与宗后陈两者之间的外延关系。就其跳脱具体内容上的探讨,而完全上升到了逻辑的高度、形式化的高度而言,陈那论师的九句因理论具有划时代的里程碑式的意义,完全可以与亚里士多德的逻辑工作相媲美。

关键词：同品异品九句因形式语义学

在线全文

学校读者我要写书评

暂无评论

隐含时态化条件句的形式语义学

西南大学学报（社会科学版） 2016年第5期42卷 34-38页

作者：李烜西南大学政治与公共管理学院重庆市400715

条件句中的时态因素通过隐含时态化条件句的形式语义学而得到处理,由此得到一种不使用时态概念的时态化条件句逻辑,呈现一些关于条件句的形式原理。经典条件句逻辑忽略了时态因素。分枝时间结构上的条件句逻辑以时间结构来解释条件句,... 详细信息

条件句中的时态因素通过隐含时态化条件句的形式语义学而得到处理,由此得到一种不使用时态概念的时态化条件句逻辑,呈现一些关于条件句的形式原理。经典条件句逻辑忽略了时态因素。分枝时间结构上的条件句逻辑以时间结构来解释条件句,在条件句中增加时态概念,这是外在论语义学的代表。隐含时态化条件句逻辑是通过对选择函数的时态化得到的,而没有明确引入时态概念。

关键词：隐含时态化条件句分枝时间结构条件句逻辑时态逻辑形式语义学

事件–状态语义学:一个关于英语时体时态句的形式语义

在线全文

学校读者我要写书评

暂无评论

逻辑学研究 2023年第1期16卷 36-54页

作者：张文彦周北海中国消防救援学院山西大学哲学社会学学院

英语中与时间相关的表达不仅有时态,还有时体,二者是英语时间表达的两个维度,共同形成了多种时体时态句。时态逻辑、区间语义学、RK理论给出了部分时态句的形式语义解释。如何理解时体维度,给出时体时态句的全面解释,是自然语言的形式... 详细信息

英语中与时间相关的表达不仅有时态,还有时体,二者是英语时间表达的两个维度,共同形成了多种时体时态句。时态逻辑、区间语义学、RK理论给出了部分时态句的形式语义解释。如何理解时体维度,给出时体时态句的全面解释,是自然语言的形式语义研究的待解之题。对此事件–状态语义学放弃了时态逻辑的绝对时间框架,构建了以事件和状态为基本要素的相对时间框架。在此框架下,部分时体时态句得到了形式刻画。这一结果显示了事件–状态语义学对于英语时体时态句理解的合理性和处理潜力。其他部分的形式语义刻画将在现有工作的基础上通过进一步增加新的要素加以解决。

关键词：事件–状态语义学时体时态形式语义学