[论文解读] Fuzzy Chemical Abstract Machines

Apostolos Syropoulos|ArXiv.org|Mar 20, 2009

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

一句话总结

本文提出了模糊化学抽象机（Fuchams），一种新颖的计算模型，通过引入模糊集合理论扩展了化学抽象机（Cham）的类比，将过程建模为相似而非完全相同。通过定义模糊分子、模糊反应规则和模糊标记转换系统，该框架实现了π-演算的模糊扩展，展示了如何将模糊性正式整合到并发理论中，以建模分布式系统中模糊或近似的交互。

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）以形式化建模状态转换，其中转换由模糊反应规则控制。
• 将Fuchams构建为Chams的推广，通过用具有隶属度的模糊溶液替代清晰的分子多重集来实现。
• 通过为反应规则关联可塑度λ来实现反应规则的模糊化，要求参与名称和项的相似度满足阈值条件后反应才能发生。
• 定义模糊结构同 congruence（同余）关系，设定可塑度阈值λ，其中α-转换和作用域扩展仅在名称相似度超过λ时有效。
• 通过在标准π-演算规则（如复制、限制、反应）中引入对名称相似度和可塑度的模糊约束，构建模糊π-演算。

实验结果

研究问题

• 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 $ 时成立，将名称相似度与作用域等价性联系起来。
• 通过在标准π-演算规则中引入模糊约束，成功构建了一个简易的模糊π-演算，证明了过程演算模糊化的可行性。
• 该框架支持对并发系统中模糊或近似交互的建模，为发展模糊编程语言和模糊计算架构提供了可行路径。