[論文レビュー] A study of fuzzy and many-valued logics in cellular automata

Angelo B. Mingarelli|ArXiv.org|Aug 25, 2006

Cellular Automata and Applications参考文献 13被引用数 9

ひとこと要約

本稿は、基本的細胞自動機（ECA）のルール110において、古典的ブール論理を曖昧論理および確率論理に置き換えた場合の影響を調査する。FMS（曖昧論理）およびPCA（確率論理）の下で、ECA 110は非カオス的かつ安定したダイナミクスを示し、一意で連続的な極限をとる。これは、ブール論理版とは対照的であり、ECAにおけるカオス的ダイナミクスは、非連続的な論理的構造を必要とすることが示唆される。

ABSTRACT

In this paper we provide an analytical study of the theory of multi-valued and fuzzy cellular automata where the fuzziness appears as the result of the application of an underlying multi-valued or continuous logic as opposed to standard logic as used conventionally. Using the disjunctive normal form of any one of the 255 ECA's so defined, we modify the underlying logic structure and redefine the ECA within the framework of this new logic. The idea here is to show that the evolution of space-time diagrams of ECA's under even a probabilistic logic can exhibit non-chaotic behavior. This is looked at specifically for Probabilistic Rule 110, in contrast with Boolean Rule 110 which is known to be capable of universal computation.

研究の動機と目的

• ブール論理を曖昧論理や多値論理に置き換えることで、基本的細胞自動機（ECA）のダイナミクスに与える影響を分析すること。
• 曖昧論理や確率論理の細胞自動機において、特にECAルール110に対して、カオス的空間時間図が出現するかどうかを特定すること。
• 論理的構造の不連続性がカオス的ダイナミクスを可能にする役割を調査し、連続的論理の下で観察される非カオス的結果と対比すること。
• 曖昧論理および確率論理のECAにおける非カオス的挙動が、初期値が1に近づく際のブール論理ECA 110のカオス的漸近的挙動を理解する手がかりとなるかどうかを検討すること。

提案手法

• ECAルールの選言正規形を用いて、非ブール論理、特に曖昧論理（FMS）および確率論理（PCA）の下での更新関数を再定義する。
• ボルツァーノの定理および陰関数定理を用いて、空間時間図の極限挙動における固定点の存在、連続性、一意性を分析する。
• PCA 110の場合は、対角線的進化の再帰関係から導かれる変数Lに関する立方多項式を分析し、初期値への感度を評価する。
• ニュートン反復法などの数値的手法を用いて、(0,1)における一意の実根L(a)を計算し、対角線的進化の漸近的極限を表す。
• 算術-幾何平均不等式を適用して、(0,1)における実根の一意性を証明し、感度依存性を示す可能性のある複数の根が存在しないことを排除する。
• 極限L₂⁻(a)がすべてのa ∈ (0,1)に対して連続的かつ一意的であることを示すことで、与えられた論理の下でカオス的挙動が存在しないことを拡張する。

実験結果

リサーチクエスチョン

• RQ1 ECA 110において、ブール論理を曖昧論理や確率論理に置き換えると、ブール版と同様にカオス的空間時間図が出現するか？
• RQ2 論理的構造の不連続性が細胞自動機におけるカオス的ダイナミクスを可能にする役割は何か？
• RQ3 曖昧論理および確率論理のECAの漸近的挙動は、連続的かつ一意的な極限で特徴づけられるか？これは複雑性に何を示唆するか？
• RQ4 FCA 110およびPCA 110で観察される非カオス的挙動は、多値論理の一般的特徴であるか、それとも特定のルールや論理に特有のものか？
• RQ5 曖昧論理および確率論理のECAにおける非カオス的進化は、初期値が1に近づく際のブール論理ECA 110のカオス的挙動をどの程度解明するか？

主な発見

• FCA 110において、初期値が1よりわずかに小さい場合、十分に近い初期値に対して、任意の有限時間Tにおける空間時間図は、ブール版と同一であり、値が0.5より大きいセルは黒で塗られる。
• FCA 110の対角線的進化の極限は、フィボナッチ数の線形結合の商として与えられ、安定的で非カオス的挙動を示す。
• PCA 110において、すべてのa ∈ (0,1)に対して、多項式p(L)は(0,1)に正確に1つの実根を持つ。これにより、一意で連続的な極限L₂⁻(a)が保証され、初期値への感度依存性が排除される。
• 算術-幾何平均不等式を用いた背理法により、根の一意性が証明され、与えられた係数制約下で(0,1)に複数の実根が存在すると、不等式が破られることが示された。
• 極限L₂⁻(a)は連続的微分可能かつ単調であるため、有限の初期文字列に対してPCA 110ではカオス的進化が存在しないことが示唆される。
• 本研究では、PCA 110が有限初期文字列において非カオス的であると予想するが、技術的複雑性のため完全な証明は未解決のままである。