Abstract
This chapter overviews rough set theory. First, we give preliminaries of rough set theory. Second, we give an exposition of algebras for rough set theory. Third, connections of modal logic and rough sets are described. Fourth, rough set logics are introduced. We also consider logics for reasoning about knowledge and logics for knowledge representation. We also give a concise survey of fuzzy logic. Finally, we shortly suggest applications of rough set theory.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Adriaans, P., Zantinge, D.: Data Mining. Addison-Wesley, Reading, MA (1996)
Akama, S., Murai, T., Kudo, Y.: Da Costa logics and vagueness. In: Proceedings of GrC2014, Noboribetsu, Japan (2014)
Akama, S., Murai, T., Kudo, Y.: Heyting-Brouwer rough set logic. In: Proceedings of KSE2013, Hanoi, pp. 135–145. Springer, Heidelberg (2013)
Akama, S., Murai, T., Kudo, Y.: Reasoning with Rough Sets. Springer, Heidelberg (2018)
Armstrong, W.: Dependency structures in data base relationships. In: IFIP’74, pp. 580–583 (1974)
Balbiani, P.: A modal logic for data analysis. In: Proceedings of MFCS’96. LNCS, vol. 1113, pp. 167–179. Springer, Berlin
Bit, M., Beaubouef, T.: Rough set uncertainty for robotic systems. J. Comput. Syst. Colleges 23, 126–132 (2008)
Chellas, B.: Modal Logic: An Introduction. Cambridge University Press, Cambridge (1980)
de Caro, F.: Graded modalities II. Stud. Logica 47, 1–10 (1988)
Dubois, D., Prade, H.: Rough fuzzy sets and fuzzy rough sets. Int. J. Gen. Syst. 17, 191–209 (1989)
Düntsch, I.: A logic for rough sets. Theor. Comput. Sci. 179, 427–436 (1997)
Fagin, R., Halpern, J., Moses, Y., Vardi, M.: Reasoning about Knowledge. MIT Press, Cambridge, MA (1995)
Fariñas del Cerro, L., Orlowska, E.: DAL—a logic for data analysis. Theor. Comput. Sci. 36, 251–264 (1985)
Fattorosi-Barnaba, M., Amati, G.: Modal operators with probabilistic interpretations I. Stud. Logica 46, 383–393 (1987)
Fattorosi-Barnaba, M., de Caro, F.: Graded modalities I. Stud. Logica 44, 197–221 (1985)
Fattorosi-Barnaba, M., de Caro, F.: Graded modalities III. Stud. Logica 47, 99–110 (1988)
Ganter, B., Wille, R.: Formal Concept Analysis. Springer, Berlin (1999)
Halpern, J., Moses, Y.: Towards a theory of knowledge and ignorance: preliminary report. In: Apt, K. (ed.) Logics and Models of Concurrent Systems, pp. 459–476. Springer, Berlin (1985)
Halpern, J., Moses, Y.: A theory of knowledge and ignorance for many agents. J. Logic Comput. 7, 79–108 (1997)
Hintikka, S.: Knowledge and Belief. Cornell University Press, Ithaca (1962)
Hirano, S., Tsumoto, S.: Rough representation of a region of interest in medical images. Int. J. Approx. Reason. 40, 23–34 (2005)
Iturrioz, L.: Rough sets and three-valued structures. In: Orlowska, E. (ed.) Logic at Work: Essays Dedicated to the Memory of Helena Rasiowa, pp. 596–603. Physica-Verlag, Heidelberg (1999)
Iwinski, T.: Algebraic approach to rough sets. Bull. Pol. Acad. Math. 37, 673–683 (1987)
Järvinen, J., Pagliani, P., Radeleczki, S.: Information completeness in Nelson algebras of rough sets induced by quasiorders. Stud. Logica 101, 1073–1092 (2013)
Karnaugh, M.: A map method for synthesis of combinattional logic circuits. Trans. AIEE Commun. Electoron. 72, 593–599 (1953)
Konikowska, B.: A logic for reasoning about relative similarity. Stud. Logica 58, 185–228 (1997)
Liau, C.-J.: An overview of rough set semantics for modal and quantifier logics. Int. J. Uncertain. Fuzziness Knowl.-Based Syst. 8, 93–118 (2000)
Lin, T.Y., Cercone, N.: Rough Stes and Data Mining. Springer, Heidelberg (1997)
Moshkov, M., Zieloska, B.: Combinatorial Machine Learning: A Rough Set Approach. Springer, Heidelberg (2011)
Murai, T., Miyakoshi, M., Shimbo, M.: Soundness and completeness theorems between the Dempster-Shafer theory and logic of belief. In: Proceedings of 3rd FUZZ-IEEE (WCCI), pp. 855–858 (1994)
Murai, T., Miyakoshi, M., Shimbo, M.: Soundness and completeness theorems between the Dempster-Shafer theory and logic of belief. In: Proceedings of 3rd FUZZ-IEEE (WCCI), pp. 855–858 (1994)
Murai, T., Miyakoshi, M., Shinmbo, M.: Measure-based semantics for modal logic. In: Lowen, R., Roubens, M. (eds.) Fuzzy Logic: State of the Arts, pp. 395–405. Kluwer, Dordrecht (1993)
Murai, T., Miyakoshi, M., Shinmbo, M.: Measure-based semantics for modal logic. In: Lowen, R., Roubens, M. (eds.) Fuzzy Logic: State of the Arts, pp. 395–405. Kluwer, Dordrecht (1993)
Nakamura, A., Gao, J.: A logic for fuzzy data analysis. Fuzzy Sets Syst. 39, 127–132 (1991)
Negoita, C., Ralescu, D.: Applications of Fuzzy Sets to Systems Analysis. Wiley, New York (1975)
Nelson, D.: Constructible falsity. J. Symb. Logic 14, 16–26 (1949)
Nillson, N.: The Mathematical Foundations of Learning Machines. Morgan Kaufmann (1990)
Ore, O.: Galois connexion. Trans. Am. Math. Soc. 33, 493–513 (1944)
Orlowska, E.: Kripke models with relative accessibility relations and their applications to inferences from incomplete information. In: Mirkowska, G., Rasiowa, H. (eds.) Mathematical Problems in Computation Theory, pp. 327–337. Polish Scientific Publishers, Warsaw (1987)
Orlowska, E.: Logical aspects of learning concepts. Int. J. Approx. Reason. 2, 349–364 (1988)
Orlowska, E.: Logic for reasoning about knowledge. Z. Math. Logik Grundl. Math. 35, 559–572 (1989)
Orlowska, E.: Kripke semantics for knowledge representation logics. Stud. Logica 49, 255–272 (1990)
Orlowska, E., Pawlak, Z.: Representation of nondeterministic information. Theor. Comput. Sci. 29, 27–39 (1984)
Pagliani, P.: Rough sets and Nelson algebras. Fundam. Math. 27, 205–219 (1996)
Pal, K., Shanker, B., Mitra, P.: Granular computing, rough entropy and object extraction. Pattern Recognit. Lett. 26, 2509–2517 (2005)
Pawlak, Z.: Information systems: theoretical foundations. Inf. Syst. 6, 205–218 (1981)
Pawlak, Z.: Rough sets. Int. J. Comput. Inf. Sci. 11, 341–356 (1982)
Pawlak, Z.: Rough Sets: Theoretical Aspects of Reasoning about Data. Kluwer, Dordrecht (1991)
Pomykala, J., Pomykala, J.A.: The Stone algebra of rough sets. Bull. Pol. Acad. Sci. Math. 36, 495–508 (1988)
Pradeepa, A., Selvadoss ThanamaniLee, A.: Hadoop file system and fundamental concept of mapreduce interior and closure rough set approximations. Int. J. Adv. Res. Comput. Commun. Eng. 2 (2013)
Rasiowa, H.: An Algebraic Approach to Non-classical Logics. North-Holland, Amsterdam (1974)
Sendlewski, A.: Nelson algebras through Heyting ones I. Stud. Logica 49, 105–126 (1990)
Slowinski, R., Greco, S., Matarazzo, B.: Rough sets and decision making. In: Meyers, R. (ed.) Encyclopedia of Complexity and Systems Science, pp. 7753–7787. Springer, Heidelberg (2009)
Tsumoto, S.: Modelling medical diagnostic rules based on rough sets. Rough Sets and Current Trends in Computing, pp. 475–482 (1998)
Vakarelov, D.: Abstract characterization of some knowledge representation systems and the logic \(NIL\) of nondeterministic information. In: Skordev, D. (ed.) Mathematical Logic and Applications. Plenum Press, New York (1987)
Vakarelov, D.: Notes on constructive logic with strong negation. Stud. Logica 36, 110–125 (1977)
Vakarelov, D.: Modal logics for knowledge representation systems. Theor. Comput. Sci. 90, 433–456 (1991)
Vakarelov, D.: A modal logic for similarity relations in Pawlak knowledge representation systems. Stud. Logica 55, 205–228 (1995)
Wong, S., Ziarko, W.: Comparison of the probabilistic approximate classification and the fuzzy set model. Fuzzy Sets Syst. 21, 357–362 (1987)
Yao, Y., Wong, S., Lingras, P.: A decision-theoretic rough set model. In: Ras, Z., Zemankova, M., Emrich, M. (eds.) Methodology for Intelligent Systems, vol. 5, pp. 17–24. North-Holland, New York (1990)
Yao, Y., Lin, T.: Generalization of rough sets using modal logics. Intell. Autom. Soft Comput. 2, 103–120 (1996)
Zadeh, L.: Fuzzy sets. Inf. Control 8, 338–353 (1965)
Zadeh, L.: Fuzzy sets as a basis for a theory of possibility. Fuzzy Sets Syst. 1, 3–28 (1976)
Zhang, J., Li, T., Ruan, D., Gao, Z., Zhao, C.: A parallel method for computing rough set approximations. Inf. Sci. 194, 209–223 (2012)
Ziarko, W.: Variable precision rough set model. J. Comput. Syst. Sci. 46, 39–59 (1993)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Akama, S., Kudo, Y., Murai, T. (2020). Overview of Rough Set Theory. In: Topics in Rough Set Theory. Intelligent Systems Reference Library, vol 168. Springer, Cham. https://doi.org/10.1007/978-3-030-29566-0_2
Download citation
DOI: https://doi.org/10.1007/978-3-030-29566-0_2
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-29565-3
Online ISBN: 978-3-030-29566-0
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)