基于原则的HPSG语义学

本文提出了一种面向HPSG的基于约束的语义形式体系。句法-语义接口直接实现量词辖域与分布性的句法条件。语义表征的构建由指导句法与语义交互的一般原则所引导。这些原则中的每一个都作为约束，用于缩小句子的可能解释集合。歧义句子的意义由单个部分表征（所谓的未指定话语表征结构，即UDRSs）来表示，可向其中单调地添加更多约束以获取关于句子内容的更多信息。无需构建大量句子的替代表征，然后再由后续话语和世界知识进行过滤。UDRSs的优势不仅在于允许单调递增解释，还在于它们配备了真值条件和证明论，允许在量词辖域未解决的结构上直接进行推理。