[논문 리뷰] Algebraic operators for querying pattern bases

Rokia Missaoui, Léonard Kwuida외 2명|ArXiv.org|2009. 02. 24.

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

한 줄 요약

이 논문은 형식개념분석(FCA)을 사용하여 패턴 기반을 쿼리하고 조작하기 위한 형식적 대수적 프레임워크를 제안한다. 관계대수학과 유사한 연산—예: 선택, 투영, 조인, 근사—을 개념 격자에서 모델링한다. 주요 기여는 격자 내에서 간격 기반의 경계를 통해 '가능성 있는' 개념을 근사하는 체계적인 방법을 제공함으로써, 데이터나 사용자 요구사항 변화에 대응하는 강력한 패턴 관리가 가능하게 한다.

ABSTRACT

The objectives of this research work which is intimately related to pattern discovery and management are threefold: (i) handle the problem of pattern manipulation by defining operations on patterns, (ii) study the problem of enriching and updating a pattern set (e.g., concepts, rules) when changes occur in the user's needs and the input data (e.g., object/attribute insertion or elimination, taxonomy utilization), and (iii) approximate a "presumed" concept using a related pattern space so that patterns can augment data with knowledge. To conduct our work, we use formal concept analysis (FCA) as a framework for pattern discovery and management and we take a joint database-FCA perspective by defining operators similar in spirit to relational algebra operators, investigating approximation in concept lattices and exploiting existing work related to operations on contexts and lattices to formalize such operators.

연구 동기 및 목표

• 대규모로 압도적인 양의 추출된 패턴을 관리하는 과제를 해결하기 위해, 대수적 연산을 통해 필요에 따라 데이터 마이닝을 수행할 수 있도록 한다.
• 데이터나 사용자 요구사항 변화에 대응하여 패턴 조작, 풍부화, 갱신을 위한 통합된 프레임워크를 제공한다.
• 형식개념이 아닌 '가능성 있는' 개념을 격자 내 간격 기반 경계를 사용하여 근사함으로써 지식 증강을 지원한다.
• 데이터 공간과 패턴 공간 사이의 격차를 메우기 위해 교차 작용과 패턴 기반 추론을 위한 대수적 원리를 정의한다.

제안 방법

• 관계대수학에 영감을 받은 대수적 연산자—선택, 투영, 조인, 근사—를 정의하되, 이를 FCA의 개념 격자에 적응시킨다.
• 폐쇄 연산자(′′)를 사용하여 객체 및 속성 집합에서 형식개념을 계산함으로써 격자 구조 내에서 정확성과 닫힘을 보장한다.
• 순서 이상과 필터를 통해 개념 근사를 모델링한다: L(c) = (X′′, X′)는 사전개념 c를 포함하는 가장 작은 개념이며, H(c) = (Y′, Y′′)는 가장 큰 개념으로, 이 둘 사이의 간격 [L(c), H(c)]을 통해 근사를 정의한다.
• γ 및 µ 사상으로 객체와 속성에서 개념을 생성함으로써, 최소 생성자로부터 격자를 구성할 수 있도록 한다.
• 만능 격자인 개념 격자 B(K)를 이용하여 만족도(∧)와 합(∨) 연산을 지원함으로써 대수적 추론을 가능하게 한다.
• 이де알 이론과 필터 이론을 활용하여, 주어진 사전개념을 근사할 수 있는 모든 개념을 체계적으로 식별한다. 특히 해당 개념이 유효한 형식개념이 아닌 경우에 유용하다.

실험 결과

연구 질문

• RQ1 관계대수학과 유사한 방식으로 개념 격자에서 패턴 기반을 쿼리하고 조작하기 위한 대수적 연산자를 어떻게 정의할 수 있는가?
• RQ2 격자 내에서 유효한 형식개념이 아닌 '가능성 있는' 개념을 간격 기반 경계를 사용하여 어떻게 근사할 수 있는가?
• RQ3 사용자 요구사항이나 입력 데이터(예: 객체/속성 변경)가 변화할 경우, 패턴 기반을 효율적으로 갱신하거나 풍부화하는 방법은 무엇인가?
• RQ4 개념 격자 구조가 강력하고 의미적으로 유의미한 패턴 쿼리 및 근사를 가능하게 하는 데서 수행하는 역할은 무엇인가?
• RQ5 데이터 공간(예: 관계형 테이블)과 패턴 공간(예: 개념 격자) 간의 공식적 매핑을 어떻게 정의하여 교차 쿼리 지원을 가능하게 할 수 있는가?

주요 결과

• 논문은 개념 격자에서 네 가지 핵심 대수적 연산자—선택, 투영, 격자 조립(조인), 개념 근사—를 성공적으로 정의한다.
• 가능성 있는 개념 c의 근사는 간격 [L(c), H(c)]로 공식화되며, 여기서 L(c)는 c를 포함하는 가장 작은 개념이고 H(c)는 가장 큰 개념으로, 존재하지 않거나 잘못된 개념에 대한 강력한 처리가 가능해진다.
• 폐쇄 연산자와 격자 구조를 활용함으로써 데이터나 사용자 제약 조건의 변화를 반영할 수 있도록, 효과적인 패턴 기반 풍부화 및 동적 갱신이 가능해진다.
• 순서 이상과 필터의 사용을 통해 주어진 사전개념을 근사할 수 있는 모든 개념을 시스템적으로 식별할 수 있으며, 이는 대규모 패턴 기반에서의 검색 및 검색 성능 향상에 기여한다.
• 사용자가 패턴 격자에 직접 대수적 연산을 적용할 수 있도록 함으로써, '필요시 데이터 마이닝'을 지원하는 프레임워크를 제공한다. 이는 인지적 부담과 메모리 오버헤드를 줄인다.
• 실제 사례인 스타얼라이언스 항공사와 그 목적지에 대한 분석을 통해 방법의 유효성을 검증하였다. 예를 들어, 에어캐나다와 루프타나 항공사가 캐나다와 유럽을 포함하는 비형식개념은 격자 내에서 [L(c), H(c)]를 통해 근사되었다.