[論文レビュー] DPOCL: A Principled Approach to Discourse Planning

R. Michael Young, Johanna D. Moore|ArXiv.org|Jun 10, 1994

Multi-Agent Systems and Negotiation被引用数 30

ひとこと要約

DPOCLは、会話計画に意図的構造と情報的構造の両方を明示的に表現する形式的で完全なディコースプランニングフレームワークを提示する。部分順序・因果リンク（POCL）計画法に分解演算子を拡張することで、DPOCLは意図した効果、副作用、言語使用に関する知識に基づく制約を精確にモデル化でき、通信障害に強く、計画生成能力の形式的特徴付けを可能にする。

ABSTRACT

Research in discourse processing has identified two representational requirements for discourse planning systems. First, discourse plans must adequately represent the intentional structure of the utterances they produce in order to enable a computational discourse agent to respond effectively to communicative failures \cite{MooreParisCL}. Second, discourse plans must represent the informational structure of utterances. In addition to these representational requirements, we argue that discourse planners should be formally characterizable in terms of soundness and completeness.

研究の動機と目的

• 既存のディコースプランニングシステムに形式的特徴付けの欠如があることに対処し、これはしばしば恣意的なアルゴリズム設計により、正しいまたは完全な計画が生成されない原因となっている。
• ディコースプランナが、発話の意図した効果と意図しない効果を正式に区別できることを保証し、通信障害への適切な対応を可能にする。
• 意図を超えて、ドメイン知識が会話における言語使用にどのように制約を加えるかを示す情報的構造を明示的かつ形式的に表現すること。
• 命題が因果的または推論的関係を通じてどのように支持されるかをモデル化する分解演算子をPOCL計画法に拡張すること。
• DPOCLが生成可能なディコースプランのクラスを特徴付け、その形式的性質（例：整合性と完全性）を明らかにすること。

提案手法

• DPOCLは、意図的構造と情報的構造の両方を明示的に表現する階層的ディコース計画をモデル化できるように、部分順序・因果リンク（POCL）計画法を拡張する。
• 抽象的ディコース行動がサブプランを通じてどのように実現可能かを、ドメイン知識と推論的関係に基づいて制約をエンコードする分解演算子を導入する。
• 意図的構造は、行動の意図した効果（目標）と副作用（意図しない結果）の区別によって形式化される。
• 情報的構造は、分解演算子にかかる制約として表現され、例えば命題間の「原因となる」関係が、分解が適用可能であるために満たされなければならない。
• 計画構築中に制約の整合性をチェックし、違反が生じた場合にはバックトラッキングを実行することで、計画の妥当性を保証する。
• 整合性や原始的完全性といった形式的性質が証明されており、これによりプランナの能力と限界を正確に特徴付けられる。

実験結果

リサーチクエスチョン

• RQ1 ディコースプランニングシステムは、どのようにして発話の意図した効果と意図しない効果を正式に区別し、通信障害への効果的な対応を可能にするか？
• RQ2 信頼性と予測可能性を保証するためのディコースプランナに必要な形式的性質（例：整合性と完全性）は何か？
• RQ3 命題間の因果的または推論的関係といった情報的構造は、どのように明示的に表現され、ディコース計画に強制的に組み込まれるか？
• RQ4 ディコースプランナは、すべての有効なディコース計画をどの程度生成できるか？その完全性の限界は何か？
• RQ5 ドメイン知識を適切に統合する形で、分解演算子をどのように設計すれば、会話における適切な言語使用を制約できるか？

主な発見

• DPOCLは形式的に整合的であり、生成するすべての計画が指定された制約と整合していることを保証する。
• 特定のクラスのディコース計画に関しては、DPOCLは完全であることも示され、有効な実行可能行動のすべてのシーケンスを生成可能である。
• 2つの抽象的行動が干渉を避けるために順序付けられている場合、重ね合わせ可能なサブプランが干渉を解消できるにもかかわらず、DPOCLはそのような計画を生成できないため、完全性に制限があることが示された。
• 意図的構造と情報的構造の両方を明示的に表現することで、システムは意図した効果と副作用を区別でき、通信障害への適切な対応が可能になる。
• 情報的制約は、計画の意図的構造とは独立して、分解演算子の条件として形式的にエンコードされており、モジュラリティと再利用性を確保する。
• DPOCLの振る舞いの形式的特徴付けにより、その生成可能なディコース計画のクラスを正確に指定できるようになり、これは以前のディコースプランニングシステムには欠けていた能力である。