Representing states in iterated belief revision

要約

信念の修正を繰り返すには、現在の信念に関する情報が必要です。
この情報は、ドキスタティック状態と呼ばれる数学的構造によって表されます。
ほとんどの文献は、毒舌状態をどのように修正するかに焦点を当てており、それが指数関数的に成長する可能性があることを無視しています。
この問題は、doxastic 状態を保存する最も一般的な方法について研究されています。
4 つのメソッドはすべて、あらゆる doxastic 状態を保存できますが、一部のメソッドは他のメソッドよりも少ないスペースで保存できます。
特に、明示的な表現（現在の信念の列挙）はスペースの無駄が多くなります。
レベル表現 (一連の命題式) と自然表現 (自然な修正の履歴) は、それよりもコンパクトです。
辞書編集表現 (辞書編集の歴史) は、それらよりもさらにコンパクトです。

要約(オリジナル)

Iterated belief revision requires information about the current beliefs. This information is represented by mathematical structures called doxastic states. Most literature concentrates on how to revise a doxastic state and neglects that it may exponentially grow. This problem is studied for the most common ways of storing a doxastic state. All four methods are able to store every doxastic state, but some do it in less space than others. In particular, the explicit representation (an enumeration of the current beliefs) is the more wasteful on space. The level representation (a sequence of propositional formulae) and the natural representation (a history of natural revisions) are more compact than it. The lexicographic representation (a history of lexicographic revision) is even more compact than them.

arxiv情報

提供元, 利用サービス

arxiv.jp, Google