Abstract
This paper is an overview paper extended by new results, that deals with the relation of the basic notions of rough set theory and the topological notions introduced in the Alternative Set Theory (AST). Using the formalism of higher-order fuzzy logic (FTT), we prove syntactically that the main properties and relations among all the considered concepts hold both in classical as well as rough fuzzy set theory, and show that the basic concepts of rough sets are among some of the topological concepts of AST.
The paper has been supported from ERDF/ESF by the project “Centre for the development of Artificial Intelligence Methods for the Automotive Industry of the region” No. CZ.02.1.01/0.0/0.0/17-049/0008414.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
By the abuse of language we will on syntactic level call the formula \(x_{o\alpha }\) also a fuzzy set.
- 2.
This means that, if the degree of the fuzzy equality \(z\approx t\) in a model is equal to 1 then \(z=t\).
- 3.
Note that in the fuzzy set theory, such a fuzzy set is called extensional (w.r.t. \(\approx \)).
References
Dubois, D., Prade, H.: Putting rough sets and fuzzy sets together. In: Słowinski, R. (ed.) Intelligent Decision Support, pp. 203–232. Springer, Dordrecht (1992)
Novák, V.: Descriptions in the full fuzzy type theory. Neural Netw World, 5,559–565 (2003)
Novák, V.: On fuzzy type theory. Fuzzy Sets Syst. 149, 235–273 (2005)
Novák, V.: EQ-algebra-based fuzzy type theory and its extensions. Logic J. IGPL 19, 512–542 (2011)
Novák, V.: Topology in the alternative set theory and rough sets via fuzzy type theory. Mathematics 8(3), 432–453 (2020)
Pawlak, Z.: Rough sets. Int. J. Comput. Inf. Sci. 11, 341–356 (1982)
Vopěnka, P.: Mathematics in the Alternative Set Theory. Teubner, Leipzig (1979)
Zhang, Q., Xie, Q., Wang, G.: A survey on rough set theory and its applications. CAAI Trans. Intell. Technol. 1, 323–333 (1982)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this chapter
Cite this chapter
Novák, V. (2022). Rough Sets and Topology in AST: A Study Via Higher-Order Fuzzy Logic. In: Harmati, I.Á., Kóczy, L.T., Medina, J., Ramírez-Poussa, E. (eds) Computational Intelligence and Mathematics for Tackling Complex Problems 3. Studies in Computational Intelligence, vol 959. Springer, Cham. https://doi.org/10.1007/978-3-030-74970-5_15
Download citation
DOI: https://doi.org/10.1007/978-3-030-74970-5_15
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-74969-9
Online ISBN: 978-3-030-74970-5
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)