国家社会科学基金(10ZD073)

作品数：46被引量：84H指数：4
导出分析报告
相关作者：邹崇理贾青李可胜姚从军杜国平更多>>
相关机构：中国社会科学院哲学研究所中国社会科学院合肥师范学院浙江大学更多>>
相关期刊：《现代外语》《中国社会科学》《湖南科技大学学报（社会科学版）》《世界哲学》更多>>
相关主题：自然语言蒙太格语法范畴语法语义逻辑语义学更多>>
相关领域：哲学宗教语言文字自动化与计算机技术理学更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
组合原则和自然语言虚化成分被引量：2
《四川师范大学学报（社会科学版）》2017年第1期5-9,共5页邹崇理 
国家社科基金重大招标项目"自然语言信息处理的逻辑语义学研究"(10&ZD073)
计算机人工智能时代最重要的任务之一是自然语言的信息处理,逻辑语义学则是其基础理论,而组合原则又是逻辑语义学的基本原则,表现为部分决定整体的函项思想。自然语言的虚化成分是自然语言复合表达式中对整体意义不起作用的那些部分,自...
关键词：逻辑语义学 组合原则 自然语言 虚化成分 
证明网络与语言处理被引量：1
《重庆理工大学学报（社会科学）》2016年第9期14-18,61,共6页贾青 贾阳 
国家社会科学基金重大项目"自然语言信息处理的逻辑语义学研究"(10&ZD073)
证明网络是证明的一种图像处理方式。在范畴语法中,由于证明网络具有便于给出语言句法分析这一特点,因此可以说证明网络是范畴语法中"句法分析即推导"这一口号的最佳体现方式之一。为了对证明网络有一个全面的了解,对其大体内容以及在...
关键词：范畴语法 证明网络 语言处理 句法分析 
组合范畴语法(CCG)的计算语言学价值被引量：8
《重庆理工大学学报（社会科学）》2016年第8期5-11,共7页陈鹏 
国家社会科学基金重大项目"自然语言信息处理的逻辑语义学研究"(10&ZD073)
组合范畴语法(CCG)是在AB演算基础上进行扩展而产生的范畴语法。从语法理论视角看,CCG是一种词汇形式化的方法;从计算语言学视角看,CCG属于一类适度上下文相关文法;从逻辑语义学视角看,CCG在句法与语义的接口方面非常融洽。无论是CCG语...
关键词：组合范畴语法 语法理论 计算语言学 逻辑语义学 自然语言信息处理 适度上下文相关文法 句法与语义接口融洽 
汉语主从句间回指的新探索--从条件句的语料出发
《外文研究》2016年第2期15-21,共7页陈舜婷 
国家社会科学基金重大项目“自然语言信息处理的逻辑语义学研究”(10ZD073)的阶段性研究成果
本研究基于许余龙(2003)对汉语主从句回指的探索,利用条件句部分语料的特殊性对许余龙提出的两个假设进行验证。研究认为,在既定结构之下才有指称的倾向性,而不是指称决定结构倾向。语料库在本研究中起到了关键作用,不同的数据分析角度...
关键词：主从句间回指 条件句 语料库研究 
面向信息处理的汉语形容词谓语句的组合范畴语法分析被引量：1
《四川师范大学学报（社会科学版）》2015年第6期91-97,共7页姚从军 邹崇理 
国家社科基金重大项目"自然语言信息处理的逻辑语义学研究"(10&ZD073)的阶段性成果
组合范畴语法实现了句法和语义的并行推演,它是目前计算机对自然语言进行信息处理的最理想工具。汉语形容词谓语句是汉语的十大典型句型之一,对汉语形容词谓语句的处理是中文信息处理的重要任务之一。汉语形容词谓语句有光杆形容词谓语...
关键词：中文信息处理 组合范畴语法 汉语形容词谓语句 句法 语义 
知道行动的一种一阶认知逻辑分析
《哲学研究》2015年第10期115-120,共6页郭佳宏 邹崇理 
国家社科基金重大项目"自然语言信息处理的逻辑语义学研究"(编号10ZD073)的阶段性成果
文章提出并分析理性主体如何知道一个程序或行动的问题。根据动态逻辑中一些合理的直观,作者将"知道一个行动"这样的概念定义为"知道相应行动的输入输出二元关系"。上述思想在"恒常论域"的一阶认知逻辑框架下获得初步实现。文章用这种...
关键词：程序性知识 知道行动 一阶认知逻辑 
组合范畴语法的量词辖域歧义研究新思路被引量：3
《哲学动态》2015年第8期108-111,共4页满海霞 崔佳悦 
国家社会科学基金重大项目"自然语言信息处理的逻辑语义学研究"(10&ZD073);教育部社会科学基金"自然语言信息处理的组合范畴语法研究"(12YJCZH153)的阶段性研究成果;中央高校基本科研业务费(FRFTP-14-086A2)的资助
量词辖城歧义的形式化生成问题一直受到学界关注。传统的蒙太格式生成方案一般将辖域歧义归结为句法构造上的歧义。近年来,斯蒂德曼在组合范畴语法框架下提出了一条全新的量词研究思路。他重新划分了量词格局,认为除全称量词及其亲缘量...
关键词：组合范畴语法 量词辖域歧义 句法构造歧义 斯科伦项 
从转换生成语法看范畴类型逻辑的基本思想被引量：2
《重庆理工大学学报（社会科学）》2015年第8期16-21,共6页温雪 
国家社会科学基金重大项目"自然语言信息处理的逻辑语义学研究"(10&ZD073)
范畴类型逻辑基本思想中的"完整的"和"非完整的"表达式的概念,以及乔姆斯基(Chomsky)所提出的"完整的功能复合体"(complete functional complex,简称CFC)的概念,分别是范畴类型逻辑和转换生成语法在句法结构层面的重要理论基础。两者虽...
关键词：范畴类型逻辑 转换生成语法 句法-语义接口 词汇语义学 多体类型逻辑 
变元与指派在动态机制与组合性中的作用
《中国社会科学院研究生院学报》2015年第3期16-20,共5页石运宝 
国家社会科学基金重大课题"自然语言信息处理的逻辑语义学研究"(10&ZD073)的资助
文章从塔斯基(Tarski)经典语义解释出发,阐述变元在逻辑系统中扮演的角色,并对比话语表现理论中话语所指与传统变元差异,从中得出重要结论:传统变元与话语所指的差异体现出静态与动态之分;真值条件的递归性与意义理论结合,则关系到是否...
关键词：变元 话语所指 计算机存储 组合性 
转折句的逻辑语法结构及其推演被引量：1
《西安外国语大学学报》2015年第2期30-34,共5页王欣 
国家社科基金重大项目"自然语言信息处理的逻辑语义学研究"(项目编号:10&ZD073)的阶段性成果
本文运用当代逻辑语法的理论和方法,分析转折句的逻辑语法结构,提出给定任意命题p和q,转折句的逻辑结构不应记为合取式p∧q,而是一蕴涵式的否定式,记为瓙(p→瓙q)。在此基础上,本文运用类型逻辑范畴语法为转折联结词建立词条,并同步推...
关键词：转折句 蕴涵式 否定 类型逻辑范畴语法 
全选清除导出
共5页<12345>
检索报告 对象比较 聚类工具 使用帮助 返回顶部