[論文レビュー] A Knowledge Compilation Map for Conditional Preference Statements-based Languages

Hélène Fargier, Jérôme Mengin+1 more|arXiv (Cornell University)|Feb 5, 2021

Constraint Satisfaction and Optimization参考文献 30被引用数 1

ひとこと要約

この論文は、条件付き選好文のための一般化加法的効用（GAIs）および選好表現言語の知識コンパイル地図を体系的に拡張し、条件付き選好文およびGAIsにおける照準、変数削除、射影などのクエリおよび変換の表現力、要約性、計算複雑性を分析している。表現力と処理可能性のバランスを取るための新たなパラメータ化された言語族を導入し、GAI1および1-LPTlinのような制限付き形式のみが多項式時間の強い・弱い楽観的射影をサポートすることを証明している。一方、より表現力の高いモデルでは固有の制限がNP困難性として顕在化している。

ABSTRACT

Conditional preference statements have been used to compactly represent preferences over combinatorial domains. They are at the core of CP-nets and their generalizations, and lexicographic preference trees. Several works have addressed the complexity of some queries (optimization, dominance in particular). We extend in this paper some of these results, and study other queries which have not been addressed so far, like equivalence, thereby contributing to a knowledge compilation map for languages based on conditional preference statements. We also introduce a new parameterised family of languages, which enables to balance expressiveness against the complexity of some queries.

研究の動機と目的

• 条件付き選好文に基づく言語および一般化加法的効用（GAIs）の包括的な知識コンパイル地図の構築を目的とする。
• CP-nets、LPツリー、GAIの変種を含むさまざまな選好言語の表現力および要約性を分析すること。
• 主要なクエリ（例：優位性、同値性）および変換（例：条件付き処理、変数削除、射影）の計算複雑性を研究すること。
• 最適化および選好推論のためのクエリおよび変換処理を多項式時間で実行可能にする言語の制限を同定すること。
• 表現力と計算複雑性のトレードオフを制御できる新たなパラメータ化された言語族の導入

提案手法

• 代替案の全順序を用いた組合せ的ドメインと、選好言語を比較するための形式的フレームワークを提案する。
• クエリ複雑性（最適化、優位性、同値性）および変換複雑性（条件付き処理、変数削除、射影）の体系的分析を実施する。
• 命題論理と部分的インスタンス化を用いて、条件付き選好文をコンパクトに表現・推論する。
• 知識コンパイルの原則を適用：選好モデルをクエリ応答を高速化するより効率的な表現にコンパイルする。
• 形式的証明と反例を用いて、NP困難性およびPSPACE困難性を含む複雑性の上限を確立する。
• 依存深度をパラメータとする、表現力と処理可能性のトレードオフを制御する新たな言語族を導入する。

実験結果

リサーチクエスチョン

• RQ1 どの選好言語が処理可能な同値性チェックをサポートし、どのような構造的条件下でそうなるか？
• RQ2 さまざまな選好言語において、条件付き処理および変数削除が多項式時間で計算可能かどうか、その制限は何か？
• RQ3 CP-nets、LPツリー、GAIsにおける強い・弱い楽観的射影の複雑性は何か？また、どのような条件下で効率的に計算可能か？
• RQ4 1-LPTlin や GAI1 などの言語制限が、選好推論タスクの処理可能性に与える影響は何か？
• RQ5 構造的制約が、選好モデルの表現力および要約性に与える影響は何か？

主な発見

• GAI1および1-LPTlinは、すべての4つの射影（強い・弱い楽観的、上界・下界）を多項式時間で計算可能であるが、より表現力の高い変種ではそうではない。
• GAIおよびGAIk（k > 1）では条件付き処理が処理可能であるが、強い・弱い楽観的射影はP = NPでない限りNP困難である。
• 同値性チェックが処理可能となるのは、依存木や構造的条件を伴うグラフといった標準形を強制する言語に限る。
• CP-netの上界射影は、1-CPでは常に表現可能とは限らない。これは言語の変換に対する閉包性に内在する制限を示している。
• 非巡回CP-netsでは、弱い・強い楽観的射影が1-CPで表現可能なトレードオフを含まないことがある。これは、たとえ単純な射影であっても言語の表現力を超えうることを示している。
• 本論文では、条件付き処理が処理可能であるが、支配されない代替案の抽出がNP困難である場合、強い楽観的射影は多項式時間で計算不可能である（P = NPでない限り）ことを証明しており、重要な複雑性の境界を確立している。