乔纳森·金兹伯格 抽象和本体:问题是类型理论中的命题抽象,有记录。 (英语) Zbl 1070.03516号 J.日志。计算。 15,第2期,113-130(2005). 摘要:本文开发了自然语言疑问句的语义学,该语义学通过命题抽象来识别疑问句的外延。本文认为,作为命题摘要的问题理论(QPA)是一种简单、透明、可实施的理论,具有重要的实证覆盖率。然而,直到最近,由于QPA在蒙太古语义学的类型系统中制定时遇到了一些重大问题,QPA在正式的问题语义处理中一直被放弃。在最近的工作中,Ginzburg和Sag提供了一个QPA的情境理论实现,成功地克服了QPA的某些原始问题。然而,Ginzburg和Sag的提案依赖于对抽象的特殊目的描述,这提出了一个问题,即使用标准抽象概念可以在多大程度上维持QPA。在本文中,通过在提供记录类型的类型理论版本中实现QPA,消除了这些疑虑。后者允许人们开发具有限制的同步/虚抽象概念,以及具有各种“信息实体”的本体。此外,该理论的内在多态性在定义问题的一般类型方面发挥了关键作用,这是早期版本QPA的主要障碍之一。 引用于1文件 MSC公司: 03B65号 自然语言逻辑 关键词:疑问句的语义;类型理论;问题 软件:质量保证计划 PDF格式BibTeX公司 XML格式引用 \textit{J.金兹堡},J.洛格。计算。15,第2号,113--130(2005;Zbl 1070.03516) 全文: 内政部 链接