A Note on a Formal Approach to Rough Operators
The paper is devoted to the formalization of two elementary but important problems within rough set theory. We mean searching for the minimal requirements of the well-known rough operators – the lower and the upper approximations in an abstract approximation space to retain their natural properties. We also discuss pros and cons of the development of the computer-checked repository for rough set theory based on the comparison of certain rough approximation operators proposed by Anna Gomolińska.
KeywordsApproximation Space Uncertainty Mapping Merging Operator Indiscernibility Relation Mizar Mathematical Library
Unable to display preview. Download preview PDF.
- 4.Grabowski, A.: Basic properties of rough sets and rough membership function. Formalized Mathematics 12(1), 21–28 (2004)Google Scholar
- 9.Liang, X., Li, D.: On rough subgroup of a group. To appear in Formalized Mathematics (2009); MML Id: GROUP_11Google Scholar
- 10.Mizar Home Page, http://mizar.org/
- 11.Padlewska, B.: Families of sets. Formalized Mathematics 1(1), 147–152 (1990)Google Scholar
- 15.Wiedijk, F. (ed.): The Seventeen Provers of the World. LNCS (LNAI), vol. 3600. Springer, Heidelberg (2006)Google Scholar