Intelligent Planning: A Decomposition and Abstraction Based Approach