[论文解读] A Formalism and an Algorithm for Computing Pragmatic Inferences and Detecting Infelicities

Daniel Marcu|ArXiv.org|Apr 26, 1995

Logic, Reasoning, and Knowledge参考文献 55被引用 6

一句话总结

本文提出一种称为'分层逻辑'的形式系统，用以区分三类语用推理——无条件有效、得体可废止、不得体可废止——从而在后两类推理被取消时检测出语用不得体现象。该算法以Common Lisp实现，可计算话语解释，识别预设，并在简单与复杂语言语境中标识出不得体话语。

ABSTRACT

Since Austin introduced the term ``infelicity'', the linguistic literature has been flooded with its use, but no formal or computational explanation has been given for it. This thesis provides one for those infelicities that occur when a pragmatic inference is cancelled. Our contribution assumes the existence of a finer grained taxonomy with respect to pragmatic inferences. It is shown that if one wants to account for the natural language expressiveness, one should distinguish between pragmatic inferences that are felicitous to defeat and pragmatic inferences that are infelicitously defeasible. Thus, it is shown that one should consider at least three types of information: indefeasible, felicitously defeasible, and infelicitously defeasible. The cancellation of the last of these determines the pragmatic infelicities. A new formalism has been devised to accommodate the three levels of information, called ``stratified logic''. Within it, we are able to express formally notions such as ``utterance U presupposes P'' or ``utterance U is infelicitous''. Special attention is paid to the implications that our work has in solving some well-known existential philosophical puzzles. The formalism yields an algorithm for computing interpretations for utterances, for determining their associated presuppositions, and for signalling infelicitous utterances that has been implemented in Common Lisp. The algorithm applies equally to simple and complex utterances and sequences of utterances.

研究动机与目标

• 为语用不得体现象提供一种形式化且计算化的解释，特别是针对因不得体可废止推理被取消而产生的现象。
• 解决语言理论中对术语'不得体性'缺乏形式处理的问题，尤其是在语用推理语境下的问题。
• 开发一种分层逻辑框架，能够表达话语中的预设和不得体条件。
• 通过计算建模解决涉及存在量词和预设的经典哲学难题。
• 实现一种实用算法，用于解释话语并检测孤立及序列性话语中的不得体现象。

提出的方法

• 提出'分层逻辑'作为三层次形式系统，用于表示不可废止、得体可废止和不得体可废止的信息。
• 在分层逻辑框架内定义形式关系，如'话语U预设P'和'话语U是不得体的'。
• 设计一种算法，通过分析话语在三个层次上的语用推理来计算其解释。
• 将该算法应用于单个话语及话语序列，当不得体可废止推理被取消时检测不得体现象。
• 使用Common Lisp实现该算法，以确保其实际适用性和可测试性。
• 利用该形式系统建模并解决涉及预设和存在量词的经典哲学难题。

实验结果

研究问题

• RQ1 如何在自然语言中形式化地区分语用不得体现象与得体或无效推理？
• RQ2 何种形式机制可实现在不得体可废止推理被取消时检测不得体现象？
• RQ3 如何构建一个统一的逻辑框架，以表达多种语用推理强度和可废止性的层次？
• RQ4 所提出的正式系统在何种方式上解决了涉及预设与存在的经典哲学难题？
• RQ5 计算算法能否可靠地检测孤立及复杂话语序列中的不得体现象？

主要发现

• 本文成功形式化了得体可废止与不得体可废止推理之间的区分，从而能够精确检测语用不得体现象。
• 分层逻辑形式系统以计算上可行的方式表达了预设内容和不得体条件。
• 在Common Lisp中实现的算法在不得体可废止推理被取消时，能正确识别出不得体话语。
• 该框架通过形式化建模，解决了与存在量词和预设相关的著名哲学难题。
• 该算法具有足够的通用性，可处理孤立话语和话语序列，展示了其在计算语用学中的广泛适用性。
• 本研究首次基于推理类型细粒度分类，提供了语用不得体现象的形式化与计算化解释。