Symbo lic Representation for Rough Set Attribute Reduction Using Ordered Binary Decision Diagrams