×
戴维·卡塔;史蒂文斯·盖尔、西蒙·乔里

洛伦森赢了比赛，洛伦兹也赢了：省略和回指解决的对话逻辑。 （英语） Zbl 07547746号

Silva，Alexandra（编辑）等人，《逻辑、语言、信息和计算》。第27届国际研讨会，WoLLIC 2021，虚拟活动，2021年10月5日至8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13038, 269-286 (2021).
摘要：我们提出了一种使用多分类一阶逻辑解决回指和省略问题的新方法。我们的理论是证明理论，采用了对话逻辑研究的方法。一阶命题是从简化的lambda项中提取出来的，这些项本身是从Lambek范畴语法证明中派生出来的。
关于整个系列，请参见[Zbl 1489.03004号].

理学硕士：

03B70号 计算机科学中的逻辑

关键词：

自然语言语义学;推理语义;对话逻辑;省略;回指

软件：

FraCaS公司
PDF格式BibTeX公司 XML格式引用
\textit{D.Catta}和\textit{S.J.Stevens-Guille}，莱克特。注释计算。科学。13038，269--286（2021；Zbl 07547746）
全文： 内政部

参考文献：

[1] van Benthem，J.，《范畴语法中多样性的语义》，Categ。语法。，25, 37-55 (1988) ·Zbl 0695.03015号 ·doi:10.1075/llsee.25.06本
[2] Bos，J.：drt实现中的Vp省略号。参加：计算语言学协会欧洲分会第六届会议（1993年）
[3] Brennan，S.E.，Friedman，M.W.，Pollard，C.：代词的中心方法。摘自：计算语言学协会第25届年会，第155-162页（1987）
[4] Catta，D。；模拟，R。；Retoré，C。；Loukanova，R.，对话论证和文本蕴涵，人工智能中的自然语言处理-NLPinAI 2020，191-226（2021），Cham:Springer，Cham·doi:10.1007/978-3-030-63787-37
[5] Champollion，L.，《合成语义和事件语义的相互作用》，《语言学家》。菲洛斯。，38, 1, 31-66 (2014) ·doi:10.1007/s10988-014-9162-8
[6] Clerbout，N.，《一阶对话游戏和画面》，J.Philos。日志。，43, 4, 785-801 (2014) ·Zbl 1343.03004号 ·doi:10.1007/s10992-013-9289-z
[7] Cooper，R.等人：使用框架。技术代表，技术报告LRE 62-051 D-16，FraCaS联盟（1996）
[8] Dallymple，M。；Shieber，SM；佩雷拉，FC，省略和高阶统一，语言学家。菲洛斯。，14, 4, 399-452 (1991) ·doi:10.1007/BF00630923
[9] 戴维森：动作句的逻辑形式。在：Rescher，N.（编辑）《决策与行动的逻辑》，第81-95页。匹兹堡大学出版社（1967）
[10] Dekker，P.，排他性指数扣除，Rev.Symb。日志。，9, 3, 603-637 (2016) ·Zbl 1391.03026号 ·doi:10.1017/S1755020316000125
[11] Dekker，P.J.：带回指的谓词逻辑。摘自：《动态语义》，第7-47页。语言学和哲学研究，第91卷。施普林格，多德雷赫特（2012）。doi:10.1007/978-94-007-4869-92·Zbl 1263.03002号
[12] van Eijck，J.，Francez，N.：动态语义中的动词短语省略。摘自：Pólos L.，Masuch，M.（编辑）《应用逻辑：如何、什么和为什么》。综合图书馆（认识论、逻辑、方法论和科学哲学研究），第247卷，第29-59页。施普林格，多德雷赫特（1995）。doi:10.1007/978-94-015-8533-02·Zbl 0839.03018号
[13] van Eijck，J.、Heguiabehere，J.和Oh Nualláin，B.：表推理和动态一阶逻辑编程。日志。J.IGPL 9（3），411-445（2001）·Zbl 0985.03018号
[14] Felscher，W.，《对话、策略和直觉主义证明》，《纯粹应用》。日志。，28, 3, 217-254 (1985) ·Zbl 0571.03029号 ·doi:10.1016/0168-0072（85）90016-8
[15] Felscher，W。；DM Gabbay；Guenthner，F.，对话作为直觉主义逻辑的基础，《哲学逻辑手册》，115-145（2002），荷兰，多德雷赫特：施普林格，荷兰·doi:10.1007/978-94-017-0458-8_2
[16] Gardent，C。；Retoré，C.，斯洛皮身份，计算语言学的逻辑方面，188-207（1997），海德堡：斯普林格·doi:10.1007/BFb0052158
[17] Gehrke，B.，事件类型，牛津大学。手。事件结构。，205, 233 (2019)
[18] Geurts，B.，Beaver，D.I.，Maier，E.：话语表征理论。收录于：Zalta，E.N.（编辑）《斯坦福大学哲学百科全书》，2020年春季编辑。斯坦福大学形而上学研究实验室（2020年）
[19] Groenendijk，J.，Stokhof，M.：动态谓词逻辑。语言学和哲学，第39-100页（1991年）·兹比尔0726.03024
[20] de Groote，P。；Winter，Y。；村田，T。；Mineshima，K。；Bekki，D.，《事件语义量化的类型逻辑解释》，《人工智能新前沿》，53-65（2015），海德堡：斯普林格出版社·doi:10.1007/978-3-662-48119-65
[21] Hankamer，J.，关于一些空vp回指的非转换派生，语言学家。发票。，9, 1, 66-74 (1978)
[22] Heim，I.：定名词短语和不定名词短语的语义。马萨诸塞大学阿默斯特分校博士论文（1982年）
[23] 霍布斯，JR，一致性和共指，Cogn。科学。，3, 1, 67-90 (1979) ·doi:10.1207/s15516709cog0301_4
[24] Huddleston，R.、Pullum，G.K.等人：剑桥英语语法。《语言》，第1卷，第23页。剑桥大学出版社，剑桥（2002）·Zbl 0995.62001号
[25] Jäger，G.：回指和类型逻辑语法，第24卷。施普林格科学与商业媒体，海德堡（2006）·Zbl 1136.03021号
[26] Kamp，H.：真理和语义表征理论。摘自：真相、解释和信息，第1-41页。福里斯·多德雷赫特（1984）
[27] Kamp，H.，Reyle，U.：从话语到逻辑：介绍自然语言的模型理论语义、形式逻辑和话语表示理论。第1部分。Kluwer学术（1993）
[28] Kechris，A.：经典描述集理论。施普林格，美国纽约州纽约市（2012年12月）·Zbl 0819.04002号
[29] Kohlhase，M.：话语表征理论的模型生成。收录于：ECAI，第441-445页（2000年）
[30] Kubota，Y.，Levine，R.D.：类型逻辑语法。麻省理工学院出版社，剑桥（2020）
[31] Lambek，J.，《句子结构的数学》，《美国数学》。周一。，65, 3, 154-170 (1958) ·Zbl 0080.00702号 ·doi:10.1080/00029890.1958.11989160
[32] Lorenz，K.：1把算术和逻辑当作游戏。摘录（1978[1961]）。《从对话逻辑到对话建构主义》，第1-74页。德格鲁伊特（2021）
[33] Lorenzen，P.，Lorenz，K.：对话逻辑。Wissenschaftliche Buchgesellschaft，[Abt.Verlag]（1978年）·Zbl 0435.03011号
[34] 马丁·S。；波拉德，C。；莫里尔，G。；马斯肯斯，R。；奥斯瓦尔德，R。；Richter，F.，《动态范畴语法》，《形式语法》，138-154（2014），海德堡：斯普林格出版社·Zbl 1426.03022号 ·doi:10.1007/978-3-662-44121-39
[35] Merchant，J.：《省略：分析方法的调查》。《牛津省略号手册》，第18-46页（2019年）
[36] Miller，P.，Pullum，G.K.：外显vp省略号。《核心外围：数据驱动视角语法启发》，伊凡·A·萨格5、32（2013）
[37] 蒙塔古：普通英语中量化的恰当处理。In:Hintikka，K.J.J.，Moravcsik，J.M.E.，Suppes，P.（编辑）《自然语言方法》。综合图书馆（《认识论、逻辑、方法论、科学哲学、科学社会学和知识社会学以及社会和行为科学的数学方法专著》），第49卷，第221-242页。施普林格，多德雷赫特（1973）。doi:10.1007/978-94-010-2506-5_10
[38] Moortgat，M.：分类类型逻辑。摘自：《逻辑和语言手册》，第93-177页。Elsevier（1997）
[39] 模拟，R。；Retoré，C.，《范畴语法的逻辑》（2012），海德堡：斯普林格出版社·Zbl 1261.03001号 ·doi:10.1007/978-3642-31555-8
[40] 模拟，R。；Stevens-Guille，SJ；Bernardi，R。；Kobele，G。；Pogodalla，S.，《混合类型逻辑语法的理论证明》，《形式语法》，84-100（2019），海德堡：斯普林格·Zbl 1530.03130号 ·doi:10.1007/978-3-662-59648-76
[41] Morrill，G.V.：类型逻辑语法：符号的分类逻辑。施普林格科学与商业媒体，海德堡（2012）·Zbl 0848.03007号
[42] Retoré，C.：蒙塔哥维生成词典lambda tyn：自然语言语义的类型理论框架。摘自：第19届国际证据和程序类型会议（Types 2013），第26卷，第202-229页（2014）·Zbl 1359.03025号
[43] 特鲁斯韦尔，R.：《牛津事件结构手册》。牛津大学出版社，牛津（2019）
[44] 文德勒，Z。：哲学语言学。康奈尔大学出版社，伊萨卡（2019）
[45] Vermeulen，CFM，动态谓词逻辑的序列语义，J.Log。语言信息。，2, 3, 217-254 (1993) ·Zbl 0802.03024号 ·doi:10.1007/BF01050788
[46] Winter，Y。；Zwarts，J。；金泽，M。；科尔奈，A。；Kracht，M。；Seki，H.，事件语义学和抽象范畴语法，《语言的数学》，174-191（2011），海德堡：斯普林格·Zbl 1347.91226号 ·doi:10.1007/978-3642-23211-41
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。