[論文レビュー] Generalized Bosbach States

George Georgescu, Claudia Mureșan|arXiv (Cornell University)|Jul 15, 2010

Advanced Algebra and Logic参考文献 20被引用数 11

ひとこと要約

この論文は、任意の畳み込み半群を値域とする畳み込み半群上の一般化されたボーシャック状態を導入し、[0,1] に値をとる古典的ボーシャック状態の概念を拡張する。2種類の異なるタイプ—タイプ I およびタイプ II—を定義し、それらの代数的性質を証明し、状態準同型およびリエーチャン状態との関係を確立し、順序を保存する状態と類似関係による距離的完備化を通じて、非古典的かつ多値論理における確率的意味論の枠組みを構築する。

ABSTRACT

Bosbach states represent a way of probabilisticly evaluating the formulas from various (commutative or non-commutative) many-valued logics. They are defined on the algebras corresponding to these logics with values in $[0,1]$. Starting from the observation that in the definition of Bosbach states there intervenes the standard MV-algebra structure of $[0,1]$, in this paper we introduce Bosbach states defined on residuated lattices with values in residuated lattices. We are led to two types of generalized Bosbach states, with distinct behaviours. The properties of generalized Bosbach states, proven in the paper, may serve as an algebraic foundation for developping some probabilistic many-valued logics. {\bf Keywords}: Bosbach states, residuated lattices, MV-algebras, $s$-Cauchy completion, metric completion. {\bf MSC 2010}: Primary 06F35. Secondary 06D35.

研究の動機と目的

• 元々 [0,1] に値をとる古典的ボーシャック状態の概念を、任意の畳み込み半群を値域とする畳み込み半群へ一般化すること。
• 元のボーシャック状態の公理を再定式化した等価な再表現に基づき、2種類の異なる一般化ボーシャック状態—タイプ I およびタイプ II—を定義し、それらを分析すること。
• 順序を保存する状態、標準的フィルター、商畳み込み半群を考察することで、確率的多値論理の代数的基盤を構築すること。
• リエーチャン状態の概念を一般化された設定に拡張し、一般化ボーシャック状態との関係を調査すること。
• 類似関係による収束と s-コーシー完備化を通じて、MV代数の完備化をより広い畳み込み半群の文脈に一般化する距離的完備化の枠組みを構築すること。

提案手法

• 古典的ボーシャック状態の公理を、[0,1] の標準的 MV代数構造を用いて再定式化し、[0,1] を任意の畳み込み半群 L に置き換えることで、一般化ボーシャック状態を定義する。
• 2種類の一般化ボーシャック状態を定義する：タイプ I は順序を保存するとは限らず、タイプ II は本質的に順序を保存する。
• 順序を保存するタイプ I 状態とタイプ II 状態が、畳み込みと否定に関して異なるが関連する代数的性質を満たすことを証明する。
• 一般化ボーシャック状態に関連する標準的フィルターを構成し、対応する商畳み込み半群を分析し、状態準同型理論と結びつける。
• 一般化リエーチャン状態を導入し、特に順序を保存する状態においては、一般化ボーシャック状態と同等であることを確立する。
• 一般化ボーシャック状態に3種類の連続性（類似に基づく）を定義し、各順序を保存するタイプ I 状態が、s-コーシー完備化を可能にする標準的類似関係を誘導することを示す。

実験結果

リサーチクエスチョン

• RQ1 元々 [0,1] を値域とする代数上で定義された古典的ボーシャック状態の概念を、任意の畳み込み半群を値域とする畳み込み半群へどのように一般化できるか？
• RQ2 タイプ I およびタイプ II の一般化ボーシャック状態の間には、代数的および順序理論的性質にどのような相違があり、なぜ順序保存性が根本的な区別基準となるのか？
• RQ3 一般化リエーチャン状態と一般化ボーシャック状態はどの程度一致するか？また、一般化状態の標準的フィルターおよび商代数とどのように関係するか？
• RQ4 MV代数で知られている距離的完備化の概念を、類似関係による収束と s-コーシー完備化を用いて、任意の畳み込み半群へ一般化できるか？
• RQ5 順序を保存するタイプ I 状態によって誘導される標準的類似関係が、畳み込み半群の一般化された距離的完備化を構築する上で果たす役割は何か？

主な発見

• タイプ I の一般化ボーシャック状態は順序を保存するとは限らず、タイプ II 状態は本質的に順序を保存するため、それらの振る舞いには根本的な非対称性がある。
• 順序を保存するタイプ I 状態とタイプ II 状態は、畳み込み、否定、および二重剰余演算子を含む、異なるが互換性のある代数的公理によって特徴づけられる。
• 一般化ボーシャック状態に関連する標準的フィルターは適切なフィルターであり、対応する商畳み込み半群は状態と整合性を持つ明確な代数的構造を備えている。
• 順序を保存する条件下では、一般化リエーチャン状態は一般化ボーシャック状態のタイプ II と同等であることが示され、確率的意味論と代数的意味論の橋渡しを果たす。
• 各順序を保存するタイプ I 状態は、標準的類似関係を誘導し、MV代数の距離的完備化を一般化する s-コーシー完備化の構築を可能にする。
• 論文は、述語論理における論理的確率がリンドンバウム＝タルスキ代数上で順序を保存するタイプ I 状態を誘導することを示し、非古典的論理における確率的意味論の枠組みを確立した。