Jean-Philippe Bernardy;斯特吉奥斯·查齐基里亚基迪斯;Aleksandre Maskharashvili 回指的计算处理及其算法实现。 （英文） 兹比尔1496.03057 J.逻辑语言信息。 30，编号1，1-29（2021）. 小结：在本文中，我们提出了一个能够处理回指和省略的框架，它既具有通用性，又具有算法性。这一普遍性是通过两个总体思想的结合来保证的。首先，我们使用动态语义，它使用单子结构重复效果。其次，我们灵活处理范围，根据需要扩展范围。我们还将此框架实现为将抽象语法转换为逻辑公式的算法。我们认为，这个框架可以对大量的回指现象提供一个统一的解释。具体来说，我们展示了它在处理代词和VP回指、严格代词和懒惰代词、懒惰同一性、绑定变量回指、e型代词和后指方面的有效性。这意味着，特别是我们可以处理像巴赫-彼得斯（Bach-Peters）句子这样的复杂案件，这些案件需要同时处理几个现象。我们使用Haskell作为元语言来展示这一理论，它也构成了本文所讨论的所有现象的实现。为了证明覆盖率，我们提出了一个测试套件，可以用来评估回指的计算方法。 引用于1文件 MSC公司： 03B40型 组合逻辑与lambda演算 03B65号 自然语言逻辑 68甲18 函数编程和lambda演算 关键词：回指;动态语义;单子;类型理论;形式语义学 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Bernardy}等人，J.Logic Lang.Inf.30，No.1，1-29（2021；Zbl 1496.03057） 全文： 内政部 参考文献： [1] Barker，C.和Shan，C.（2004）。自然语言的延续。摘自：第四届ACM SIGPLAN延续研讨会会议记录，Hayo Thielecke（第55-64页）。 [2] 巴尔，M。；Wells，C.，计算科学的范畴理论（1999），上鞍河：Prentice Hall，上鞍河 [3] Bernardy，J.-P.和Chatzikyriakidis，S.（2019年）。广泛覆盖的符号自然语言推理系统。收录：第22届北欧计算语言学会议论文集。国际计算语言学协会。 [4] Bernardy，J.-P.、Chatzikyriakidis，S.和Maskharashvili，A.（2020年）。回指的计算处理及其算法实现：扩展版本。可在作者主页上查看：https://jyp.github.io/pdf/phoroi.pdf。 [5] Boldini，P.（2000）。直觉主义类型理论中的形式化语境。《基础信息》4（2）·Zbl 0956.68136号 [6] Charlow，S.（2015）。回指的单数动态语义。在：俄亥俄州动态语义研讨会。 [7] 夏洛，S.（2017）。代词和约束的模块理论。《自然语言语义学的逻辑和工程》（LENLS）（第14卷）。斯普林格。 [8] Chatzikyriakidis，S.（2014）。现代类型理论中的副词。收录：N.Asher，&S.Soloviev（编辑），LACL2014会议录。LNCS 8535（第44-56页）·兹比尔1291.03046 [9] Chatzikyriakidis，S.和Luo，Z.（2013年）。现代类型理论背景下的形容词。摘自：形式语法（第159-174页）。斯普林格。 [10] Chatzikyriakidis，S.和Luo，Z.（2017年）。常见名词的解释：类型与谓词。收录：《类型理论语义学的现代观点》（第43-70页）。斯普林格。 [11] 库珀，R.（1979）。代词的解释。收录于：F.Heny和H.Schnelle（编辑），《语法和语义》（第10卷，第535-561页）。 [12] 库珀，R.（2017）。将类型理论与自然语言语义的记录相结合。收录于：S.Chatzikyriakidis和Z.Luo（编辑）《类型理论语义学的现代观点》（第71-94页）。斯普林格。 [13] de Groote，P.（2006）。走向蒙大哥夫对动力学的解释。《语义学与语言学理论》（第16卷，第1-16页）。 [14] Egli，U.（1979年）。斯多葛式的回指概念。R.Bäuerle、U.Egli和A.von Stechow（编辑），《不同观点的语义学》（第266-283页）。斯普林格。 [15] Egli，U.、Von Heusinger，K.等人（1995年）。ε运算符和E型代词。阿姆斯特丹语言科学理论和历史研究系列（第4卷）。 [16] 埃文斯，G.，代词，语言研究，11，2，337-362（1980） [17] 彼得·托马斯（Peter Thomas Geach），《参考与一般性》（1962），纽约：康奈尔大学出版社，纽约 [18] Giorgolo，G.和Asudeh，A.（2012年）。常规含义的单数。在Sinn und Bedetung 16号会议记录中。MIT-语言学工作论文。 [19] Giorgolo，G.和Asudeh，A.（2014）。单子作为广义不透明度的解决方案。在2014年EACL中（第19页）。 [20] Groenendijk，J。；Stokhof，M.，动态谓词逻辑，语言学和哲学，14，1，39-100（1991）·Zbl 0726.03024号 ·doi:10.1007/BF00628304 [21] 海兰德，M。；Plotkin，G。；Power，J.，《组合效应：总和和张量》，《理论计算机科学》，357，1，70-99（2006）·Zbl 1096.68088号 ·doi:10.1016/j.tcs.2006.03.013 [22] Itegulov，D.、Lebedeva，E.和Paleo，B.W.（2018）。Sensala：用于自然语言处理的动态语义系统。第27届国际计算语言学会议论文集：系统演示（第123-127页）。新墨西哥州圣菲：计算语言学协会。https://www.aclweb.org/选集/C18-2027。 [23] Karttunen，L.（1969年）。话语指称。1969年计算语言学会议记录（第1-38页）。69年的寒冷。斯德哥尔摩：计算语言学协会。doi:10.3115/990403.990490。 [24] Karttunne，L.，《带交叉共指的明确描述：巴赫-彼得斯悖论研究》，《语言基础》，7，2，157-182（1971） [25] 罗政（2012）。作为类型的常用名词。D.Bechet和A.Dikovsky（编辑），计算语言学的逻辑方面（LACL’2012）。LNCS 7351·Zbl 1291.03059号 [26] Marlow，S.（2010年）。Haskell 2010年语言报告。http://haskell.org/definition/haskell2010.pdf。 [27] Maršik，J.和Amblard，M.（2016）。介绍自然语言语义的效果演算和处理程序。在A.Foret等人（编辑）的《形式语法》（第257-272页）中。柏林：斯普林格。国际标准图书编号：978-3-662-53042-9·Zbl 1478.03060号 [28] Moggi，E.，《计算与单数概念，信息与计算》，93，1，55-92（1991）·Zbl 0723.68073号 ·doi:10.1016/0890-5401（91）90052-4 [29] Plotkin，G.和Pretnar，M.（2009年）。代数效应的处理程序。在第18届欧洲编程语言和系统研讨会的会议记录中：作为欧洲软件理论和实践联合会议的一部分，ETAPS 2009。《2009年员工持股计划》（第80-94页）。约克：斯普林格。国际标准图书编号：978-3-642-00589-3。doi:10.1007/978-3642-00590-97·Zbl 1234.68059号 [30] Poesio，M.和Zucchi，A.（1992年）。关于伸缩。在C.Barker和D.Dowty（编辑）的SALT II中，来自语义和语言学理论会议（俄亥俄州哥伦布市，5月1-3日）（第347-366页）。 [31] Qian，S.，de Groote，P.，&Amblard，M.（2016）。类型论动态逻辑中的模态从属。LiLT（语言技术中的语言问题）14。 [32] Ranta，A.，《类型理论语法》（1994），牛津：牛津大学出版社，牛津·Zbl 0855.68073号 [33] Roberts，C.（1987）。情态从属、回指和分配。https://www.asc.ohio-state.edu/roberts.21/desertation.pdf。 [34] 罗伯茨，C.，《话语中的模态从属和代词回指》，语言学与哲学，12，6，683-721（1989）·doi:10.1007/BF00632602 [35] 罗伯茨，C.，模态从属、回指和分配（1990），纽约：加兰出版社，纽约 [36] Shan，C.（2002）。自然语言语义的单数。在CoRR cs中。CL/0205026。arXiv:CL/0205026 [37] Shelley，L.K.（2011）。理解动态话语。博士论文。罗格斯大学，新泽西州立大学。 [38] Unger，C.（2011）作为一元计算的动态语义。在JSAI国际人工智能研讨会上（第68-81页）。斯普林格。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。