[论文解读] Context as a Spurious Concept

Graeme Hirst|arXiv (Cornell University)|Dec 9, 1997

Logic, Reasoning, and Knowledge参考文献 26被引用 37

一句话总结

本文主张，人工智能与自然语言处理中将'上下文'视为独立、形式化的概念在根本上是不连贯且具有误导性的。海斯特认为，上下文并非一个预先定义的普遍实体，而是一种由说话者与听者在实时互动中动态建构的解释性构造，因此麦卡锡与布瓦奇的'将上下文视为一等对象'的形式化方法无法有效建模自然语言的实际使用。

ABSTRACT

I take issue with AI formalizations of context, primarily the formalization by McCarthy and Buvac, that regard context as an undefined primitive whose formalization can be the same in many different kinds of AI tasks. In particular, any theory of context in natural language must take the special nature of natural language into account and cannot regard context simply as an undefined primitive. I show that there is no such thing as a coherent theory of context simpliciter -- context pure and simple -- and that context in natural language is not the same kind of thing as context in KR. In natural language, context is constructed by the speaker and the interpreter, and both have considerable discretion in so doing. Therefore, a formalization based on pre-defined contexts and pre-defined `lifting axioms' cannot account for how context is used in real-world language.

研究动机与目标

• 批判人工智能领域中将上下文视为知识表示与自然语言处理中一种基本、一等对象的主流形式化方法。
• 主张自然语言中的上下文并非一个固定或可定义的实体，而是在说话者与听者通过解释动态建构而成。
• 证明那些将上下文视为普遍、实体化概念的形式系统，无法解释现实世界语言使用的流动性和语用特性。
• 倡导采用替代性框架——特别是情境理论——以更好地将上下文建模为一种涌现的、基于互动的现象。
• 警告在缺乏对人类交际认知与语用现实的根基之前提下，过早地形式化语言概念。

提出的方法

• 将'上下文'与心理学中的'应激源'类比，主张二者皆由其效应定义，而非内在属性。
• 运用维特根斯坦哲学论证'上下文'并非自然种类，其边界由使用与解释方式决定。
• 分析麦卡锡与布瓦奇对上下文的形式化处理，将其视为类似容器的、一等的对象，指出其缺乏对语言现实的根基。
• 主张由于上下文并非普遍实体，而是情境特定且具有解释性的，因此基于预定义上下文的形式系统无法捕捉真实语言使用。
• 提出情境理论作为更可行的替代方案，强调其根植于真实话语与互动，且与语用学和会话分析相契合。
• 引用萨克斯、加尔费克尔等人的研究，支持上下文源于社会与互动实践，而非逻辑基本概念的观点。

实验结果

研究问题

• RQ1 上下文能否被形式化为一个独立于特定语言与认知语境的普遍、实体化存在？
• RQ2 为何人工智能中对上下文的形式化（如麦卡锡与布瓦奇的模型）无法解释自然语言使用中动态、解释性的本质？
• RQ3 若将'上下文'这一概念完全由其效应定义，而非内在属性，其含义与影响为何？
• RQ4 上下文在自然语言中的作用与在知识表示系统中的作用有何根本性差异？
• RQ5 何种替代性框架能更有效地将上下文建模为一种涌现的、社会建构的语言现象？

主要发现

• 并不存在一个'纯粹上下文'的连贯理论——上下文无法被形式化为普遍的、预先定义的实体。
• 自然语言中的上下文并非一个固定或可定义的对象，而是说话者与听者通过解释动态建构的产物。
• 将上下文视为一等、容器式对象的形式化方法（如麦卡锡与布瓦奇的模型）在建模现实世界语言使用时是不充分的。
• 概念'上下文'并非自然种类；如同'应激源'，它由其效应定义，而非内在特征。
• 将上下文实体化的形式系统可能变得脱离现实，毫无意义，类似于'元语言幻觉'或'奇美拉'。
• 情境理论提供了一个更可行的形式化框架，因其将上下文建模为源于真实话语与互动的产物，而非抽象的逻辑容器。