Relational formal characterization of rough sets

DOI10.2478/FORMA-2013-0006MaRDI QIDQ2852183zbMATH OpenOpenAlexFDO

Authors Adam Grabowski

Publication date 8 October 2013

Published in Formalized Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2478/forma-2013-0006

zbMATH Keywords

approximation operatorsMizar Mathematical Libraryrelational structuresrough sets

Mathematics Subject Classification ID

Theory of fuzzy sets, etc. (03E72) Knowledge representation (68T30)

Recommendations

• Formalizing two generalized approximation operators
• Binary relations-based rough sets -- an automated approach
• scientific article; zbMATH DE number 2222702
• Topological interpretation of rough sets
• scientific article; zbMATH DE number 754434

Cites work

• Generalized rough sets based on relations
• scientific article; zbMATH DE number 927110 (Why is no real title available?)
• Rough sets
• Two views of the theory of rough sets in finite universes

Cited in

(8)

• Formal development of rough inclusion functions
• Formalizing two generalized approximation operators
• Rough set analysis of relational structures
• Developing complementary rough inclusion functions
• Rough relation properties
• Initial comparison of formal approaches to fuzzy and rough sets
• Topological interpretation of rough sets
• Binary relations-based rough sets -- an automated approach

Describes a project that uses

Uses Software

• Mizar

This page was built for publication: Relational formal characterization of rough sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2852183)