퍼지 부정과 함축의 새로운 특성 연구

초록

본 논문은 퍼지 결합연산(교집합·합집합)으로부터 유도된 퍼지 부정의 구조적 특성을 심층 분석하고, 이를 기반으로 (D,N)-함축의 성질을 규명한다. 특히 교환가능하고 연속인 퍼지 결합·합집합에 대해 자연 부정이 강한 부정(strong negation)임을 증명하고, 연속성·단조성 사이의 동치 관계를 제시한다. 마지막으로 이러한 부정과 합집합으로 구성된 (D,N)-함축의 완전한 표현과 연속성 조건을 제시한다.

상세 분석

논문은 먼저 퍼지 결합 C와 퍼지 합집합 D에 대해 각각 자연 부정 N_C와 N_D를 정의한다. 정의(3.1)·(3.2)에서 보듯, N_C(x)=sup{t│C(x,t)=0}이고 N_D(x)=inf{t│D(x,t)=1}이다. 이때 C와 D가 좌·우 연속(left‑continuous, right‑continuous)일 경우, 부정과 연산 사이의 핵심적인 관계식 C(x, N_C(x))=0 및 D(x, N_D(x))=1이 성립한다. 이를 바탕으로 Proposition 3.1·3.3은 부정의 단조성, 연속성, 그리고 최대·최소값 표현을 정리한다.

특히 중요한 결과는 Proposition 3.2와 Theorem 3.1에서 도출된다. 교환가능한 퍼지 결합 C에 대해 N_C가 연속이면 강한 부정(strong negation)임을 보이며, 연속성이 없을 경우 N_C는 엄격히 감소하지 않음으로써 강한 부정이 될 수 없음을 증명한다. 이와 대칭적인 결과가 퍼지 합집합 D에도 동일하게 적용된다(Prop 3.4, Thm 3.2). 즉, 연속성과 단조성은 강한 부정의 필요충분조건이며, 이는 기존 문헌에서 별도로 제시되던 여러 가정들을 하나의 통합된 프레임워크로 귀결시킨다.

다음 섹션에서는 이러한 부정들을 이용해 (D,N)-함축을 정의한다. 고전 논리의 p→q ≡ ¬p∨q를 퍼지 논리로 확장한 (D,N)-함축은 I_{D,N}(x,y)=D(N(x),y) 형태로 나타난다. 논문은 먼저 (D,N)-함축이 만족해야 할 기본 성질(중립성, 교환성, 식별성 등)을 정리하고, 부정과 합집합이 연속·강한 경우에 한해 함축이 연속적이고, 교환원리와 대우원리를 동시에 만족함을 증명한다. 또한, 부정이 강하고 합집합이 연속이면 (D,N)-함축이 모든 기존 (S,N)-함축과 (U,N)-함축을 포함하는 일반화된 형태임을 보여준다.

마지막으로 연속적인 (D,N)-함축을 완전히 기술하기 위해 부정과 합집합에 대한 약한 강화 조건을 도입한다. 구체적으로 N이 강하고 D가 좌·우 연속이며 D(x,0)=x, D(0,y)=y를 만족하면, I_{D,N}는 연속적이며, 그 역함수와의 관계를 통해 함수형식 I_{D,N}(x,y)=N^{-1}(D(N(x),y)) 로도 표현 가능함을 제시한다. 이는 기존의 잔여함축(residual implication)과는 다른 새로운 함축 클래스를 제공한다는 점에서 의미가 크다. 전체적으로 논문은 퍼지 부정과 퍼지 합집합 사이의 구조적 연계성을 명확히 함으로써 (D,N)-함축 이론을 보다 일반적이고 체계적인 틀 안에 통합한다는 학술적 기여를 한다.