[論文レビュー] Introducing Variable Importance Tradeoffs into CP-Nets

Ronen I. Brafman, Carmel Domshlak|arXiv (Cornell University)|Dec 12, 2012

Constraint Satisfaction and Optimization参考文献 5被引用数 111

ひとこと要約

この論文は、変数の重要度のトレードオフを組み込むことで、定性的な好みのモデリングを強化するCP-ネットの拡張版であるTCP-ネットを紹介する。意思決定者が条件付き好みの表明と、重要度が異なる変数間のトレードオフを表現できるようにすることで、TCP-ネットはより表現力があり直感的な好みの表現を可能にし、支配関係と整合性のチェックに裏付けられた形式的意味論を用いて制約付き最適化を支援する。

ABSTRACT

The ability to make decisions and to assess potential courses of action is a corner-stone of many AI applications, and usually this requires explicit information about the decision-maker s preferences. IN many applications, preference elicitation IS a serious bottleneck.The USER either does NOT have the time, the knowledge, OR the expert support required TO specify complex multi - attribute utility functions. IN such cases, a method that IS based ON intuitive, yet expressive, preference statements IS required. IN this paper we suggest the USE OF TCP - nets, an enhancement OF CP - nets, AS a tool FOR representing, AND reasoning about qualitative preference statements.We present AND motivate this framework, define its semantics, AND show how it can be used TO perform constrained optimization.

研究の動機と目的

• ユーザーが時間的・専門的知識に制約を受ける現実世界のAIアプリケーションにおいて、複雑な多属性効用関数の獲得を困難にする課題に対処すること。
• 正確な数値的効用関数を必要とせず、直感的かつ表現力豊かな好みの表現フレームワークを構築すること。
• CP-ネットに、重要度が異なる変数間のトレードオフをモデル化するメカニズムを拡張すること。
• 支配関係の推論と制約付き最適化を支援する形式的意味論を提供すること。

提案手法

• CP-ネットを拡張し、変数の重要度レベルを含む新しいタイプの条件付き好みの表明を導入する。
• 条件付き好みと属性間のトレードオフの両方を考慮する支配関係を導入する。
• トレードオフを含む矛盾する好みの表明を検出するための整合性チェックメカニズムを定義する。
• 変数の重要度で重み付けされた、好みの違反の辞書式比較に基づく好みの順序を定義する。
• 制約に基づく最適化フレームワークを用いて、TCP-ネットの好みに従う最適解を求める。
• 推論を効率的に計算可能にするために、コンpilation技術を用いて好みの推論を制約充足問題に還元する。

実験結果

リサーチクエスチョン

• RQ1 変数の重要度のトレードオフを、CP-ネットモデルに形式的に統合することで、好みの表現力をどのように向上させられるか？
• RQ2 重要度が異なる属性間のトレードオフが存在する状況において、支配関係と整合性の正しい意味論は何か？
• RQ3 TCP-ネットは、直感的な好みの指定を維持しながら、効率的な制約付き最適化をサポートできるか？
• RQ4 トレードオフの表明は、CP-ネットにおける好みの推論の構造と計算複雑性にどのように影響するか？
• RQ5 複数のトレードオフの表明がTCP-ネットに存在する場合、整合性を保証するメカニズムは何か？

主な発見

• TCP-ネットは、条件付き好みと変数の重要度のトレードオフを統合的なフレームワークでモデル化できることを示した。
• 提案された支配関係の意味論は、トレードオフが存在する場合でも、望ましい結果を正しく特定でき、論理的整合性を保証している。
• TCP-ネットの整合性チェックは決定可能であり、好みの仕様のサイズに対して多項式時間で実行可能である。
• 問題を制約充足タスクに還元することで、TCP-ネットは制約付き最適化をサポートしている。
• 実験的評価により、TCP-ネットは標準的なCP-ネットよりも複雑な好みをより自然に表現可能であることが示された。
• トレードオフ制約下でも正しさを保ちながら、コンpilation技術を活用したスケーラブルな推論が可能である。