Efficient rough set theory merging

DOI10.3233/FI-2014-1129MaRDI QIDQ5259298zbMATH OpenOpenAlexFDO

Authors Adam Grabowski

Publication date 26 June 2015

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/fi-2014-1129

zbMATH Keywords

formal topologyknowledge managementrough concept analysisrough sets

Mathematics Subject Classification ID

Topological spaces and generalizations (closure spaces, etc.) (54A05) Knowledge representation (68T30)

Recommendations

• Mathematical Knowledge Management
• Rough sets and other mathematics: ten research programs
• Lattice theory for rough sets -- a case study with Mizar
• Topological structures in rough set theory: a survey
• Formalizing lattice-theoretical aspects of rough and fuzzy sets

Cited in

(13)

• Flexary connectives in Mizar
• Formal development of rough inclusion functions
• The formal construction of fuzzy numbers
• Basic formal properties of triangular norms and conorms
• Developing complementary rough inclusion functions
• Stone lattices.
• Accessing the Mizar library with a weakly strict Mizar parser
• Improving legibility of formal proofs based on the close reference principle is NP-hard
• Mizar: state-of-the-art and beyond
• Binary relations-based rough sets -- an automated approach
• Tarski geometry axioms. II
• Computer certification of generalized rough sets based on relations
• Automated Comparative Study of Some Generalized Rough Approximations

Describes a project that uses

Uses Software

• Mizar

This page was built for publication: Efficient rough set theory merging

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