[论文解读] Defining Homomorphisms and Other Generalized Morphisms of Fuzzy Relations in Monoidal Fuzzy Logics by Means of BK-Products

Ladislav Kohout|arXiv (Cornell University)|Oct 12, 2003

Advanced Algebra and Logic参考文献 16被引用 5

一句话总结

本文通过引入并利用关系的BK积与剩余运算，在幺半群模糊逻辑中推广了同态及其他广义同态，针对模糊关系。通过伪结合性BK积建立关系不等式，定义了前向与后向兼容性，提供了一个统一框架，涵盖BL、Łukasiewicz、Gödel与乘积逻辑，并在剩余格结构中给出严谨证明。

ABSTRACT

The present paper extends generalized morphisms of relations into the realm of Monoidal Fuzzy Logics by first proving and then using relational inequalities over pseudo-associative BK-products (compositions) of relations in these logics. In 1977 Bandler and Kohout introduced generalized homomorphism, proteromorphism, amphimorphism, forward and backward compatibility of relations, and non-associative and pseudo-associative products (compositions) of relations into crisp (non-fuzzy Boolean) theory of relations. This was generalized later by Kohout to relations based on fuzzy Basic Logic systems (BL) of Hájek and also for relational systems based on left-continuous t-norms. The present paper is based on monoidal logics, hence it subsumes as special cases the theories of generalized morphisms (etc.) based on the following systems of logics: BL systems (which include the well known Goedel, product logic systems; Lukasiewicz logic and its extension to MV-algebras related to quantum logics), intuitionistic logics and linear logics.

研究动机与目标

• 将广义同态理论从基本逻辑（BL）与左连续t-范数扩展至更广泛的幺半群模糊逻辑类别，以涵盖更广范围的模糊逻辑系统。
• 通过非结合性复合运算，建立在模糊关系系统中定义广义同态（如前同态、兼容性）的形式化框架。
• 基于BK积与剩余运算，在剩余格中系统地处理关系不等式，提供代数化处理方法。
• 通过幺半群模糊逻辑，将多种模糊逻辑系统——如Łukasiewicz、Gödel与乘积逻辑——统一于单一理论体系之下。
• 通过不等式准则严格刻画模糊关系的前向与后向兼容性，实现对异构系统中实际应用的支持。

提出的方法

• 引入关系的BK积作为非结合性复合运算，推广了早期关于清晰与模糊关系复合的研究成果。
• 在剩余格中应用剩余运算，通过关系不等式定义广义同态，以基于序的关系条件替代等式约束。
• 利用剩余运算推导前向与后向兼容性的必要与充分条件：分别为 $ F rianglelefteq R hd (G hd S^{-1}) $ 与 $ G rianglelefteq R^{-1} hd (F hd S) $。
• 将剩余格的格论性质转化为一阶逻辑公式，使在幺半群模糊逻辑中实现关系性质的正式验证成为可能。
• 运用剩余运算的自举原理，证明BK积在模糊关系系统中保持剩余性质。
• 通过剩余运算的传递性与对偶性，建立关系不等式与广义同态准则之间的等价关系。

实验结果

研究问题

• RQ1 在幺半群模糊逻辑中，如何形式化定义广义同态（如前同态、兼容性关系）？
• RQ2 在非结合性BK积下，哪些关系不等式刻画了模糊关系的前向与后向兼容性？
• RQ3 BK积与剩余运算在剩余格中如何实现对BL、Łukasiewicz与乘积逻辑等多样化模糊逻辑的统一处理？
• RQ4 剩余运算在将清晰关系兼容性推广至模糊设定中起到何种作用？
• RQ5 如何利用幺半群模糊逻辑的代数结构，推导出一致且可推广的同态有效性准则？

主要发现

• 本文证明了：关系 $ F, G $ 关于 $ R $ 与 $ S $ 的前向兼容性成立，当且仅当 $ F rianglelefteq R hd (G hd S^{-1}) $，为此类模糊兼容性提供了正式判据。
• 后向兼容性由 $ F rianglelefteq (R hd G) hd S^{-1} $ 刻画，揭示了前向与后向兼容性条件之间的对偶性。
• 建立了剩余运算自举原理，确保BK积在幺半群模糊代数中保持剩余性质，从而支持一致的关系推理。
• 基于BK积的关系不等式将清晰关系兼容性推广至模糊设定，涵盖BL与左连续t-范数逻辑中的先前结果。
• 该框架在单一基于剩余格的理论下统一了多种模糊逻辑系统，包括Łukasiewicz（MV-代数）、Gödel与乘积逻辑。
• 从格语义出发，推导出幺半群模糊逻辑的一阶逻辑公式，使模糊系统中关系性质的正式验证成为可能。