[논문 리뷰] Lattice compatible operators for fuzzy logic

Daniel J. Greenhoe|arXiv (Cornell University)|2014. 09. 15.

Advanced Algebra and Logic인용 수 1

한 줄 요약

이 논문은 흐린 부분집합 논리가 분배법칙, 배타의 원리, 항등성과 같은 부울 성질을 동시에 만족할 수 없다는 오랜 믿음에 도전한다. 만족도와 결합 연산자가 점별 평가된다는 가정을 완화함으로써, 모든 부울 성질을 갖는 비자명한 흐린 논리 체계를 구성할 수 있음을 보여주며, 특히 항등성 조건 하에서도 (min, max)가 유일한 (만족도, 결합) 쌍이 아님을 입증한다.

ABSTRACT

Constructing a fuzzy subset logic L with Boolean properties is notoriously difficult because under a handful of reasonable conditions, we have the following three debilitating constraints: (1) Bellman and Giertz in 1973 showed that if L is distributive, then it must be idempotent. (2) Dubois and Padre in 1980 showed that if L has the excluded middle or the non-contradiction property or both, then it must be non-idempotent. (3) Bellman and Giertz also demonstrated in 1973 that even if L is idempotent, then the only choice available for the (meet,join) logic operator pair is the (min,max) operator pair. Thus it would seem impossible to construct a non-trivial fuzzy subset logic with Boolean properties. However, this paper examines these three results in detail, and shows that hidden in the hypotheses of the three is the assumption that the operator pair (meet,join) is pointwise evaluated. It is further demonstrated that removing this constraint yields the following results: (A) It is indeed possible to construct fuzzy subset logics that have all the Boolean properties, including that of idempotency, non-contradiction, excluded middle, and distributivity. (B) Even if idempotency holds, (min,max) is not the only choice for (meet,join).

연구 동기 및 목표

• 흐린 부분집합 논리가 분배법칙, 배타의 원리, 비모순성과 같은 핵심 부울 성질을 동시에 만족할 수 없다는 오랜 역설을 해결하기 위해.
• 이전 결과에서 암묵적으로 가정된, 만족도 및 결합 연산자가 점별 평가되어야 한다는 전제를 분석하여, 이 전제가 논리적 구조를 제한한다는 것을 밝히기 위해.
• 이 전제를 완화함으로써 항등성 및 분배법칙을 포함한 모든 부울 성질을 갖는 흐린 논리를 구성할 수 있음을 보여주기 위해.
• 항등성 조건이 유지되더라도 (min, max)가 (만족도, 결합) 쌍으로서 유일한 가능성인지 여부를 밝히기 위해.
• 더 풍부한 논리적 구조를 지원하면서도 바람직한 대수적 성질을 유지하는 새로운 흐린 논리 프레임워크를 제공하기 위해.

제안 방법

• Bellman과 Giertz(1973) 및 Dubois와 Padé(1980)의 기초적 가정을 분석하여, 특히 만족도 및 결합 연산자의 점별 평가에 의존하는 바를 규명하기 위해.
• 만족도 및 결합 연산자에 대한 점별 평가가 아닌 비점별 평가 프레임워크를 도입하여, 흐린 부분집합에 대한 더 유연하고 구조화된 논리 연산을 가능하게 하기 위해.
• 연산자가 점별 계산을 요구하지 않는 랏티스 구조를 기반으로 정의된 흐린 부분집합 논리를 구성하여, 분배법칙과 부울 항등식의 유지 가능성을 확보하기 위해.
• 이 새로운 프레임워크 하에서 항등성, 분배법칙, 배타의 원리가 함께 존재하되 비자명하게 유지되는 것을 입증하기 위해.
• 점별 평가를 초월한 연산자 의미론을 재정의함으로써 모든 부울 성질을 만족하는 흐린 논리의 형식적 대수적 구성법을 제공하기 위해.
• 랍티스 이론을 사용하여 새로운 연산자 의미론을 형식화하고, 그 결과로 도출된 논리 체계가 일관되고 비자명함을 증명하기 위해.

실험 결과

연구 질문

• RQ1 분배법칙, 배타의 원리, 비모순성 등 모든 부울 성질을 만족하면서도 비자명하게 유지되는 흐린 부분집합 논리를 구성할 수 있는가?
• RQ2 점별 평가가 비자명한 부울 유사 흐린 논리의 존재를 제한하는 데 어떤 역할을 하는가?
• RQ3 항등성이 요구될 경우 (min, max)는 (만족도, 결합) 쌍으로서 유일한 가능성인가, 아니면 가정을 완화하면 다른 쌍도 가능한가?
• RQ4 어떻게 하면 랏티스 호환성 연산자를 정의하여 흐린 논리에서 분배법칙과 부울 항등식을 유지할 수 있는가?
• RQ5 어떤 조건에서 흐린 논리는 항등성과 분배법칙을 모두 갖는 동시에 고전 논리로 축소되지 않는가?

주요 결과

• 분배법칙, 배타의 원리, 비모순성, 항등성 등 모든 부울 성질을 만족하는 비자명한 흐린 부분집합 논리를 구성하는 것이 가능하다.
• 핵심 통찰은 Bellman와 Giertz(1973) 및 Dubois와 Padé(1980)의 불가능성 결과가 만족도 및 결합 연산자의 점별 평가 가정에 의존한다는 것이다.
• 점별 평가 제약 조건을 제거함으로써, 항등성 조건 하에서도 (min, max)가 (만족도, 결합) 쌍으로서 유일한 가능성은 아님을 입증한다.
• 새로운 프레임워크는 랏티스 호환성을 유지하면서도 더 풍부한 연산자 구조를 가능하게 하여 부울 행동을 유지한다.
• 연산자가 점별이 아니라 랏티스 구조 기반으로 정의될 경우, 이전의 불가능성 정리가 적용되지 않음을 보여준다.
• 논문은 이러한 논리의 형식적 구성법을 제공하며, 새로운 의미론 프레임워크 내에서 일관성과 비자명성을 증명한다.