[論文レビュー] Monotonic and Nonmonotonic Preference Revision

Jan Chomicki, Joyce Song|ArXiv.org|Mar 31, 2005

Data Management and Algorithms参考文献 15被引用数 5

ひとこと要約

本稿では、関係データベースにおける単調および非単調な好みの再編集を形式的に定式化する枠組みを提案する。好みを二項関係として表現し、厳密な部分順序（SPO）などの順序公理の保存を保証する。最小変更の再編集作用素を導入することで、一意的かつ順序を保存する結果が保証され、変更のないデータの再処理を必要とせず、繰り返しの改良が可能な好みのクエリの反復的精錬を可能にする。

ABSTRACT

We study here preference revision, considering both the monotonic case where the original preferences are preserved and the nonmonotonic case where the new preferences may override the original ones. We use a relational framework in which preferences are represented using binary relations (not necessarily finite). We identify several classes of revisions that preserve order axioms, for example the axioms of strict partial or weak orders. We consider applications of our results to preference querying in relational databases.

研究の動機と目的

• ユーザーの好みが時間経過とともに変化する状況における関係データベースにおける好みの再編集を形式化すること。
• 元の好みを保持する単調な再編集と、矛盾する好みを上書きを許容する非単調な再編集を区別すること。
• 厳密な部分順序（SPO）の基本的順序公理（非反射性、非対称性、推移性）が再編集された好み関係によっても保存されることを保証すること。
• ユーザー主導の好みクエリの精錬を支援する一意的かつ最小変更の再編集プロセスを提供すること。
• 繰り返しの再編集を通じて好みのクエリを段階的に評価することにより、計算コストを低減すること。

提案手法

• 関係スキーマ内のタプルに対して二項関係として好みを表現し、論理式を用いて好みの条件を定義する。
• 単調な再編集を、元の好み関係と新しい好み関係の和集合として定義し、対称差の最小化による閉包を保証する。
• 衝突が生じた際に元の好みを撤回することが可能な非単調な上書き再編集を導入し、変更を最小限に抑えるために対称差を用いる。
• SPO公理（非反射性、非対称性、推移性）の保存を、これらの制約を満たす最小の再編集の構築によって保証する。
• 勝者選択作用素（winnow）を用いて関係インスタンスから好ましいタプルを抽出し、好みの強度が増加するにつれてクエリ結果が単調に減少することを示す。
• 各精錬が現在の結果集合に対してのみ適用されるように、繰り返しの再編集による段階的評価を提案する。

実験結果

リサーチクエスチョン

• RQ1 厳密な部分順序の公理（例：非反射性、推移性）を保存するように、好み関係をどのように再編集できるか。
• RQ2 好みの再編集における最小変更の原則とは何か。また、好みタプル間の対称差を用いて、これをどのように形式化できるか。
• RQ3 関係データベースの文脈において、単調および非単調な好みの再編集をどのように区別し、特徴づけられるか。
• RQ4 繰り返しの好みの再編集は、結果として単調に減少するクエリ結果の列を生成できるか。もしそうならば、これを効率的に計算する方法は何か。
• RQ5 CP-netsのような形式的枠組みは、提案された関係的好み再編集フレームワークに統合可能か。

主な発見

• 元の関係と新しい関係がともにSPOであり、それらの和集合が推移的である限り、好み関係の和集合による単調な再編集はSPO公理を保存する。
• 非単調な上書き再編集ですら、元の好みと新しい好みの間に矛盾があっても、一意的かつ最小変更の再編集が得られ、SPOの性質を保つことができる。
• 好みを繰り返し精錬することで得られるクエリ結果の列は、$ r_0 rianglerighteq r_1 rianglerighteq \cdots \trianglerighteq r_n $ と厳密に単調に減少する。これは、好みの強度が増すにつれて勝者選択作用素の単調性によるものである。
• 段階的評価が可能である：$ r_i = \omega_{\succ_i}(r_{i-1}) $ であるため、各再編集後に元の関係を再処理する必要がない。
• CP-netsは、推移的閉包を用いて関係的好み関係として形式化可能であり、データベースクエリ処理との統合が可能である。
• 提案された再編集作用素は一意性と最小変更を保証し、複数の再編集候補の間での追加の集約や選択の必要性を回避する。