×
理查德·穆特;克里斯蒂安·雷托雷

自然语言语义和可计算性。 （英文） Zbl 1477.03112号

J.逻辑语言信息。 28，第2期，287-307（2019）.
摘要：本文是对自然语言语义可计算性的反思。它不包含自然语言形式语义的新模型或新结果：它是在类型逻辑语法的背景下，对自然语言语义中当前使用的逻辑模型和算法的计算分析，定义为从语法句子到a（非空）的函数一组逻辑公式&因为一个语句可能有歧义，所以它可以对应多个公式，每个读数对应一个公式。我们认为，只要我们不根据可能的世界模型显式计算解释，就可以计算给定语句的语义表示，包括词义方面。这是一个非常通用的过程，因此结果至少在原则上是广泛适用的。我们还讨论了该过程的算法复杂性。

引用于1文件

MSC公司：

03B65号 自然语言逻辑
03B47号 子结构逻辑（包括相关性、蕴涵、线性逻辑、Lambek演算、BCK和BCI逻辑）
03楼52 线性逻辑和其他子结构逻辑的理论证明
2015年3月1日 计算复杂性（包括隐式计算复杂性）

关键词：

范畴语法;复杂性;证明理论

软件：

圣杯;分类日志3;线性One;github
PDF格式BibTeX公司 XML格式引用
\textit{R.Moot}和\textit{C.Retoré}，J.Logic Lang.Inf.28，No.2，287--307（2019；Zbl 1477.03112）
全文： 内政部 arXiv公司

参考文献：

[1] Asher，N.（2011）。上下文中的词汇意义：单词的网络。剑桥：剑桥大学出版社。
[2] Baillot，P.和Mogbil，V.（2004年）。软lambda-calculus：一种用于多项式时间计算的语言。《软件科学和计算结构基础》（第27-41页）。斯普林格·Zbl 1126.03306号
[3] 巴克，C。；Lapping，S.（编辑）；Fox，C.（编辑），Scope，40-76（2015），霍博肯
[4] Bassac，C.、Mery，B.和Retoré，C.（2010年）。对词汇语义的类型理论解释。《逻辑、语言与信息杂志》，19（2），229-245。https://doi.org/10.1007/s10849-009-9113-x。 ·数字对象标识代码：10.1007/s10849-009-9113-x
[5] Blackburn，P.和Bos，J.（2005）。自然语言的表示和推理：计算语义学的第一门课程。斯坦福：CSLI。
[6] Bos，J.、Clark，S.、Steedman，M.、Curran，J.R.和Hockenmaier，J.（2004）。来自CCG解析器的广泛语义表示。《COLING-2004会议录》（第1240-1246页）。
[7] Buszkowski，W。；Benthem，J.（编辑）；Meulen，A.（编辑），数学语言学和证明理论，683-736（1997），阿姆斯特丹
[8] Carpenter，B.（1994年）。量化和范围界定：演绎账户。在第13届西海岸正式语言学会议的会议记录中。
[9] Chatzikyriakidis，S.和Luo，Z.（2014）。Coq中的自然语言推理。《逻辑、语言与信息杂志》，23（4），441-480·Zbl 1305.68193号
[10] Church，A.（1940年）。简单类型理论的公式。符号逻辑杂志，5（2），56-68。
[11] 库珀，R.（1975）。蒙塔古的语义理论和转换语法。马萨诸塞大学博士论文。
[12] Corblin，F.（2013）。塞曼提克球场：简介。巴黎：阿曼德·科林。
[13] de Groote，P.D.和Pogodalla，S.（2004）。论抽象范畴语法的表达能力：表现无语境形式主义。《逻辑、语言与信息杂志》，13（4），421-438·Zbl 1062.03024号
[14] Ebert，C.（2005）。未指定表示的正式调查。伦敦大学国王学院博士论文。
[15] Fox，C.和Lappin，S.（2010年）。未指定语义中的表达性和复杂性。语言分析，36（1-4），385-417。
[16] Gómez-Rodríguez，C.、Alonso，M.A.和Vilares，M.（2006）。关于TAG解析器的理论和实践复杂性。《形式语法学报》（FG 2006）（第87-101页）。
[17] 霍布斯，J.R.和希伯，S.M.（1987）。生成量词范围的算法。计算语言学，13（1-2），47-63。
[18] Jacobson，P.（2002）。语法结构：25年。语言学与哲学，25（5-6），601-626。
[19] Joshi，A.（1985）。树邻接语法：提供合理的结构描述需要多少上下文敏感性？D.R.Dowty、L.Karttunen和A.Zwicky（编辑），《自然语言分析》（第206-250页）。剑桥：剑桥大学出版社。
[20] Joshi，A.（1997）。解析技术。R.A.Cole、J.Mariani、H.Uszkoreit、A.Zaenen和V.Zue（编辑），《人类语言技术发展现状概览》，第11.4章（第351-356页）。剑桥大学出版社和贾迪尼。
[21] Koller，A.和Thater，S.（2010年）。计算最弱的读数。计算语言学协会第48届年会会议记录（第30-39页）。
[22] 久保田，Y。；莱文，R。；Béchet，D.（编辑）；Dikovsky，A.（编辑），《作为类协调的间隙》，第7351号，第135-150页（2012年），南特·Zbl 1291.03056号
[23] Lafont，Y.（2004）。软线性逻辑和多项式时间。理论计算机科学，318（1），163-180·Zbl 1079.03057号
[24] Langacker，R.（2008）。认知语法：基本介绍。牛津：牛津大学出版社。
[25] 罗政（2012）。现代类型理论中的形式语义学与强制子类型。语言学与哲学，35（6），491-513。
[26] Mineshima，K.、Martínez-Gómez，P.、Miyao，Y.和Bekki，D.（2015）。具有组合语义的高阶逻辑推理。EMNLP会议记录（第2055-2061页）。
[27] Montague，R.（1970年）。英语作为一种正式语言。在B.Visentini（编辑）中，Linguaggi nella societa e nella tecnica（第188-221页）。社区教育。
[28] 蒙塔古，R。；Thomason，R.（编辑），《普通英语中量化的正确处理》（1974年），纽黑文
[29] 穆尔加特，M。；Benthem，J.（编辑）；Meulen，A.（编辑），《分类类型逻辑》，93-177（1997），阿姆斯特丹
[30] Moot，R.（2002）。语言分析的证明网。乌得勒支大学语言学院OTS博士论文·Zbl 1013.03016号
[31] Moot，R.（2007）。过滤证明网的公理链接。L.Kallmeyer、P.Monachesi、G.Penn和G.Satta（编辑），《形式语法的过程》，2007年。
[32] Moot，R.（2010年）。使用Grail的广泛法语语法和语义。在《自然语言自动叛变程序》（TALN），蒙特利尔。系统演示
[33] Moot，R.（2015a）。线性一：一阶线性逻辑的定理证明器。https://github.com/RichardMoot/LinearOne。2019年4月16日访问。
[34] Moot，R.（2015年b）。法语的类型逻辑树库。语言建模杂志，3（1），229-264。
[35] Moot，R.和Piazza，M.（2001年）。一阶乘法线性逻辑的语言应用。《逻辑、语言与信息杂志》，10（2），211-232·Zbl 0984.03028号
[36] Moot，R.和Retoré，C.（2012年）。范畴语法的逻辑：自然语言句法和语义的演绎说明。柏林：斯普林格·Zbl 1261.03001号
[37] Morrill，G.（2019年）。逻辑语法CatLog3的解析/理论证明。逻辑、语言和信息杂志。https://doi.org/10.1007/s10849-018-09277-w。 ·Zbl 1478.68416号
[38] Morrill，G.和Valentín，O.（2015年）。TLG的计算覆盖率：蒙塔古测试。在《2015年法国社会科学院院刊》（2015 Le onzième Colloque de Syntaxe et SémantiqueàParis）中（第63-68页）。
[39] Morrill，G.、Valentín，O.和Fadda，M.（2011年）。位移演算。《逻辑、语言与信息杂志》，20（1），1-48·Zbl 1233.03035号
[40] Park，J.C.（1996）。量词范围、词汇语义和表层结构选区。宾夕法尼亚大学技术报告。
[41] 乙方。；新泽西州斯迈塞（编辑）；Baltes，PB（编辑），蒙塔古语法（2001），牛津
[42] Pentus，M.（1995年）。Lambek语法与上下文无关。《计算机科学中的逻辑学报》（第429-433页）。
[43] Pentus，M.（2010年）。有界阶Lambek文法的多项式时间算法。语言分析，36（1-4），441-471。
[44] Pinker，S.（1994）。语言本能。企鹅科学。
[45] Retoré，C.（2014）。蒙大哥夫生成词典[Lambda Ty_n]∧Tyn：自然语言语义学的类型理论框架。《类型会议录》（第202-229页）。10.4230/LIPIcs公司。类型2033.202·Zbl 1359.03025号
[46] Sarkar，A.（2000年）。使用树连接文法进行解析的实际实验。TAG+5进行中。
[47] Savateev，Y.（2009年）。无积Lambek演算是NP-完全的。计算机科学逻辑基础研讨会（LFCS）（第380-394页）·Zbl 1211.03041号
[48] Schwichtenberg，H.（1982）。纯型lambda-calculus中归一化的复杂性。在L.E.J.Brouwer百年纪念研讨会上（第453-457页）。霍兰德北部·Zbl 0537.03028号
[49] 夏皮罗，S.（1991）。没有基础论的基础：二阶逻辑的一个例子。牛津：克拉伦登出版社·Zbl 0732.03002号
[50] Shieber，S.（1985）。反对自然语言语境自由的证据。语言学与哲学，8333-343。
[51] Stanley，R.P.（2015）。加泰罗尼亚数字。剑桥：剑桥大学出版社·Zbl 1317.05010号
[52] Thomason，R.（编辑）。(1974). 形式哲学：理查德·蒙塔古的论文选集。纽黑文：耶鲁大学出版社。
[53] 图灵，A.（1950）。计算机和智能。心灵，49，433-460。
[54] van Benthem，J.（1986）。分类语法。《逻辑语义学论文》，第7章（第123-150页）。多德雷赫特：雷德尔。
[55] van Dalen，D.（2013）。逻辑和结构（第五版）。柏林：斯普林格·Zbl 1262.03002号
[56] Wijnholds，G.（2011）。范畴语法研究：对称预群语法和置换演算。乌得勒支大学硕士论文。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。