A research project on AI scalability through experimenting with abstract state spaces in the Sokoban puzzle