[論文レビュー] Algebraic Semantics of Proto-Transitive Rough Sets

A. Mani|arXiv (Cornell University)|Oct 2, 2014

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フレームワーク内にネルソン代数に基づく意味論を内蔵化することで、近似推論の強固な基盤が得られた。
• 粗い近似における汚染問題は、知識構造の幾何的および代数的モデリングを通じて形式的に分析され、緩和された。
• 本紀行は、以前未発表の表現定理も含めて、粒状化および近似関係に関する先行研究の自己完結的かつ証明完全な拡張を提供している。