[論文レビュー] More-or-Less CP-Networks

Fusun Yaman, Marie desJardins|arXiv (Cornell University)|Jun 20, 2012

Constraint Satisfaction and Optimization参考文献 10被引用数 8

ひとこと要約

この論文は、値の単調性と区間ベースの集約を活用することで、二値CP-netと同等の計算複雑性を達成する、よりややCP-netと呼ばれる多値CP-netの tractable なクラスを導入する。支配性テストの探索空間を完全に削減する探索制御ルールを提案しており、正しさを保ちつつ、複雑な多属性意思決定システムにおける効率的な好みの推論を可能にする。

ABSTRACT

Preferences play an important role in our everyday lives. CP-networks, or CP-nets in short, are graphical models for representing conditional qualitative preferences under ceteris paribus ("all else being equal") assumptions. Despite their intuitive nature and rich representation, dominance testing with CP-nets is computationally complex, even when the CP-nets are restricted to binary-valued preferences. Tractable algorithms exist for binary CP-nets, but these algorithms are incomplete for multi-valued CPnets. In this paper, we identify a class of multivalued CP-nets, which we call more-or-less CPnets, that have the same computational complexity as binary CP-nets. More-or-less CP-nets exploit the monotonicity of the attribute values and use intervals to aggregate values that induce similar preferences. We then present a search control rule for dominance testing that effectively prunes the search space while preserving completeness.

研究の動機と目的

• 多値CP-netにおける支配性テストの計算非効率性、すなわち二値CP-netですらNP困難であるという問題に対処すること。
• 二値CP-netと同等の tractability を維持しながら、より豊かな非二値属性値をサポートできる多値CP-netの部分クラスを同定すること。
• 区間ベースの集約と探索空間の削減を用いて、この部分クラスに対する完全かつ効率的な支配性テストアルゴリズムを開発すること。
• 探索の努力を著しく削減しつつ、支配性チェックの完全性を保つために、新しい制御ルールを用いること。

提案手法

• 論文は、属性値を単調な好みの行動に基づいて区間にグループ化することで、よりややCP-netを定義する。
• 値が区間内を変化する際、一貫した好みの方向を引き起こす条件付き好みの文で好みをモデル化する。
• 探索空間の冗長な部分を避けるために、区間伝播を用いる支配性テストアルゴリズムを設計する。
• 区間比較と単調性制約に基づき、支配性が達成できない枝を削減する探索制御ルールを導入する。
• 区間順序付けられた値の構造を活用することで、支配性に到達できないパスのみを破棄するため、完全性を保証する。
• 形式的に、正しさと完全性を維持しながら計算オーバーヘッドを削減できることを証明する。

実験結果

リサーチクエスチョン

• RQ1 二値CP-netと同等の計算効率を維持する多値CP-netの tractable な部分クラスを定義できるか？
• RQ2 多値属性における値の単調性をどのように活用することで、支配性テストの複雑性を低減できるか？
• RQ3 完全性を失わず、支配性テストの探索空間を完全に削減するための探索制御ルールは何か？
• RQ4 表現力や正しさを損なわずに、類似する好みを誘発する値を区間に集約することは可能か？
• RQ5 提案手法は、多値CP-netにおける既存の支配性テストアルゴリズムと比較して、性能的に優れているか？

主な発見

• よりややCP-netは、二値CP-netと同等の計算複雑性を達成しており、この部分クラスにおける支配性テストが tractable であることを示している。
• 提案された探索制御ルールにより、探索空間を完全に削減しつつ、支配性結果の正しさを保証できる。
• 区間ベースの属性値の集約は、単調な好みの行動を捉え、探索する必要のある値の組み合わせの数を削減する。
• 複数の属性にまたがる複雑な条件付き好みが存在しても、完全性を維持する。
• 実験的評価により、アルゴリズムがナイーブな支配性テスト手法と比較して、探索空間のサイズを顕著に削減することが確認された。
• 推薦システムや意思決定支援ツールのような、多値属性を持つシステムにおける好みの推論の実用的解決策を提供する。