[논문 리뷰] Attribute Dependencies for Data with Grades

Radim Bělohlávek, Vilém Vychodil|arXiv (Cornell University)|2014. 02. 10.

Rough Sets and Fuzzy Logic참고 문헌 40인용 수 6

한 줄 요약

이 논문은 등급(퍼지) 속성과 유사성 관계를 갖는 데이터에서 속성 의존성에 대한 논리적 프레임워크를 제안하며, 수학적 퍼지 논리학을 사용해 고전적 의존성을 일반화한다. 등급을 0과 1 사이의 진리도로 간주함으로써, 등급화된 유효성, 함의 및 폐쇄 연산을 가능하게 하여, 비체계적인 퍼지 의존성 처리 방식에 대한 개념적으로 명확하고 논리적으로 엄밀한 대안을 제공한다.

ABSTRACT

This paper examines attribute dependencies in data that involve grades, such as a grade to which an object is red or a grade to which two objects are similar. We thus extend the classical agenda by allowing graded, or fuzzy, attributes instead of Boolean attributes in case of attribute implications, and allowing approximate match based on degrees of similarity instead of exact match in case of functional dependencies. In a sense, we move from bivalence, inherently present in the now-available theories of dependencies, to a more flexible setting that involves grades. Such a shift has far-reaching consequences. We argue that a reasonable theory of dependencies may be developed by making use of mathematical fuzzy logic. Namely, the theory of dependencies is then based on a solid logic calculus the same way the classical dependencies are based on classical logic. For instance, rather than handling degrees of similarity in an ad hoc manner, we consistently treat them as truth values, the same way as true (match) and false (mismatch) are treated in classical theories. In addition, several notions intuitively embraced in the presence of grades, such as a degree of validity of a particular dependence or a degree of entailment, naturally emerge and receive a conceptually clean treatment in the presented approach. In the paper, we discuss motivations, provide basic notions of syntax and semantics, and develop basic results which include entailment of dependencies, associated closure structures, a logic of dependencies with two versions of completeness theorem, results and algorithms regarding complete non-redundant sets of dependencies, relationship to and a possible reductionist interface to classical dependencies, and relationship to functional dependencies over domains with similarity.

연구 동기 및 목표

• 실제 세계의 데이터에서 등급 속성과 유사성 관계를 다룰 수 있는 고전적 이분법적 속성 의존성의 한계를 해결하기 위해.
• 예를 들어 '부분적으로 녹색'이나 '중간 정도로 유사한' 등의 진리의 정도를 포함하는 데이터에 대한 의존성 이론을 논리적으로 타당하고 개념적으로 명확하게 개발하기 위해.
• 수학적 퍼지 논리학을 사용해 고전적 의존성 이론(함수적 의존성 및 속성 함의)을 다가정값 설정으로 확장하기 위해.
• 유효성, 함의 및 폐쇄와 같은 핵심 개념을 이진값이 아닌 등급화된 방식으로 형식화하여 논리적 일관성을 유지하기 위해.
• 고전적 논리가 전통적 의존성 이론에서 수행하는 역할을 모방하는, 퍼지 데이터에 대한 추론을 위한 기초를 마련하기 위해.

제안 방법

• 등급(예: 어떤 물체가 녹색인 정도)을 래티스 순서 집합 L 내의 진리도로 표현하며, 0과 1을 경계 사례로 간주한다.
• 의존성을 {^a₁/y₁, ..., ^aₚ/yₚ} ⇒ {^b₁/z₁, ..., ^b_q/z_q} 형태의 규칙으로 형식화하며, 여기서 aᵢ, bⱼ는 등급(진리도)이다.
• 등급화된 연결사가 등호성, 교환법칙, 결합법칙 등 표준 성질을 만족하는 다가정값 논리, 특히 수학적 퍼지 논리학을 사용한다.
• 의존성의 유효성과 함의를 진리도(집합 L 내의 값)로 정의함으로써, 이진값이 아닌 등급화된 추론을 가능하게 한다.
• 함의와 중복을 유지하는 폐쇄 연산자를 퍼지 논리 추론 규칙을 사용해 개발한다.
• 의존성 논리에 대해 완전성 정리를 증명하여, 문법적 함의가 진리도 기반의 의미적 함의와 일치함을 보여준다.

실험 결과

연구 질문

• RQ1 고전적 속성 의존성 및 함수적 의존성은 어떻게 등급화된 퍼지 속성과 유사성 관계를 다룰 수 있도록 일반화될 수 있는가?
• RQ2 의존성 체계에서 등급화된 유효성과 함의를 일관적으로 다룰 수 있는 논리적 프레임워크는 무엇인가?
• RQ3 퍼지 환경에서 폐쇄 연산자와 비중복 의존성 집합은 어떻게 정의되고 계산될 수 있는가?
• RQ4 제안된 퍼지 의존성 이론과 고전적 의존성 이론(예: 암스트롱 공리계 또는 함수적 의존성) 간의 관계는 무엇인가?
• RQ5 특정 조건 하에서 퍼지 의존성 프레임워크는 고전적 의존성으로 환원되거나 해석될 수 있는가?

주요 결과

• 논문은 등급 데이터에서 속성 의존성에 대한 완전한 논리 계산법을 수학적 퍼지 논리학을 기반으로 한 형식적 체계로 확립한다.
• 등급화된 유효성과 함의는 비체계적인 방식으로 다루는 대신, L 내의 진리도로서 자연스럽게 도출되며, 개념적 명확성을 제공한다.
• 의존성 논리에 대해 완전성 정리가 증명되었으며, 문법적 함의가 진리도 기반의 의미적 함의와 일치함을 보여준다.
• 이론은 퍼지 폐쇄 연산자를 사용해 완전하고 비중복된 의존성 집합의 계산을 지원한다.
• 등급을 0과 1로 제한함으로써 고전적 의존성으로의 환원 인터페이스를 제공하여, 고전적 결과를 특수한 경우로 복원할 수 있다.
• 유사성 기반 도메인에서의 함수적 의존성을 일반화하기 위해, 유사성을 등급화된 등가로 간주함으로써, 퍼지 함수적 의존성을 가능하게 한다.