[論文レビュー] Attribute Dependencies for Data with Grades

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

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 に制限することで、古典的依存関係への還元的インターフェースを提供し、古典的結果を特別な場合として回復できる。
• 類似関係に基づくドメインにおける関数的依存を一般化し、類似関係を度合いのある等価性として扱うことで、曖昧関数的依存を可能にする。