类型逻辑语法竖线算子的推广

发布时间：2017-10-19 20:05

  本文关键词：类型逻辑语法竖线算子的推广

  更多相关文章： 自然语言 逻辑语法 算子 连动句 子范畴 动词短语 竖线 表达式 修饰成分 推演

【摘要】：逻辑和自然语言是两个不同的符号系统:逻辑抽象严格,自然语言生动丰富;逻辑和自然语言是密切相关的,逻辑的精确化特性对分析自然语言的句法语义问题来说具有方法论的作用。在这个视角下出现了下述研究模式:(1)基于自然语言自身的句法构造来考察自然语言的语义问题;(2)用基本属于逻辑的方式来表现自然语言的语义规律。如对汉语句"所有人是会死的",第二种模式对此抽象成逻辑公式"(H→D)",而第一种模式则基于该汉语句的句法生成,并行推演出其语义表达"所有(人,会死的)"。本栏目三篇文章前两篇属于第一种模式,第三篇是第二种模式。
【作者单位】： 西南财经大学人文学院;中国社会科学院哲学研究所;
【关键词】： 自然语言 逻辑语法 算子 连动句 子范畴 动词短语 竖线 表达式 修饰成分 推演
【基金】：国家社科基金项目“面向自然语言信息处理的范畴类型逻辑研究”(编号:09BZX046)的成果之一
【分类号】：B812
【正文快照】： 类型逻辑语法又叫范畴类型逻辑,其基本原则由荷兰逻辑学和计算语言学家穆特盖特(Moortgat)教授概括出来:cognition=computation;grammar=logic。这里意味:语言认知就是计算,语言法则就是逻辑。简言之,类型逻辑语法的核心精神就是把自然语言的句法毗连和语义组合转化成计算推演

【相似文献】

中国期刊全文数据库 前10条

1 夏年喜;邹崇理;;论类型逻辑语法的多种表述[J];哲学研究;2009年11期

2 邹崇理;《逻辑,语言和意义》述评[J];当代语言学;1995年02期

3 满海霞;李可胜;;类型逻辑语法[J];哲学动态;2010年10期

4 陈荷清;;思维与语言关系新议简介[J];哲学动态;1980年05期

5 张伟铭;;英语阅读中冗余现象分析及应用[J];大学英语(学术版);2011年01期

6 吴学静;几种常见的逻辑矛盾[J];思维与智慧;1982年05期

7 陈宗明;关于语言逻辑问题[J];思维与智慧;1984年01期

8 В.З.Панфилов;蔡富有;;语言社会属性的若干方面[J];当代语言学;1984年01期

9 李冬;下义关系的不规则性——兼谈语言与文化的关系[J];外国语(上海外国语大学学报);1987年03期

10 符淮青;构成成分分析和词的释义[J];辞书研究;1988年01期

中国重要会议论文全文数据库 前10条

1 王柏鹤;;普通逻辑教学亟待加强自然语言的逻辑分析[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年

2 甘灿;孙星明;刘玉玲;向凌云;;一种改进的基于同义词替换的中文文本信息隐藏方法[A];第七届全国信息隐藏暨多媒体信息安全学术大会论文集[C];2007年

3 周劲松;;空间搜索引擎与城乡规划管理[A];城市规划和科学发展——2009中国城市规划年会论文集[C];2009年

4 陈魁;荣莉莉;;标准元搜索引擎——概念及其模型[A];管理科学与系统科学研究新进展——第7届全国青年管理科学与系统科学学术会议论文集[C];2003年

5 赵希顺;秦克云;庞善起;王雪生;;具有时态词的Fuzzy推理[A];模糊数学和系统成果会论文集[C];1991年

6 温雪茹;翟国平;李银罗;;将情报语言与自然语言一体化检索应用于地质资料检索系统[A];中国图书馆学会专业图书馆分会2009年学术年会论文集[C];2009年

7 徐阳春;;从汉语特点看中国古代逻辑[A];1995年逻辑研究专辑[C];1995年

8 邹崇理;;信息时代的自然语言逻辑研究特色[A];2000年逻辑研究专辑[C];2000年

9 杨武金;池毓焕;;中国产业结构管理系统的逻辑程序开发[A];1994年逻辑研究专辑[C];1994年

10 张杨;薛铁鹰;;用数据结构描述自然语言——计算机理解自然语言的一种方法[A];加入WTO和中国科技与可持续发展——挑战与机遇、责任和对策（下册）[C];2002年

中国重要报纸全文数据库 前10条

1 西文;互联网进入自然语言时代[N];中国经营报;2001年

2 吴超;从ＩＰ到ＤＮＳ到自然语言[N];大众科技报;2003年

3 吴超;从IP到DNS到自然语言网络地址资源凸现本地化特色[N];中国企业报;2003年

4 L＆H公司高级副总裁及亚太区总裁 胡国辉博士;自然语言技术支持新一代语音上网[N];中国计算机报;2000年

5 本报记者 操秀英;搜索引擎市场风云再起[N];科技日报;2007年

6 李文;自然语言搜索：Google、百度终结者？[N];中国民航报;2007年

7 本报记者 唐先武 / 通讯员 王辉东;闯入算子世界的年轻人[N];科技日报;2003年

8 王迎庆;爱情对于自然语言的超越[N];中国电影报;2005年

9 吴超;网络地址资源凸现本地化特色[N];中国消费者报;2003年

10 吴超;网络地址资源凸现本地化特色[N];中国旅游报;2003年

中国博士学位论文全文数据库 前10条

1 关于复杂散射体声波正散射与逆散射问题的研究;关于复杂散射体声波正散射与逆散射问题的研究[D];华中师范大学;2012年

2 周礼刚;几类广义信息集成算子及其在多属性决策中的应用[D];安徽大学;2013年

3 刘金培;基于集成算子的多属性决策与时间序列预测方法[D];天津大学;2012年

4 胡志刚;基于协同的并行设计环境理论与方法研究[D];中南大学;2002年

5 唐笑敏;若干全纯函数与调和函数空间的特征及相关算子理论[D];中国科学技术大学;2012年

6 李建泽;一般算子系统的张量积[D];南开大学;2013年

7 石洛宜;Amenable算子和Amenable Banach代数[D];吉林大学;2010年

8 张超;分数阶算子的正规性和Harnack不等式[D];武汉大学;2012年

9 刘晓红;关于企业人力资源评价信息处理系统的研究[D];西南交通大学;2004年

10 左红亮;鞅的极小算子与加权不等式[D];武汉大学;2004年

中国硕士学位论文全文数据库 前10条

1 李海波;语言游戏论与自然语言量化结构[D];中国海洋大学;2004年

2 熊况;是革命还是夸大？[D];复旦大学;2008年

3 黄艳;面向数字化产品的自然语言查询技术的研究与开发[D];浙江大学;2002年

4 刘静;基于二叉树和自然语言的昆虫查询鉴定系统研究[D];昆明理工大学;2006年

5 饶萍;情境语义学的逻辑应用研究[D];河南大学;2009年

6 倪国强;广义量词理论对自然语言限定词的研究[D];内蒙古师范大学;2009年

7 顾锋强;蒙太格语法研究述评[D];西南大学;2006年

8 胡泽;格赖斯的会话含义理论研究[D];华南师范大学;2005年

9 张岚;初中生数学学习中自然语言与符号语言的相关性及转化策略[D];陕西师范大学;2008年

10 张鹭;当代流行歌曲歌词的语言艺术[D];华中师范大学;2006年

，

本文编号：1063052