Morphisms in Binary Rough Set Theory

• Autorzy: Zheng Tingting

Identyfikatory

DOI

10.3233/FI-2020-1912

• Języki publikacji: EN

Abstrakty

EN

Some scholars have proposed homomorphisms between information systems based on consistent functions. However, the binary relations in the codomain induced by consistent functions thoroughly depend on the binary relations induced by the original domain systems. This paper introduces the concept of core knowledge to analyze the intrinsical topology structures of binary approximation spaces, binary knowledge bases and binary information systems. Because of the three different categories, we use the term "morphism" from category theory to depict the communication into the three categories. A morphism can be regarded as the composition of a natural projection induced by core knowledge and an embedding, which are more general than homomorphisms. What's more, this paper proposes the notion of isomorphism and shows that the two isomorphic categories can be seen as one category based on the topological invariance. Considering that the reduction of knowledge and attributes should be based on the premise of maintaining the structure of core knowledge, isomorphisms will provide the theoretical basis of the reduction.

Słowa kluczowe

EN

binary approximation space; BAS; binary information system; BIS; binary knowledge base; BKB; core knowledge; homomorphism; isomorphism; morphism

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2020
• Tom: Vol. 172, nr 4
• Strony: 413--434
• Opis fizyczny: Bibliogr. 30 poz., tab.

Twórcy

autor

Zheng Tingting

• School of Mathematical Sciences, Anhui University, Hefei 230601, China

Bibliografia

• [1] Awodey S. Category Theory. Oxford Logic Guides, 49 (2nd ed.) Oxford University Press, Oxford, 2006. ISBN 978-0-19-923718-0.
• [2] Category theory. URL https://en.wikipedia.org/wiki/Category_theory.
• [3] Grzymala-Busse JW. Algebraic Properties of Knowledge Representation Systems. In: Proceedings of the ACM SIGART International Symposium on Methodologies for Intelligent Systems, Knoxville Tennessee, 22-24 October, 1986 pp. 432-440. doi:10.1145/12808.12856.
• [4] Grzymala-Busse JW, Sedelow WAJ. On Rough Sets, and Information System Homomorphism. Bulletion of the Polish Academy of Sciences: Technical Sciences, 1988. 36(34):233-239.
• [5] Kelley JL. General Topology. Ishi Press, 2008. ISBN 0923891552.
• [6] Liang JY, Qian YH. Information granules and entropy theory in information systems. Science in China, Series E, 2008. 51: 1427-1444. doi:10.1007/s11432-008-0113-2.
• [7] Lin TY. Neighborhood systems and approximation in database and knowledge base systems. In: Proceedings of the Fourth International Symposium on Methodologies of Intelligent Systems, Poster Session, Charlotte, North Carolina, 12-15 October, 1989 pp. 75-86.
• [8] Lin TY. Relational data models and category theory (abstract). In: CSC’90 Proceedings of the 1990 ACM annual conference on Cooperation, New York, USA, 1990 pp. 424.
• [9] Lin TY. Granular computing on binary relations I: Data mining and neighborhood systems. Skowron A, Polkowski L , eds. Rough Sets and Knowledge Discovery, Physica-Verlag, 1998 pp. 107-121.
• [10] Lin TY. Granular computing on binary relations II: Rough set representations and belief function. Skowron A, Polkowski L, eds. Rough Sets and Knowledge Discovery, Physica-Verlag, 1998 pp. 122-140.
• [11] Lin TY. A roadmap from rough set theory to granular computing. In: Proceedings of Rough Sets and Knowledge Technology, (RSKT 2006), 2006 pp. 33-41.
• [12] Lin TY. Granular computing: Practices, Theories, and Future Directions. Meyers R, eds. Computational Complexity. Springer, New York, 2012. doi:10.1007/978-1-4614-1800-9.
• [13] Lin TY. Unifying rough set theories via large scaled granular computing. Fundamenta Informaticae, 2013. 127:413-428. doi:10.3233/FI-2013-918.
• [14] Mareay R. Generalized rough sets based on neighborhood systems and topological spaces. Journal of the Egyptian Mathematical Society, 2016. 24(4):603-608. doi:10.1016/j.joems.2016.02.002.
• [15] Pawlak Z. Information systems theoretical foundations. Information Systems, 1981. 6(3):205-218. doi:10.1016/0306-4379(81)90023-5.
• [16] Pawlak Z. Rough sets. International Journal of Computer and Information Sciences, 1982. 11(5):341-346. doi:10.1007/BF01001956.
• [17] Pawlak Z. Rough sets: theoretical aspects of reasoning about data. Kluwer Academic Publishers, 1991. ISBN 0-7923-1472-7.
• [18] McAllister, David F. Discrete mathematics in computer science. Prentice-Hall, 1977.
• [19] Tan AH, Li JJ, Lin GP. Extended results on the relationship between information systems. Information Sciences, 2015. 290:156-173. doi:10.1016/j.ins.2014.08.038.
• [20] Tsang ECC, et al. Communication between information systems using fuzzy rough sets. IEEE Transactions on Fuzzy Systems, 2013. 21(3):527-539. doi:10.1109/TFUZZ.2012.2218658.
• [21] Wang CZ, et al. Communicating between information systems. Information Sciences, 2008. 178:3228-3239. doi:10.1016/j.ins.2008.03.017.
• [22] Wang CZ, Chen DG, Zhu LK. Homomorphisms between fuzzy information systems. Applied Mathematics Letters, 2009. 22:1045-1050. doi:10.1016/j.aml.2009.01.013.
• [23] Wang CZ, et al. Communication between information systems with covering based rough sets. Information Sciences, 2012. 216:17-33. doi:10.1016/j.ins.2012.06.010.
• [24] Wang CZ, Chen DG, Hu QH. Fuzzy information systems and their homomorphisms. Fuzzy Sets and Systems, 2014. 249:128-138. doi:10.1016/j.fss.2014.02.009.
• [25] Xiong JC. The handout of point set topology. High Education Press, 2000. ISBN 7040322374. 4nd Edition. URL https://www.abebooks.com/9787040322378/Point-Set-Topology-Handouts-4th-7040322374/plp.
• [26] Yao YY. Relational interpretations of neighborhood operators and rough set approximation operators. Information Sciences, 1998. 111:239-259. doi:10.1016/S0020-0255(98)10006-3.
• [27] Zhu P, Wen QY. Some improved results on communication between information systems. Information Sciences, 2010. 180:3521-3531. doi:10.1016/j.ins.2010.05.028.
• [28] Zhu P, Wen QY. Homomorphisms between fuzzy information systems revisited. Applied Mathematics Letters, 2011. 24:1548-1553. doi:10.1016/j.aml.2011.03.044.
• [29] Zhu P, Wen QY. A note on communicating between information systems based on including degrees. International Journal of General Systems, 2011. 40:837-840. doi:10.1080/03081079.2011.611805.
• [30] Zhu P, Xie HY, Wen QY. A unified definition of consistent functions. Fundamenta Informaticae, 2014. 135:331-340. doi:10.3233/FI-2014-1125.

Uwagi

Opracowanie rekordu ze środków MNiSW, umowa Nr 461252 w ramach programu "Społeczna odpowiedzialność nauki" - moduł: Popularyzacja nauki i promocja sportu (2020).