[論文レビュー] Lack of Finite Characterizations for the Distance-based Revision

Jonathan Ben-Naim|arXiv (Cornell University)|Jun 19, 2006

Logic, Reasoning, and Knowledge参考文献 20被引用数 12

ひとこと要約

この論文は、割当値間の距離関数によって定義される距離に基づく信念修正作用素が、有限かつ全称的条項のみを用いて有限に特徴付け可能かどうかを調査する。シュレヒタの研究を拡張し、特に対称的で、ハミング距離を尊重する家族のような主要な距離作用素の族に対して、そのような正規的特徴付けが存在しないことを証明する。これは、先行研究における無限の「ループ」条件を、有限かつ全称的条件下で置き換えることはできないことを示唆している。

ABSTRACT

Lehmann, Magidor, and Schlechta developed an approach to belief revision based on distances between any two valuations. Suppose we are given such a distance D. This defines an operator |D, called a distance operator, which transforms any two sets of valuations V and W into the set V |D W of all elements of W that are closest to V. This operator |D defines naturally the revision of K by A as the set of all formulas satisfied in M(K) |D M(A) (i.e. those models of A that are closest to the models of K). This constitutes a distance-based revision operator. Lehmann et al. characterized families of them using a loop condition of arbitrarily big size. An interesting question is whether this loop condition can be replaced by a finite one. Extending the results of Schlechta, we will provide elements of negative answer. In fact, we will show that for families of distance operators, there is no "normal" characterization. Approximatively, a normal characterization contains only finite and universally quantified conditions. These results have an interest of their own for they help to understand the limits of what is possible in this area. Now, we are quite confident that this work can be continued to show similar impossibility results for distance-based revision operators, which suggests that the big loop condition cannot be simplified.

研究の動機と目的

• 距離に基づく信念修正における無限の「ループ」条件が、有限かつ全称的条項に置き換え可能かどうかを特定すること。
• シュレヒタの距離作用素に関する否定的結果を、ハミング距離を尊重する族を含むより広い族にまで拡張すること。
• 同じ不可能性の結果が、距離作用素に限らず距離に基づく修正作用素に対しても適用可能かどうかを調査すること。
• 矛盾が許容される反事後的枠組みにおける反復的信念修正への影響を検討すること。
• 距離に基づく修正の構造的制限が本質的であり、より単純な有限的特徴付けでは克服できないことを確立すること。

提案手法

• 単純さ（例えば、複雑な関数や構造を許容する）を要件としない、有限かつ全称的条項としての「正規的特徴付け」の一般化された定義を採用する。
• 割当値の集合上で定義された距離作用素の族を分析し、対称性やハミング距離との整合性といった性質に注目する。
• 特定の距離作用素の族に対して、有限かつ全称的条項では完全に特徴付けられないことを示す反例を構築する。
• 論理的および集合論的推論を用いて、任意のサイズの「ループ」条件が不可欠であり、有限の条件では置き換え不可能であることを示す。
• 距離作用素と論理式上の修正作用素との既知の対応関係を活用して、距離に基づく修正作用素への結果の適用を行う。
• 非古典論理、例えば $`\mathcal{FOUR}$ への拡張を試み、反事後的信念修正の文脈における適用可能性を評価する。

実験結果

リサーチクエスチョン

• RQ1 距離作用素の族を特徴付けるために用いられる無限の「ループ」条件を、有限かつ全称的条項に置き換えることは可能か？
• RQ2 ハミング距離を尊重する距離作用素の族は、一般化された正規性の定義のもとで正規的特徴付けを有するか？
• RQ3 距離作用素における不可能性の結果は、距離に基づく修正作用素に対しても拡張可能か？
• RQ4 これらの結果は、反事後的論理のような非古典的論理的枠組みへ一般化可能か？
• RQ5 これらの否定的結果が、良好に動作する反復的信念修正システムの設計に及ぼす影響は何か？

主な発見

• 対称的であるか、ハミング距離を尊重する距離作用素の族は、一般化された正規性の定義のもとで正規的特徴付けを有しない。
• 距離作用素の先行特徴付けにおける無限の「ループ」条件は、いかなる有限かつ全称的条項でも置き換えられない。
• 不可能性の結果は、距離に基づく修正作用素の族に対しても拡張可能であり、それらの特徴付けにも無限大の条件が必要であることを示唆する。
• これらの結果は、有限かつ全称的公理のみを用いて、良好に動作する反復的修正作用素を有限に特徴付けることは本質的に不可能であることを示唆する。
• 本研究の枠組みは、$`\mathcal{FOUR}$ のような反事後的論理への拡張を可能としており、これらの制限が非古典的状況でも継続することを示している。
• 本研究は、ループ条件が技術的アーチファクトではなく、整合的な距離に基づく修正の本質的特徴であるという強い証拠を提供する。