[论文解读] An Implemented Formalism for Computing Linguistic Presuppositions and Existential Commitments

Daniel Marcu, Graeme Hirst|ArXiv.org|Apr 26, 1995

Logic, Reasoning, and Knowledge参考文献 18被引用 5

一句话总结

本文提出了一种计算实现的形式化方法，通过基于梅农本体论和格赖斯会话原则的分层逻辑，统一计算语言预设和存在承诺。通过整合丰富的本体论和无限制的量词解释，该框架在单一、连贯的逻辑系统中实现了对所有预设（包括非存在性和存在性预设）的可处理、系统化推导，实现了预设计算的完全自动化。

ABSTRACT

We rely on the strength of linguistic and philosophical perspectives in constructing a framework that offers a unified explanation for presuppositions and existential commitment. We use a rich ontology and a set of methodological principles that embed the essence of Meinong's philosophy and Grice's conversational principles into a stratified logic, under an unrestricted interpretation of the quantifiers. The result is a logical formalism that yields a tractable computational method that uniformly calculates all the presuppositions of a given utterance, including the existential ones.

研究动机与目标

• 开发一个统一的计算框架，用于识别和计算所有类型的语言预设，包括存在承诺。
• 将梅农本体论和格赖斯会话原则中的哲学洞见整合到一个基于逻辑的自然语言处理形式化系统中。
• 在无限制量词解释下，实现可处理的、自动化的预设计算。
• 提供一种系统化方法，能够在单一逻辑形式化中区分非存在性和存在性预设。
• 以支持计算语义学实际应用的方式实现该形式化方法。

提出的方法

• 该形式化方法采用具有多层结构的分层逻辑，以表示不同类型语义承诺，包括与量词和指称表达式相关的承诺。
• 将梅农关于对象及其存在方式（例如，存在、不存在、不可能）的原则嵌入到支持预设推理的逻辑结构中。
• 利用格赖斯会话原则指导推理过程，确保预设与话语的语用预期保持一致。
• 系统使用丰富的人工编写的本体论来表示实体及其属性，从而实现对指称和存在承诺的精确追踪。
• 该形式化方法在计算系统中实现，能够处理话语并基于无限制量词解释通过逻辑推理推导出所有预设。
• 基于LaTeX的实现，包含特定源文件和警告处理，表明这是一个用于计算语义学测试的原型系统。

实验结果

研究问题

• RQ1 如何通过单一形式系统统一计算非存在性和存在性预设？
• RQ2 在计算环境中建模梅农式对象性和存在承诺所需的逻辑和本体论基础是什么？
• RQ3 如何将格赖斯原则正式整合到基于逻辑的系统中，以指导预设推理？
• RQ4 具有无限制量词的分层逻辑能否支持可处理且完整的预设计算？
• RQ5 丰富的本体论在实现预设的准确和系统化推导中起什么作用？

主要发现

• 该形式化方法通过单一统一机制成功计算了给定话语的所有预设，包括涉及不存在或不可能实体的预设。
• 该系统表明，诸如由定指描述引发的存在承诺，可以使用与其它预设相同的逻辑框架系统化推导。
• 梅农本体论的整合使得对现实中不存在的实体进行一致表示成为可能，同时保持语义一致性。
• 格赖斯原则的使用确保了预设推理与语用话语预期保持一致，增强了自然性和相关性。
• 实现完全运行且能够处理语言输入以生成完整的预设集合，如国际计算语义学研讨会论文集所展示。
• 该方法在逻辑一致且形式化基础坚实的框架下，实现了预设计算的完全自动化，无需额外规则。