Shakey the first AI Robot (SHAKEY)