[논문 리뷰] Defining Homomorphisms and Other Generalized Morphisms of Fuzzy Relations in Monoidal Fuzzy Logics by Means of BK-Products

Ladislav Kohout|arXiv (Cornell University)|2003. 10. 12.

Advanced Algebra and Logic참고 문헌 16인용 수 5

한 줄 요약

이 논문은 모나이드 퍼지 논리 내에서 관계의 호모모르피즘과 기타 일반화된 호모모르피즘을 BK-곱과 잔여화를 도입하고 활용하여 일반화한다. 의사결정적 결합성을 정의하기 위해 비결합적인 BK-곱을 사용한 관계 부등식을 수립함으로써 전방 및 후방 호환성을 정의하며, BL, 루카시에비츠, 고델, 곱 논리 등을 포함하는 통합된 프레임워크를 제공한다. 이는 잔여화 격자 구조 내에서 엄밀한 증명을 포함한다.

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-곱과 잔여화를 기반으로 한 관계 부등식에 대한 체계적인 대수적 접근을 제공한다.
• 모나이드 퍼지 논리에 의해 하나의 이론적 틀로 통합되는 다양한 퍼지 논리 체계—예를 들어, 루카시에비츠, 고델, 곱 논리—를 통합한다.
• 부등식 기준을 통해 전방 및 후방 호환성을 엄밀히 기술함으로써 이질적 시스템에서의 실용적 응용을 가능하게 한다.

제안 방법

• 비결합적 합성 연산으로서 관계의 BK-곱을 도입하여 이전의 날것 관계 합성에 대한 연구를 일반화한다.
• 잔여화 격자 내에서 관계 부등식을 통해 일반화된 호모모르피즘을 정의하며, 등식 조건 대신 순서 기반 조건으로 대체한다.
• 잔여화 연산을 사용하여 전방 및 후방 호환성에 필요한 필수 및 충분 조건을 도출한다: 각각 $ F rianglelefteq R hd (G hd S^{-1}) $ 및 $ G rianglelefteq R^{-1} hd (F hd S) $.
• 잔여화 격자의 격자 이론적 성질을 일阶논리 공식으로 변환하여, 모나이드 퍼지 논리 내에서 관계 성질의 형식적 검증을 가능하게 한다.
• 잔여화 부트스트랩 원리를 사용하여 BK-곱이 퍼지 관계 시스템 전반에서 잔여화 성질을 유지함을 증명한다.
• 이행성과 잔여화 연산의 쌍대성에 의해 관계 부등식과 일반화된 호모모르피즘 기준 간의 동치성을 수립한다.

실험 결과

연구 질문

• RQ1 모나이드 퍼지 논리 내에서 프로테로모르피즘과 호환성 관계와 같은 일반화된 호모모르피즘은 어떻게 공식적으로 정의할 수 있는가?
• RQ2 비결합적 BK-곱 하에서 퍼지 관계의 전방 및 후방 호환성은 어떤 관계 부등식으로 특징지어지는가?
• RQ3 잔여화 격자 내에서 BK-곱과 잔여화는 어떻게 BL, 루카시에비츠, 곱 논리와 같은 다양한 퍼지 논리를 통합적으로 다룰 수 있는가?
• 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-논리 논리 결과를 포함한다.
• 이 프레임워크는 루카시에비츠(_mv-대수), 고델, 곱 논리 등 다양한 퍼지 논리 체계를 하나의 잔여화 격자 기반 이론으로 통합한다.
• 격자 의미론에서 유도된 일阶논리 공식은 모나이드 퍼지 논리 내에서 퍼지 시스템의 관계 성질에 대한 형식적 검증을 가능하게 한다.