Autonomous Abstraction Of Policies Based On Policy Homomorphism