[논문 리뷰] Method of Additional Structures on the Objects of a Monoidal Kleisli Category as a Background for Information Transformers Theory

P.V. Golubtsov, S. S. Moskaliuk|ArXiv.org|2002. 11. 27.

Rough Sets and Fuzzy Logic참고 문헌 21인용 수 4

한 줄 요약

이 논문은 통계적, 다가치적, 퍼지적 정보 변환기(ITs)를 균일하게 모델링하기 위해 추가 구조를 가진 모나드 클라이슬리 범주를 사용하는 범주론적 프레임워크를 제안한다. 결정론적 ITs의 경우 유한한 곱을 갖는 모나드 범주로 ITs를 공리화함으로써, 병렬 및 순차적 합성, 곱, 불확실성 처리를 통합적으로 다룰 수 있으며, 베이지안 추론 및 퍼지 논리 시스템에의 적용 가능성을 보여준다.

ABSTRACT

Category theory provides a compact method of encoding mathematical structures in a uniform way, thereby enabling the use of general theorems on, for example, equivalence and universal constructions. In this article we develop the method of additional structures on the objects of a monoidal Kleisli category. It is proposed to consider any uniform class of information transformers (ITs) as a family of morphisms of a category that satisfy certain set of axioms. This makes it possible to study in a uniform way different types of ITs, e.g., statistical, multivalued, and fuzzy ITs. Proposed axioms define a category of ITs as a monoidal category that contains a subcategory (of deterministic ITs) with finite products. Besides, it is shown that many categories of ITs can be constructed as Kleisli categories with additional structures.

연구 동기 및 목표

• 통계적, 다가치적, 퍼지적 ITs를 포함한 다양한 정보 변환기를 균일한 수학적 프레임워크로 모델링하는 것.
• ITs를 순차적 및 병렬 합성을 지원하는 모나드 범주로 공리화하는 것.
• ITs의 범주가 불확실성을 체계적으로 다룰 수 있도록 추가 구조를 가진 클라이슬리 범주로 구성될 수 있음을 보여주는 것.
• 결정론적 ITs가 유한한 곱을 갖는 부분범주를 이룬다는 것을 보장함으로써 핵심 범주론적 성질을 유지하는 것.
• 구체적인 범주 구성에 기반해 이 프레임워크가 베이지안 추론 및 퍼지 논리에 어떻게 적용될 수 있는지 보여주는 것.

제안 방법

• 합성, 항등원, 결합법칙을 만족하는 범주에서 ITs를 사상으로 정의한다.
• ITs의 병렬 합성을 모델링하기 위해 ITs의 범주에 모나드 구조를 도입한다.
• 불확실성을 캡처하는 모나드(예: 퍼지 또는 확률적 사상) 위의 클라이슬리 범주로 IT 범주를 구성한다.
• 범주론적 곱을 사용해 사상의 곱을 정의하며, 식 (2)에 의해 합성과의 호환성을 확보한다.
• 최소 및 곱 t-노름을 사용해 퍼지 ITs의 합성 및 곱 연산을 명시함으로써 FMT 및 FPT 범주를 도출한다.
• 이미지 점에 대해 소속도를 1로, 그 외에는 0으로 할당하는 표준 사상에 의해 결정론적 ITs를 퍼지 ITs에 통합한다.

실험 결과

연구 질문

• RQ1 통계적, 다가치적, 퍼지적 정보 변환기를 하나의 범주론적 프레임워크 내에서 어떻게 균일하게 모델링할 수 있는가?
• RQ2 순차적 및 병렬 합성 하에서 ITs의 행동을 포괄하기 위해 필요한 최소한의 범주론적 구조(예: 모나드, 곱)는 무엇인가?
• RQ3 결정론적 ITs의 부분범주는 일반적인 ITs의 범주에 자연스럽게 통합될 수 있으며, 그 범주론적 성질이 유지되는가?
• RQ4 t-노름의 선택(최소 vs. 곱)이 퍼지 ITs의 범주 구조와 성질에 어떤 영향을 미치는가?
• RQ5 이 범주론적 프레임워크 내에서 비확률적 ITs를 위한 베이지안 추론 및 조건부 분포는 어느 정도 일반화될 수 있는가?

주요 결과

• 정보 변환기의 범주는 결정론적 ITs가 유한한 곱을 갖는 부분범주를 이루는 모나드 범주로 공리화된다.
• 퍼지 ITs는 정규화된 퍼지 부분집합의 모나드 위의 클라이슬리 범주로 모델링되며, 합성은 sup-min 또는 sup-product 연산으로 정의된다.
• 최소 t-노름을 사용하는 FMT 범주와 곱 t-노름을 사용하는 FPT 범주는 곱과 모나드 구조를 갖는 범주의 공리들을 만족함이 입증된다.
• 결정론적 사상은 이미지에 대해 소속도를 1로, 그 외에는 0으로 할당하는 표준 구성에 의해 퍼지 ITs에 통합되며, 이는 합성의 유지성을 보장한다.
• 퍼지 ITs의 범주에는 조건부 분포가 존재하여, 비확률적 환경에서도 베이지안 원리의 적용이 가능하다.
• 소속도 함수 포함 관계를 바탕으로 강한 및 약한 두 가지 정보량 관계가 정의되며, 이는 다가치 ITs의 정확도 관계와 유사하다.