Topological interpretation of rough sets

DOI10.2478/forma-2014-0010zbMath1298.54006MaRDI QIDQ467816

Adam Grabowski

Publication date: 5 November 2014

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2478/forma-2014-0010

zbMATH Keywords

rough sets; topological spaces; Kuratowski closure-complement problem; rough approximations

Mathematics Subject Classification ID

68T37: Reasoning under uncertainty in the context of artificial intelligence

54A40: Fuzzy topology

03B35: Mechanization of proofs and logical operations

54H10: Topological representations of algebraic systems

Uses Software

• Mizar