[論文レビュー] Fuzzy Chemical Abstract Machines

Apostolos Syropoulos|ArXiv.org|Mar 20, 2009

Logic, Reasoning, and Knowledge参考文献 18被引用数 6

ひとこと要約

この論文は、曖昧な集合論を組み合わせることで、同一ではなく類似したプロセスをモデル化する、Fuzzy Chemical Abstract Machines (Fuchams) と呼ばれる新しい計算モデルを紹介する。Fuchams は、曖昧な分子、曖昧な反応規則、曖昧なラベル付き遷移系を定義することで、π計算に対する曖昧な拡張を可能にする。これは、分散システムにおける曖昧または近似的な相互作用を形式的に統合するための、コンcurrency 理論への曖昧性の統合の可能性を示している。

ABSTRACT

Fuzzy set theory opens new vistas in computability theory and here I show this by defining a new computational metaphor--the fuzzy chemical metaphor. This metaphor is an extension of the chemical metaphor. In particular, I introduce the idea of a state of a system as a solution of fuzzy molecules, that is molecules that are not just different but rather similar, that react according to a set of fuzzy reaction rules. These notions become precise by introducing fuzzy labeled transition systems. Solutions of fuzzy molecules and fuzzy reaction rules are used to define the general notion of a fuzzy chemical abstract machine, which is a {\em realization} of the fuzzy chemical metaphor. Based on the idea that these machines can be used to describe the operational semantics of process calculi and algebras that include fuzziness as a fundamental property, I present a toy calculus that is a fuzzy equivalent of the $π$-calculus.

研究の動機と目的

• 従来の化学的抽象機械が同一のプロセスを仮定するという制限を克服し、同一ではなく類似したプロセスをモデル化すること。
• 曖昧集合論を用いて計算の化学的比喩を曖昧な領域へ拡張し、プロセス間の類似度の度合いを許容すること。
• 曖昧ラベル付き遷移系を通じて、曖昧な相互作用とシステムの進化をサポートする計算モデル—Fuchams—を形式的に定式化すること。
• Fucham モデルに基づいて、トロイの曖昧な π計算を構築することで、プロセス計算の曖昧化の可能性を実証すること。
• 曖昧な並列計算に基づく、将来の曖昧プログラミング言語や曖昧コンピューティングアーキテクチャの開発の基盤を築くこと。

提案手法

• 曖昧集合における所属度を有する要素として、類似したプロセスを表す曖昧な分子を定義する。
• 遷移が曖昧反応規則によって制御される状態遷移を形式的にモデル化するため、曖昧ラベル付き遷移系 (FLTS) を導入する。
• 分子の集合が曖昧な溶液に置き換えられたクリップスな多重集合から一般化された Chams の一般化として、Fuchams を構築する。
• 反応規則に妥当性度 λ を関連付けることで、反応規則を曖昧化し、反応が発生するためには名前や項の類似度が閾値条件を満たす必要があることを要請する。
• 類似度の閾値 λ を用いた曖昧構造的合同を定義し、α変換やスコープ拡張が、名前の類似度が λ を超える場合にのみ有効であることを規定する。
• 標準的な π 計算の規則（例：複製、制限、反応）を曖昧な制約（名前の類似度、妥当性度）に適合させることで、曖昧な π 計算を構築する。

実験結果

リサーチクエスチョン

• RQ1 同一ではなく類似したプロセスを扱えるように、化学的抽象機械モデルをどのように拡張できるか？
• RQ2 並列システムにおけるプロセス間の曖昧な相互作用をモデル化するための形式的枠組みは何か？
• RQ3 曖昧集合論を π 計算のようなプロセス計算の操作的意味論にどのように統合できるか？
• RQ4 曖昧反応規則が適用可能な条件は何か？また、妥当性度はどのように形式的に定義できるか？
• RQ5 名前の類似度とプロセスの類似度を許容するが、主要な操作的性質を保つ曖昧な π 計算を構築できるか？

主な発見

• Fuchams は、曖昧ラベル付き遷移系を用いて、曖昧で類似したプロセスを有するシステムのモデル化を可能にする Chams の一般化として形式的に定義されている。
• 妥当性度 λ を有する曖昧反応規則が定義されており、反応が可能となるのは、関係する名前の類似度が λ 以上に達している場合に限る。
• 反応規則 $ x(y).p, \bar{x}\langle z\rangle.q \xrightarrow{\lambda} p[z/y], q $ は、$ \delta_\pi(x) = \delta_\pi(\bar{x}) \geq \lambda $ かつ $ \delta_\pi(z) - \delta_\pi(y) \leq \lambda $ を満たす場合にのみ実行可能であり、類似度に基づくマッチングを保証する。
• 曖昧構造的合同 $ \mathrm{new}\,x\,\mathrm{new}\,y\,P \equiv_\lambda \mathrm{new}\,y\,\mathrm{new}\,x\,P $ は、$ \min\{\delta_\pi(x), \delta_\pi(y)\} \geq \lambda $ のとき成立し、名前の類似度とスコープの同値性を結びつける。
• 標準的な π 計算の規則に曖昧制約を適用することで、トロイの曖昧な π 計算が成功裏に構築され、プロセス計算の曖昧化の可能性が実証された。
• このフレームワークは、並列システムにおける曖昧または近似的な相互作用のモデル化をサポートしており、曖昧プログラミング言語や曖昧コンピューティングアーキテクチャへの道筋を示唆している。