×
安德斯·瑟加德；马丁·兰格

用于HPSG解析的多变量动态逻辑。 （英语） Zbl 1165.03332号

J.逻辑语言信息。 159-198年第2号第18页（2009年）.
摘要：词头驱动短语结构语法（HPSG）是自然语言深层句法分析中最重要的理论之一。可以说，许多语言理论在模态逻辑或动态逻辑的扩展中得到了最好的形式化，HPSG似乎也不例外。然而，尚未详细研究动态逻辑的适当扩展；最重要的方面是引用子结构集。本文确定了一个适当的扩展，并建立了一些重要的结果：可满足性是高度不可判定的，并且模型检查显示为EXPTIME和PSPACE-hard。使用多项式时间模型检查程序识别片段；它可以覆盖HPSG的大量碎片。

MSC公司：

03B70号 计算机科学中的逻辑
03B65号 自然语言逻辑
68T50型 自然语言处理
91层20 语言学

关键词：

动态逻辑；高压蒸汽发生器；模型检查；解析
PDF格式BibTeX公司 XML格式引用
\textit{A.Sögaard}和\textit{M.Lange}，J.Logic Lang.Inf.18，No.2，159--198（2009；Zbl 1165.03332）
全文： 内政部

参考文献：

[1] Benevides，M.（2003）。有限图的模态逻辑。参见：R.de Queiroz（编辑），《并发和同步逻辑》（第239-267页）。密歇根州诺威尔市：Kluwer·Zbl 1034.03037号
[2] 布莱克本P.（1994）《结构、语言和翻译：特征逻辑的结构方法》。收录：Rupp C.J.、Johnson R.、Rosner M.（编辑）《约束、语言和计算》。伦敦学术出版社，第1-29页
[3] Blackburn P.，Meyer-Viol W.（1994）《语言学、逻辑和有限树》。IGPL逻辑杂志2（1）：3–29·兹伯利0810.03022 ·doi:10.1093/jigpal/2.1.3
[4] Blackburn，P.，Spaan，E.（1993）。独立特征逻辑中的可决定性和不可决定性。《计算语言学协会欧洲分会第六届会议记录》（第30-36页）。荷兰乌得勒支。
[5] Bredenkamp，A.、Markantonatou，S.和Sadler，L.（1996）。词汇规则：它们是什么？《第16届国际计算语言学会议论文集》（第163-168页）。丹麦哥本哈根。
[6] Carpenter B.（1991）范畴语法和具有词汇规则的头部驱动短语结构语法的生成能力。计算语言学17（3）：301–313
[7] Chandra A.，Kozen D.，Stockmeyer L.（1981）计算机协会杂志28（1）：114–133
[8] Danecki，S.（1984）。具有交集的非确定性命题动态逻辑是可判定的。在A.Skowron（编辑），《第五届计算理论研讨会论文集》，《计算机科学讲义》（第208卷，第34-53页）。波兰扎博罗：斯普林格。
[9] Fischer M.J.，Ladner R.E.（1979）正则程序的命题动态逻辑。计算机与系统科学杂志18（2）：194-211·Zbl 0408.03014号 ·doi:10.1016/0022-0000（79）90046-1
[10] Franceschet M.，de Rijke M.（2005）混合逻辑的模型检查。应用逻辑杂志4（3）：279–304·Zbl 1100.68065号 ·doi:10.1016/j.jal.2005.06.010
[11] Harel D.（1985）反复出现的多米诺骨牌：让高度不可判定的东西变得非常容易理解。离散数学年鉴24:51–72·Zbl 0531.68003号
[12] Jaeger E.、Francez N.、Wintner S.（2005）《统一语法和离线可分析性》。逻辑、语言和信息杂志14:199-234·Zbl 1075.68040号 ·doi:10.1007/s10849-005-4511-1
[13] Johnson M.（1988）属性值逻辑与语法理论。加州斯坦福CSLI出版物
[14] Keller B.（1993）《特征逻辑、无限描述和语法》。加州斯坦福CSLI出版物·Zbl 0943.68084号
[15] Kepser S.（2001）《论RSRL的复杂性》，《计算机科学中的电子笔记》53:146–162·Zbl 1263.03026号 ·doi:10.1016/S1571-0661（05）82580-0
[16] Kepser，S.和Mönnich，U.（2003年）。HPSG的不确定性结果。在语言处理中的代数方法3（第1-12页）。意大利维罗纳。
[17] King，P.（1989）。头部驱动短语结构语法的逻辑形式主义。曼彻斯特大学博士论文。博士论文。
[18] King，P.（1999）。在头部驱动的短语结构语法中走向真理。在V.Kordoni（Ed.）中，Tübingen研究了头部驱动的短语结构语法（第2卷，第301-352页）。德国图宾根：Arbeitspapiere des SFB 340，Bericht Nr.132。
[19] King P.，Simov K.，Aldag B.（1999）头部驱动短语结构语法的约束逻辑的有限和可计算签名的建模复杂性。逻辑、语言与信息杂志8（1）：83–110·Zbl 0919.03026号 ·doi:10.1023/A:1008247127922
[20] Kracht M.（1995）对特征结构有真正的模态观点吗？语言学与哲学18:401–458·doi:10.1007/BF00984931
[21] Lange M.（2006）用所有附加项对命题动态逻辑进行模型检查。应用逻辑杂志4:39–49·Zbl 1095.68053号 ·doi:10.1016/j.jal.2005.08.002
[22] Lange M.，Lutz C.（2005）2-具有交集的命题动态逻辑的ExpTime下限。符号逻辑杂志70（4）：1072–1086·Zbl 1100.03017号 ·doi:10.2178/jsl/1129642115
[23] Moens，M.、Calder，J.、Klein，E.、Reape，M.和Zeevat，H.（1989年）。在基于统一的语法形式中表达泛化。计算语言学协会欧洲分会第四届会议记录。英国曼彻斯特。
[24] Moss L.，Tiede H.（2006）模态逻辑在语言学中的应用。收录：Blackburn P.、van Benthem J.、Wolther F.（编辑）《模态逻辑手册》。荷兰阿姆斯特丹爱思唯尔出版社，第1031–1072页
[25] Pollard C.（1999）HPSG的强大发电能力。收录于：Webelhuth G.、Koenig J.-P.、Kathol A.（编辑）《语言解释的词汇和结构方面》。加州斯坦福CSLI出版物，第281–297页
[26] Pollard C.，Sag I.（1987）《基于信息的语法和语义》。芝加哥大学出版社，伊利诺伊州芝加哥
[27] Pollard C.，Sag I.（1994）头部驱动短语结构语法。芝加哥大学出版社，伊利诺伊州芝加哥
[28] Reape，M.（1992年）。语序的形式理论：西方日耳曼语的个案研究。苏格兰爱丁堡爱丁堡大学博士论文。
[29] Reape M.（1994）具有内涵性、非完备性以及功能和关系依赖性的特征值逻辑。收录：Rupp C.J.、Rosner M.、Johnson R.（编辑）《约束、语言和计算》。加州旧金山学术出版社，第77–110页
[30] Richter，F.（2004）。一种语言理论的数学形式，在头部驱动短语结构语法中的应用。德国图宾根大学博士论文。
[31] 轮次B（1994）《特征逻辑》。收录：van Benthem J.，ter Meulen A.（编辑）《逻辑和语言手册》。荷兰阿姆斯特丹爱思唯尔出版社，第1-61页
[32] Sag I.，Fodor J.（1994）《无痕迹提取》。载于：Aranovich R.、Byrne W.、Preuss S.、Senturia M.（编辑）《第十三届西海岸形式语言学会议论文集》。CSLI出版物，加利福尼亚州斯坦福市，第365–384页
[33] Shieber S.（1992）基于约束的语法形式主义。麻省理工学院出版社，马萨诸塞州剑桥
[34] Sögaard，A.（2006）。对某些基于特征的自然语言理论的逻辑研究。《联合人类语言技术会议论文集》和《计算语言学协会北美分会2006》，附卷（第239-242页）。纽约州纽约市。
[35] Trautwein，M.（1995年）。易处理语法形式中的计算陷阱。荷兰阿姆斯特丹阿姆斯特丹大学博士论文。ILLC论文系列DS-1995-15。
[36] Warshall S.（1962）布尔矩阵定理。计算机协会杂志9（1）：11–12·Zbl 0118.33104号
[37] Wedekind J.（1997）《语法统一方法》。收录：Blackburn P.，de Rijke M.（编辑）《指定句法结构》。加州斯坦福CSLI出版物，第245-280页
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。