Granular computing on information tables: families of subsets and operators.(English)Zbl 1440.68288

Summary: In this work we use the granular computing paradigm to study specific types of families of subsets, operators and families of ordered pairs of sets of attributes which are naturally induced by information tables. In an unifying perspective, by means of some representation results, we connect the study of finite closure systems, matroids and finite lattice theory in the scope of the more general notion of attribute dependency based on information tables. For a fixed finite set $$\Omega$$ and for a corresponding information table $$\mathcal{J}$$ having attribute set $$\Omega$$, the fundamental tool we use to proceed in our investigation is the equivalence relation $$\approx_{\mathcal{J}}$$ on the power set $$\mathcal{P}(\Omega)$$ which identifies two any sets of attributes inducing the same indiscernibility relation on the object set of $$\mathcal{J}$$. We interpret the attribute dependency as a preorder $$\geq_{\mathcal{J}}$$ on $$\mathcal{P}(\Omega)$$ whose induced equivalence relation coincides with $$\approx_{\mathcal{J}}$$. Then we investigate in detail the links between the preorder $$\geq_{\mathcal{J}}$$, a closure system and an abstract simplicial complex on $$\Omega$$ naturally induced by $$\approx_{\mathcal{J}}$$ and specific families of ordered pairs of sets of attributes on $$\Omega$$.

MSC:

 68T37 Reasoning under uncertainty in the context of artificial intelligence
Full Text: