Classification with Dynamic Reducts and Belief Functions