[논문 리뷰] On Deductive Systems of AC Semantics for Rough Sets

A. Mani|arXiv (Cornell University)|2016. 10. 09.

Rough Sets and Fuzzy Logic참고 문헌 10인용 수 3

한 줄 요약

이 논문은 일반적인 흐린 집합의 추론 체계를 위한 새로운 추론 체계 프레임워크를 개발한다. 이는 근본적인 기반 구조를 갖춘 고립 집합 기반 의미론을 바탕으로 하며, 고립 집합 기반의 의미론을 통해 삼항 추론 체계가 격자 필터와 아이디얼에 의해 특징지어질 수 있음을 입증한다. 주요 결과로는 특정한 삼항 조건 하에서 주어진 필터와 LD-필터가 충분함을 보이며, 고립 집합의 원자성과 날것의 날것성 조건 하에서 의사 여집합이 정의 가능함을 증명한다.

ABSTRACT

Antichain based semantics for general rough sets were introduced recently by the present author. In her paper two different semantics, one for general rough sets and another for general approximation spaces over quasi-equivalence relations, were developed. These semantics are improved and studied further from a lateral algebraic logic perspective in this research. The main results concern the structure of the algebras and deductive systems in the context.

연구 동기 및 목표

• 일반적인 흐린 집합의 고립 집합 기반 의미론에서 추론 체계를 위한 횡적 대수 논리 프레임워크를 개발한다.
• 최소한의 구조적 가정을 가진 고립 집합 연산자 공간을 도입하여 고전적 흐린 집합 의미론을 일반화한다.
• 삼항 조건을 통해 추론 체계를 특징지며, 필터와 아이디얼이 함의에 대해 닫혀 있을 조건을 확립한다.
• 고립 집합의 철학적 원자성과 고립 집합의 절대 날것성 조건 하에서 AC-대수에서 의사 여집합이 정의 가능함을 증명한다.
• 대수 논리 도구를 통해 고립 집합 의미론의 적용 범위를 RYS 및 기타 일반적인 흐린 집합 체계로 확장한다.

제안 방법

• 집합 S, 적합한 고립 집합 G, 그리고 단조 증가하는 하한 및 상한 근사 연산자 l, u를 갖는 고립 집합 연산자 공간 ⟨S, G, l, u⟩로 정의한다.
• 하한 및 상한 근사 포함 관계를 통해 몫 집합 S/≈ 상의 기본적인 흐린 순서 ⊌를 정의한다.
• 흐린 동치 ≈ 하에서 최대 크기의 흐린 일致 집합으로서 흐린 대상을 정의하고, 그들의 부분순서 집합(poset)의 구조를 연구한다.
• 포지트 내의 최대 크기의 고립 집합에 초점을 맞춰 고립 집합 기반 의미론을 적용하며, 이들이 분배 격자 형성을 함을 보인다.
• 예를 들어 t(a,b,z) = a∧b∧z 또는 t(a,b,z) = (a∨□b)∧z와 같은 삼항 조건을 구성하여 함의에 대한 추론 닫힘을 모델링한다.
• 예를 들어 σ∨(x) = a∨x와 같은 σ-작용소를 사용하여 원소들을 주어진 필터/아이디얼로 매핑함으로써, 조건 기반 체계와 격자 이론적 구조를 연결한다.

실험 결과

연구 질문

• RQ1 일반적인 흐린 집합의 추론 체계는 고립 집합 기반 의미론을 통해 어떻게 체계적으로 형식화될 수 있는가?
• RQ2 어떤 조건에서 필터나 아이디얼이 삼항 추론 체계에 대해 충분한 닫힘 조건이 되는가?
• RQ3 어떤 고립 집합 조건 하에서 AC-대수에서 의사 여집합이 정의 가능해지는가?
• RQ4 t(a,b,z) = a∧b∧z 또는 t(a,b,z) = (a∨□b)∧z와 같은 삼항 조건은 어떻게 함의에 대해 닫힌 추론 체계를 유도하는가?
• RQ5 적절한 포지트 구성 하에서 고립 집합 격자 ACₘ(X)는 모든 유한 분배 격자를 표현할 수 있는가?

주요 결과

• 모든 포지트 X에 대해 최대 고립 집합의 부분순서 집합 ACₘ(X)는 분배 격자를 형성함을 보이며, 기본적인 대수적 구조를 확립한다.
• 모든 유한 분배 격자 L과 그의 합-기초원소들의 체인 분해에 대해, L ≅ ACₘ(X_C를 만족하는 포지트 X_C가 존재함을 보이며, 표현 가능성의 정당성을 입증한다.
• σ∨(x) = a∨x의 범위는 a로 생성된 주어진 필터이며, σ∧(x) = a∧x는 주어진 아이디얼을 생성함을 보이며, 이는 작용소와 격자 필터 간의 연결 고리를 형성한다.
• 만약 τ = {t(a,b,z) = a∧b∧z}일 때, z에서의 삼항 τ-추론 체계 H가 존재하면 H는 필터이며, 조건 작용소에 의해 닫힘 조건이 유지된다.
• τ = {t(a,b,z) = (a∨□b)∧z}일 경우, H는 z로 생성된 주어진 LD-필터이며, 조건 작용소에 의해 닫힘은 a와 t(a,b,z)가 H에 속해 있을 때 b ∈ H임을 의미한다.
• 고립 집합의 철학적 원자성과 고립 집합의 절대 날것성 조건 하에서, AC-대수에서 의사 여집합이 정의 가능하며, 이는 일관된 대수적 여집합 연산을 보장한다.