Abstract
The standard Pawlak approach to rough set theory, as an approximation space consisting of a universe U and an equivalence (“indiscernibility”) relation R \( \subseteq\) U x U, can be equivalently described by the induced preclusivity ("discernibility") relation U x U \ R, which is irreflexive and symmetric.
We generalize the notion of approximation space as a pair consisting of a universe U and a discernibility or preclusivity (irreflexive and symmetric) relation, not necessarily induced from an equivalence relation. In this case the "elementary" sets are not mutually disjoint, but all the theory of generalized rough sets can be developed in analogy with the standard Pawlak approach. On the power set of the universe, the algebraic structure of the quasi fuzzy-intuitionistic "classical" (BZ) lattice is introduced and the sets of all "closed" and of all "open" definable sets with the associated complete (in general nondistributive) ortholattice structures are singled out.
The rough approximation of any fixed subset of the universe is the pair consisting of the best "open" approximation from the bottom and the best "closed" approximation from the top. The properties of this generalized rough approximation mapping are studied in the context of quasi-BZ lattice structures of "closed-open" ordered pairs (the "algebraic logic" of generalized rough set theory), comparing the results with the standard Pawlak approach. A particular weak form of rough representation is also studied.
Similar content being viewed by others
References
Cattaneo, G., 1993, 'Fuzzy quantum logic II: The logics of unsharp quantum mechanics', Int. J. Theor. Phys. 32, 1709-1734.
Cattaneo, G., and R. Giuntini, 1995, 'Some results on BZ structures from Hilbertian unsharp quantum physics', Found. Phys. 25, 1147-1183.
Cattaneo, R., and G. Marino, 1988, 'Non-usual orthocomplementations on partially ordered sets and fuzziness', Fuzzy Sets Syst. 25, 107-123.
Cattaneo, G., and G. NisticÒ, 1989, 'Brouwer-Zadeh posets and three valued Łukasiewicz posets', Fuzzy Sets Syst. 33, 165-190.
Chellas, B. F., 1098, Modal logic, An introduction, Cambridge University Press, Cambridge.
Cignoli, R., and A. Monteiro, 1965, 'Boolean elements in Łukasiewicz algebras. II', Proc. Japan Acad. 41, 676-680.
Cignoli, R., 1970, 'Moisil Algebras', Notas de Logica Matematica, 27, Instituto de Matematica, Univ. Nacional del Sur, Bahia Blanca, Argentina.
Farinas del Cerro, L., and E. Orlowska, 1985, 'DAL-a logic for data analysis', Theor. Computer Sciences 36, 251-264.
Halmos, P. R., 1962, Algebraic logic, Chelsea, NY.
Moisil, G. C., 1940, 'Recherches sur les logiques non-chrysippiennes', Ann. Sci. Univ. Jassy 26, 431-466.
Moisil, G. C., 1941, 'Notes sur les logiques nonchrysippiennes', Ann. Sci. Univ. Jassy 27, 86-98.
Orlowska, E., 1985, 'A logic of indiscrenibility relations', Lecture Notes in Computer Sciences 208, Springer-Verlag, Berlin, 177-186.
Pawlak, Z., 1982, 'Rough sets', Internat. J. Inform. Comput. Sci. 11, 341-356.
Pawlak, Z., 1985, 'Rough sets and fuzzy sets', Fuzzy Sets Syst. 17, 99-102.
Vakarelov, D., 1991, 'A modal logic for similarity relations in Pawlak knowledge representation systems', Fundamenta Informaticae XV, 61-79.
Yao, Y. Y, X. Li, T. Y. Lin, and Q. Liu, 1994, 'Representation and classification of rough set models', in Proc. of “The Third International Workshop on Rough Sets and Soft Computing”, T.Y. Lin ed., San Jose State University, 630-637.
Zadeh, L. A., 1965, 'Fuzzy sets, Inform. Contr. 8, 338-353.
Zakowski, W., 1983, 'Approximations in the space (U, #x220F;)', Demonstratio Mathematica XVI, 761-769.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Cattaneo, G. Generalized Rough Sets (Preclusivity Fuzzy-Intuitionistic (BZ) Lattices). Studia Logica 58, 47–77 (1997). https://doi.org/10.1023/A:1004939914902
Issue Date:
DOI: https://doi.org/10.1023/A:1004939914902