Initial Comparison of Formal Approaches to Fuzzy and Rough Sets
Fuzzy sets and rough sets are well-known approaches to incomplete or imprecise data. In the paper we compare two formalizations of these sets within one of the largest repositories of computer-checked mathematical knowledge – the Mizar Mathematical Library. Although the motivation was quite similar in both developments, these approaches – proposed by us – vary significantly. Paradoxically, it appeared that fuzzy sets are much closer to the set theory implemented within the Mizar library, while in order to make more feasible view for rough sets we had to choose relational structures as a basic framework. The formal development, although counting approximately 15 thousand lines of source code, is by no means closed – it allows both for further generalizations, building on top of the existing knowledge, and even merging of these approaches. The paper is illustrated with selected examples of definitions, theorems, and proofs taken from rough and fuzzy set theory formulated in the Mizar language.
KeywordsMembership Function Fuzzy Number Proof Assistant Initial Comparison Mizar Mathematical Library
Unable to display preview. Download preview PDF.
- 5.Grabowski, A.: On the computer certification of fuzzy numbers. In: Ganzha, M., Maciaszek, L., Paprzycki, M. (eds.) Proceedings of Federated Conference on Computer Science and Information Systems, FedCSIS 2013, pp. 51–54 (2013)Google Scholar
- 7.Grabowski, A.: On the computer-assisted reasoning about rough sets. In: Dunin-Kęplicz, B., Jankowski, A., Szczuka, M. (eds.) Monitoring, Security and Rescue Techniques in Multiagent Systems. Advances in Soft Computing, vol. 28, pp. 215–226 (2005)Google Scholar
- 10.Kacprzak, M., Kosiński, W.: On lattice structure and implications on ordered fuzzy numbers. In: Proc. of EUSFLAT 2011, pp. 267–274 (2011)Google Scholar
- 15.Kosiński, W., Prokopowicz, P., Ślęzak, D.: Fuzzy numbers with algebraic operations: algorithmic approach. In: Kłopotek, M., Wierzchoń, S.T., Michalewicz, M. (eds.) Intelligent Information Systems, IIS 2002, Poland, pp. 311–320 (2002)Google Scholar
- 16.Kosiński, W., Prokopowicz, P., Ślęzak, D.: Ordered fuzzy numbers. Bulletin of the Polish Academy of Sciences, Sér. Sci. Math. 51(3), 327–338 (2003)Google Scholar
- 17.Mitsuishi, T., Endou, N., Shidama, Y.: The concept of fuzzy set and membership function and basic properties of fuzzy set operation. Formalized Mathematics 9(2), 351–356 (2001)Google Scholar
- 22.Urban, J., Sutcliffe, G.: Automated reasoning and presentation support for formalizing mathematics in Mizar. In: Autexier, S., Calmet, J., Delahaye, D., Ion, P.D.F., Rideau, L., Rioboo, R., Sexton, A.P. (eds.) AISC 2010. LNCS, vol. 6167, pp. 132–146. Springer, Heidelberg (2010)CrossRefGoogle Scholar