Title
Propositional Satisfiability Algorithm To Find Minimal Reducts For Data Mining
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 Bakar115730.29
Md Nasir Sulaiman218632.80
Mohammad Othman371.60
Mohd Hasan Selamat47914.82