[논문 리뷰] Algebraic Semantics of Proto-Transitive Rough Sets

A. Mani|arXiv (Cornell University)|2014. 10. 02.

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

한 줄 요약

이 논문은 원시 전이성 원추적 집합(PRAX)에 대한 대수적 의미 이론을 개발하며, 원추적 대상의 특성화와 원추적 의존성의 일반화를 통해 넬슨대수 기반의 근사 의미 이론을 통합하고 클레인 대수 프레임워크를 확장한다. 이는 과립화와 지식 기하학의 형식 이론을 수립하여 원추적 근사에서의 오염 문제를 해결한다.

ABSTRACT

Rough sets over generalized transitive relations like proto-transitive ones had been initiated by the present author in the year 2012. Subsequently, approximation of proto-transitive relations by other relations was investigated and the relation with rough approximations was developed towards constructing semantics that can handle fragments of structure. It was also proved that difference of approximations induced by some approximate relations need not induce rough structures. In this research we develop different semantics of proto transitive rough sets (PRAX) after characterizing the structure of rough objects and also develop a theory of dependence for general rough sets and use it to internalize the Nelson-algebra based approximate semantics developed earlier. The theory of rough dependence initiated later by the present author is extended in the process. This monograph is reasonably self-contained and includes proofs and extensions of representation of objects that were not part of earlier papers.

연구 동기 및 목표

• 일반화된 전이성을 사용하여 원시 전이성 원추적 집합(PRAX)의 대수적 의미 이론을 형식화한다.
• 이전 연구를 확장하여 일반 원추적 집합에 적용 가능한 원추적 의존성 이론을 개발한다.
• 원추적 집합의 통합 대수적 프레임워크 내에서 넬슨대수 기반의 근사 의미 이론을 내재화한다.
• 구조적 분석을 통해 원추적 근사에서의 오염 문제를 해결한다.
• 과립과 지식 기하학적 구조의 자가 포함된 공리적 이론을 제공한다.

제안 방법

• 원시 전이성 관계와 그 근사 성질을 통해 원추적 대상을 특성화한다.
• 대수적 및 순서 이론적 방법을 사용하여 원추적 의존성 이론을 일반 원추적 집합으로 확장한다.
• 불완전하거나 불확실한 지식을 모델링하기 위해 원추적 근사의 의미 이론에 넬슨대수를 통합한다.
• 클레인대수를 사용하여 근사 관계의 대수적 구조와 그 합성 연산을 형식화한다.
• 정보 과립화를 모델링하기 위해 과립의 공리적 이론을 개발한다.
• 기하학적 및 대수적 기법을 사용하여 지식 구조와 그 오염 위험을 모델링한다.

실험 결과

연구 질문

• RQ1 원시 전이성 관계는 표준 전이성을 초월하여 원추적 집합에 대해 일관된 의미 이론을 정의하는 데 어떻게 활용될 수 있는가?
• RQ2 원추적 집합 이론에서의 근사 추론을 일반화하는 데 있어 원추적 의존성의 역할은 무엇인가?
• RQ3 널슨대수 기반의 의미 이론은 원추적 집합을 위한 대수적 프레임워크 내에서 어떻게 내재화될 수 있는가?
• RQ4 원시 전이성 관계에 의해 유도되는 근사의 차이가 일관된 원추적 구조를 유도하지 못하는 방식은 무엇인가?
• RQ5 기하학적 및 대수적 모델링을 통해 원추적 근사에서의 오염 문제는 어떻게 공식적으로 다뤄질 수 있는가?

주요 결과

• 논문은 특정 근사 관계에 의해 유도되는 근사의 차이가 반드시 원추적 구조를 유도하지는 않음을 입증하며, 기존 접근 방식의 핵심적 한계를 드러낸다.
• 원추적 의존성의 형식 이론이 일반 원추적 집합으로 확장되어 관계적 불확실성에 대한 깊이 있는 이해를 가능하게 한다.
• 클레인대수와 과립 공리의 통합을 통해 원시 전이성 원추적 집합(PRAX)이 일관된 대수적 의미 이론을 지닌다는 것이 입증된다.
• PRAX 프레임워크 내에서 넬슨대수 기반의 의미 이론이 내재화되어 근사 추론을 위한 견고한 기반을 제공한다.
• 원추적 근사에서의 오염 문제는 지식 구조의 기하학적 및 대수적 모델링을 통해 공식적으로 분석되고 완화된다.
• 이 논문은 과립화와 근사 관계에 관한 이전 결과의 자가 포함된 완전한 증명을 제공하며, 이전에 발표되지 않은 표현 정리까지 포함한다.