Abstract | ||
---|---|---|
A fundamental problem in data mining is whether the whole information available is always necessary to represent the information system(IS). Reduct is a rough set approach in data mining that determines the set of important attributes to represent the IS. The search for minimal reduct is based on the assumption that within the dataset in an IS, there are attributes that are more important than the rest. An algorithm in finding minimal reducts based on Propositional Satisfiability (SAT) algorithm is proposed. A branch and bound algorithm is presented to solve the proposed SAT problem. The experimental result shows that the proposed algorithm has significantly reduced the number of rules generated from the obtained reducts with high percentage of classification accuracy. |
Year | DOI | Venue |
---|---|---|
2002 | 10.1080/00207160210938 | INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS |
Keywords | Field | DocType |
rough set, reduct, Binary Integer Programming(BIP), Conjunctive Normal Forms (CNF), Propositional Satisfiability (SAT), data mining | Data mining,Branch and bound,Reduct,Upper and lower bounds,Boolean satisfiability problem,Satisfiability,Algorithm,Rough set,Conjunctive normal form,Integer programming,Mathematics | Journal |
Volume | Issue | ISSN |
79 | 4 | 0020-7160 |
Citations | PageRank | References |
3 | 0.48 | 2 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Azuraliza Abu Bakar | 1 | 157 | 30.29 |
Md Nasir Sulaiman | 2 | 186 | 32.80 |
Mohammad Othman | 3 | 7 | 1.60 |
Mohd Hasan Selamat | 4 | 79 | 14.82 |