[論文レビュー] The Use of Knowledge Preconditions in Language Processing

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

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

ひとこと要約

この論文は、共同行動のSharedPlanモデルにおける知識前提の公理的定式化を提示し、対話における情報探索サブディアローグをどのように説明できるかを示している。知識要件を意図的計画構造に統合することで、欠落した情報を求める対話の自然なモデル化が可能となり、新たな計画タイプを導入することなく、データ構造に基づく代替手法よりもより一貫性があり意図的な説明が可能となる。

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.

研究の動機と目的

• SharedPlanフレームワーク内での共同行動のための知識前提を形式化すること。
• 意図的心的状態計画を用いて、対話における情報探索サブディアローグを説明すること。
• 共有計画と知識要件から、対話構造が自然に生じることを示すこと。
• 既存の心的状態計画に根拠を置くことで、追加の計画タイプ（例：問題解決計画や探索計画）を導入する必要を回避すること。
• データ構造に基づく計画モデルよりも、対話の意図性をより意図的かつ一貫性を持って説明すること。

提案手法

• モルゲンシュテルンの観察に基づき、共有計画および個別計画に適応した知識前提の公理的定式化を行う。
• has.recipe や id.params などの述語を用いて、行動の知識要件を表現する。
• 知識前提をSharedPlanモデルに統合し、BCBAおよびMBCBAG演算子に知識に基づく制約を拡張する。
• 各計画が対話セグメントに対応するように、SharedPlans間の関係性を通じて対話構造をモデル化する。
• 知識前提が満たされない場合に情報探索サブディアローグが生じ、新たなSharedPlansの開始を引き起こすことを示す。
• 知識前提を満たす必要性が、明示的な「IDENTIFY-PARAMETER」や類似する計画演算子を必要とせずに、対話の開始を自然に導くことを示す。

実験結果

リサーチクエスチョン

• RQ1 知識前提をSharedPlansのような共同計画モデルに形式的に統合する方法は何か？
• RQ2 知識前提は、情報探索サブディアローグを開始するために果たす役割は何か？
• RQ3 SharedPlansの意図的構造は、対話のセグメンテーションと一貫性をどのように説明するか？
• RQ4 対話の意図性をモデル化する際、なぜ心的状態の視点がデータ構造の視点よりも優れているのか？
• RQ5 情報探索のような対話現象は、新たな計画タイプを導入せずに説明可能か？

主な発見

• レシピを知ることやパラメータを特定することといった知識前提は、行動の実行に不可欠であり、共同計画において形式的に表現される必要がある。
• 必要な知識が不足している場合に、情報探索サブディアローグが自然に生じ、新たなSharedPlansの開始を促す。
• 本手法は、代替モデルとは異なり、新たな計画タイプ（例：問題解決計画や探索計画）を導入しない。
• 対話構造は外部から強制されるのではなく、SharedPlans間の関係性とその知識前提要件から生じる。
• データ構造に基づく計画とは異なり、本モデルは発話の「なぜ」を捉えることができる。
• 本フレームワークは、解釈と生成の両方をサポートしており、テキスト計画における意図的構造の必要性によって示されている。