A spatial recognition method for robots by symbolic processing: a puzzle ring solver | IEEE Conference Publication | IEEE Xplore