Quotient Space Based Problem Solving: A Theoretical Foundation of Granular Computing