Lattice Theory for Rough Sets - A Case Study with Mizar.
Adam GrabowskiPublished in: Fundam. Informaticae (2016)
Keyphrases
- rough sets
- lattice theory
- propositional logic
- rough set theory
- morphological operators
- rough sets theory
- decision rules
- fuzzy sets
- mathematical morphology
- neural computation
- horn clauses
- data mining
- granular computing
- pattern analysis
- information entropy
- data analysis
- soft computing
- inductive machine learning
- tool for data mining
- decision table
- attribute reduction
- fuzzy rough sets
- pattern recognition
- neural network
- databases
- approximation spaces
- fuzzy logic
- feature extraction