导读:本文包含了类型逻辑语法论文开题报告文献综述及选题提纲参考文献，主要关键词:类型逻辑语法,Lambek演算,有穷假设集,语序
类型逻辑语法论文文献综述
康孝军[1]（2018）在《有穷多模态类型逻辑语法及其在汉语中的应用》一文中研究指出多模态类型逻辑是一种模态Lambek演算的分支。以类型逻辑为基础的范畴语法一般用于自然语言的智能处理。在多模态类型逻辑语法中添加假设集的方式可以用来处理汉语语言现象。本文采用带有穷假设集的多模态非结合Lambek演算的根岑表述系统。介绍其句法和代数语义,证明了其可靠性与完全性。探讨了在多模态非结合Lambek演算系统下,有穷假设集在汉语语序与异常句等处理上的应用,并简述了此方法的优势。(本文来源于《逻辑学研究》期刊2018年03期）
石运宝[2]（2016）在《类型逻辑语法处理中文文本》一文中研究指出2016年，人工智能正式提出60周年。谷歌“AlphaGo”与韩国围棋高手李世石的对战更是为人工智能增添了很多期许与思考：电脑的智力是否已超过人脑？人类是否将被机器统治？线下学习显示出AlphaGo的超强学习能力，而走棋甚至能达到2微秒的速度。与之比较，(本文来源于《中国社会科学报》期刊2016-07-19）
温雪[3]（2015）在《从转换生成语法看范畴类型逻辑的基本思想》一文中研究指出范畴类型逻辑基本思想中的"完整的"和"非完整的"表达式的概念,以及乔姆斯基(Chomsky)所提出的"完整的功能复合体"(complete functional complex,简称CFC)的概念,分别是范畴类型逻辑和转换生成语法在句法结构层面的重要理论基础。两者虽有一定相似性但又有不同之处,加上自然语言的句法语义不对称现象,造成自然语言逻辑分析中的一些由于方法论和概念冲突而引起的问题。为此,在语料的基础上分析上述问题,论证范畴类型逻辑作为一种形式化分析自然语言语义的手段的优势和有待改进之处,并举例说明语言学研究和逻辑学研究之间是取长补短、互相促进的关系。(本文来源于《重庆理工大学学报(社会科学)》期刊2015年08期）
姚从军[4]（2015）在《组合范畴语法与范畴类型逻辑的分析与比较》一文中研究指出范畴语法的最早形式是AB-演算,目前已发展成为一系列相互联系的形式系统,它们把句法分析和语义分析视为基于类型的推理。范畴语法的两个最完善的分支是基于逻辑传统的范畴类型逻辑和基于组合传统的组合范畴语法,二者联系紧密,差异也明显,前者主要关心不同逻辑算子对语言的适用性和逻辑系统的证明论性质,认为生成能力不具有主要的理论意义,在计算应用中没有价值;后者更多集中在获得低的自动机理论能力和良好计算性质的语言表达系统。(本文来源于《云南师范大学学报(哲学社会科学版)》期刊2015年01期）
崔佳悦,邹崇理[5]（2014）在《从范畴类型逻辑看蒙太格语法的被动转换规则》一文中研究指出蒙太格语法是对范畴语法的继承,其句法规则采纳的是"毗连运算"这种遵循范畴语法函项应用原则的操作。但是在蒙太格语法中体现被动转换操作的扩展规则那里似乎看不到范畴语法的作用,被动转换规则是否遵循范畴语法的规律?以蒙太格语法对英语被动句——"结构被动句"的分析为例,从范畴语法的现代版本——范畴类型逻辑的视角来审视蒙太格语法的转换过程,获得的结论是:范畴类型逻辑提供的工具可以证明被动句转换的合理性,蒙太格语法扩展的被动转换规则同样遵循了范畴语法的规律。(本文来源于《湖北大学学报(哲学社会科学版)》期刊2014年06期）
邹崇理,崔佳悦[6]（2014）在《基于格语法思想的范畴类型逻辑研究》一文中研究指出格语法的基本思想是:自然语言语句的底层结构以动词为中心,动词的论元由动词周围具有不同格角色的名词所担任,构成复合表达式的部分表达式分为中心成分和非中心成分。格语法的分析是多分法的语法模式。在格语法看来,有时候句中围绕同样动词的名词性成分可多可少,动词的语法功能因此改变。汉语体现了格语法的动词中心思想,产生了各式各样的格语句。动词双宾语现象和动词前和动词后的多重介词短语句皆是多分法分析的例证。汉语格语句中有不少的可选格名词,这样使得其中动词的语法功能发生变化。对格语法进行范畴语法的抽象,获得一种新型的范畴类型逻辑系统:中心成分和非中心成分的区分要求积范畴分为左积和右积;多分法的分析模式使得积范畴和函子范畴的论元是多元的,动词语法功能的改变对应函子范畴的论元增添。这种范畴类型逻辑系统的框架语义中的可及关系是非单一的,构建基于这种框架的语义模型,可以证明系统的可靠性和完全性。(本文来源于《安徽大学学报(哲学社会科学版)》期刊2014年04期）
王欣[7]（2013）在《把字句和被字句的类型逻辑语法处理方案》一文中研究指出类型逻辑语法是近年来新兴的语言信息处理理论,该理论可以运用分析汉语常用句式把字句和被字句。把"把"处理为受动标记,把"被"处理为施动标记,可以演示此两种句式的句法构形和语义解释过程,通过意义公设建立两类句式与普通及物动词句之间的语义联系,最终将其泛化为两条词汇规则。(本文来源于《烟台大学学报(哲学社会科学版)》期刊2013年03期）
王欣[8]（2011）在《论类型逻辑语法对蒙太古语法的继承与发展》一文中研究指出蒙太古语法和类型逻辑语法的内部构造和运行方式大致相同,类型逻辑语法最重要的发展在于更严格地贯彻了组合性原则,原因是它采用的范畴语法达到了兰贝克演算的生成能力,高阶内涵逻辑增加了多形态并列组合器等手段。对名词短语的处理凸显了二者的异同。(本文来源于《山东大学学报(哲学社会科学版)》期刊2011年05期）
孔繁清,满海霞[9]（2011）在《类型逻辑语法与汉语中的照应省略》一文中研究指出现代汉语中存在大量语义资源重复使用的现象,最典型的是代词的回指照应、以及李艳惠在《省略与成分缺失》一文中提到的叁种谓词省略结构[1]。在类型逻辑语法框架下,基于Jger构造的LLC系统添加针对"省略槽"引入范畴的规则eI,再借助照应算子的回指搜索功能,不但能够处理一般的代词回指、VP回指现象,还能够推广刻画汉语的多动词单句和兼语句等现象,获得正确的语义解读。可以证明,添加对应eI规则的公理的新系统在特定框架模型下是可靠并且完全的。(本文来源于《湖南科技大学学报(社会科学版)》期刊2011年02期）
刘海燕,邹崇理[10]（2011）在《类型逻辑语法竖线算子的推广》一文中研究指出逻辑和自然语言是两个不同的符号系统:逻辑抽象严格,自然语言生动丰富;逻辑和自然语言是密切相关的,逻辑的精确化特性对分析自然语言的句法语义问题来说具有方法论的作用。在这个视角下出现了下述研究模式:(1)基于自然语言自身的句法构造来考察自然语言的语义问题;(2)用基本属于逻辑的方式来表现自然语言的语义规律。如对汉语句"所有人是会死的",第二种模式对此抽象成逻辑公式"(H→D)",而第一种模式则基于该汉语句的句法生成,并行推演出其语义表达"所有(人,会死的)"。本栏目叁篇文章前两篇属于第一种模式,第叁篇是第二种模式。(本文来源于《哲学动态》期刊2011年02期）
类型逻辑语法论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
2016年，人工智能正式提出60周年。谷歌“AlphaGo”与韩国围棋高手李世石的对战更是为人工智能增添了很多期许与思考：电脑的智力是否已超过人脑？人类是否将被机器统治？线下学习显示出AlphaGo的超强学习能力，而走棋甚至能达到2微秒的速度。与之比较，
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
类型逻辑语法论文参考文献
[1].康孝军.有穷多模态类型逻辑语法及其在汉语中的应用[J].逻辑学研究.2018
[2].石运宝.类型逻辑语法处理中文文本[N].中国社会科学报.2016
[3].温雪.从转换生成语法看范畴类型逻辑的基本思想[J].重庆理工大学学报(社会科学).2015
[4].姚从军.组合范畴语法与范畴类型逻辑的分析与比较[J].云南师范大学学报(哲学社会科学版).2015
[5].崔佳悦,邹崇理.从范畴类型逻辑看蒙太格语法的被动转换规则[J].湖北大学学报(哲学社会科学版).2014
[6].邹崇理,崔佳悦.基于格语法思想的范畴类型逻辑研究[J].安徽大学学报(哲学社会科学版).2014
[7].王欣.把字句和被字句的类型逻辑语法处理方案[J].烟台大学学报(哲学社会科学版).2013
[8].王欣.论类型逻辑语法对蒙太古语法的继承与发展[J].山东大学学报(哲学社会科学版).2011
[9].孔繁清,满海霞.类型逻辑语法与汉语中的照应省略[J].湖南科技大学学报(社会科学版).2011
[10].刘海燕,邹崇理.类型逻辑语法竖线算子的推广[J].哲学动态.2011