An extended Knowledge Compilation Map for Conditional Preference Statements-based and Generalized Additive Utilities-based Languages

要約

条件付きプリファレンスステートメントは、組み合わせドメインに対するプリファレンスをコンパクトに表現するために使用されてきました。
これらは、CP ネットとその一般化、および辞書編集上の優先ツリーの中核です。
いくつかの研究では、一部のクエリ (特に最適化、優位性) の複雑さに対処しています。
この論文では、これらの結果の一部を拡張し、等価性や、条件付けや変数削除などの変換など、これまで取り上げられていない他のクエリを研究し、それによって条件付き優先ステートメントに基づく言語の知識編集マップに貢献します。
また、一般化された加算ユーティリティのクエリと変換の表現力と複雑さについても研究します。

要約(オリジナル)

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, and transformations, like conditioning and variable elimination, thereby contributing to a knowledge compilation map for languages based on conditional preference statements. We also study the expressiveness and complexity of queries and transformations for generalized additive utilities.

arxiv情報

提供元, 利用サービス

arxiv.jp, Google