×

抽象和本体:问题是类型理论中的命题抽象,有记录。 (英语) Zbl 1070.03516号

摘要:本文开发了自然语言疑问句的语义学,该语义学通过命题抽象来识别疑问句的外延。本文认为,作为命题摘要的问题理论(QPA)是一种简单、透明、可实施的理论,具有重要的实证覆盖率。然而,直到最近,由于QPA在蒙太古语义学的类型系统中制定时遇到了一些重大问题,QPA在正式的问题语义处理中一直被放弃。在最近的工作中,Ginzburg和Sag提供了一个QPA的情境理论实现,成功地克服了QPA的某些原始问题。然而,Ginzburg和Sag的提案依赖于对抽象的特殊目的描述,这提出了一个问题,即使用标准抽象概念可以在多大程度上维持QPA。在本文中,通过在提供记录类型的类型理论版本中实现QPA,消除了这些疑虑。后者允许人们开发具有限制的同步/虚抽象概念,以及具有各种“信息实体”的本体。此外,该理论的内在多态性在定义问题的一般类型方面发挥了关键作用,这是早期版本QPA的主要障碍之一。

MSC公司:

03B65号 自然语言逻辑
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接