[论文解读] The Use of Knowledge Preconditions in Language Processing

Karen E. Lochbaum|ArXiv.org|Aug 29, 1995

Multi-Agent Systems and Negotiation参考文献 19被引用 29

一句话总结

本文提出了共享计划模型中协作行动的知识前提的公理化，展示了这些前提如何解释话语中的信息寻求子对话。通过将知识需求整合到意图规划结构中，该方法能够在不引入新计划类型的情况下，自然地建模代理人为获取缺失信息而进行的对话，相较于基于数据结构的替代方案，提供了更连贯且更具意图性的解释。

ABSTRACT

If an agent does not possess the knowledge needed to perform an action, it may privately plan to obtain the required information on its own, or it may involve another agent in the planning process by engaging it in a dialogue. In this paper, we show how the requirements of knowledge preconditions can be used to account for information-seeking subdialogues in discourse. We first present an axiomatization of knowledge preconditions for the SharedPlan model of collaborative activity (Grosz & Kraus, 1993), and then provide an analysis of information-seeking subdialogues within a general framework for discourse processing. In this framework, SharedPlans and relationships among them are used to model the intentional component of Grosz and Sidner's (1986) theory of discourse structure.

研究动机与目标

• 在共享计划框架内形式化协作行动的知识前提。
• 通过意图性心理状态规划，解释话语中的信息寻求子对话。
• 表明话语结构可自然地从共享计划与知识需求中产生。
• 通过将话语结构建立在现有心理状态计划之上，避免引入额外的计划类型（如问题解决或探索计划）。
• 提供比基于数据结构的计划模型更具有意图性和连贯性的对话解释。

提出的方法

• 基于莫尔根斯特恩的观察，将知识前提公理化，并适配于共享计划与个体计划。
• 使用谓词如 has.recipe 和 id.params 表示行动所需的知识需求。
• 将知识前提整合到共享计划模型中，通过引入基于知识的约束，扩展 BCBA 和 MBCBAG 算子。
• 通过共享计划之间的关系建模话语结构，其中每个计划对应一个话语片段。
• 证明当知识前提未满足时，信息寻求子对话自然产生，从而触发新共享计划的创建。
• 表明满足知识前提的需求自然导致对话启动，而无需引入显式的 'IDENTIFY-PARAMETER' 或类似计划算子。

实验结果

研究问题

• RQ1 如何将知识前提正式整合到共享计划等协作规划模型中？
• RQ2 知识前提在启动信息寻求子对话中扮演何种角色？
• RQ3 共享计划的意图性结构如何解释话语的分段与连贯性？
• RQ4 为何心理状态视角的计划优于数据结构视角，以建模对话的意图性？
• RQ5 能否在不引入新计划类型的情况下，解释话语现象（如信息寻求）？

主要发现

• 知识前提（如知晓食谱或识别参数）对行动执行至关重要，必须在协作规划中正式表示。
• 当代理缺乏必要知识时，信息寻求子对话自然产生，从而触发新共享计划的创建。
• 该方法避免了引入新计划类型（如问题解决或探索计划），与替代模型不同。
• 话语结构并非外部强加，而是源于共享计划之间的关系及其知识前提需求。
• 该模型捕捉了话语的‘原因’，而基于数据结构的计划仅描述‘做了什么’。
• 该框架支持解释与生成，如文本规划中对意图性结构的需求所示。