论文部分内容阅读
Van der Sandt的约束论通过将先设纳入到话语表征理论(DRT)的研究范围,部分地解决了DRT对先设消解的无效问题。然而,研究表明,约束论并未对先设与世界知识之间的相互作用做出合理的解释,因此,它也并未从根本上解决DRT对深层回指消解无效的问题。DRT及其现有衍生理论要想真正走出对深层回指消解无效的困境,关于世界知识的形式化问题无论如何都是无法回避的课题,因为它是解决自然语言意义问题的唯一出路。本文从“常规关系”的形式化研究入手,展开对“溯因推理”在约束论中的应用研究,旨在挖掘约束论对深层回指消解无效的成因。
Van der Sandt’s theory of constraint partially solves the DRT’s ineffectiveness of precontemporary digestion by incorporating preconditions into the study of discourse representational theory (DRT). However, the research shows that the theory of constraint does not give a reasonable explanation of the interaction between the first set and the world knowledge. Therefore, it also does not fundamentally solve the problem that the DRT does not invalidate the deep anaphora. If DRT and its existing derivative theories really want to get out of the dilemma of invalidation of deep anaphora, formalization of world knowledge is an unavoidable subject anyway because it is the only way to solve the problem of natural language meaning. This article begins with the formal study of “conventional relations ” and starts with the application research of “absurd inference ” in the theory of restriction, in order to find out the cause of the ineffectiveness of restriction theory on the deep anaphora resolution.