18-Mar-2012, 7:29 PM
Without knowing a ton about AI, having just skimmed some books on machine learning, I would say that those strategies that Dave brought up would be really hard to teach an AI. How do you describe a puzzle that looks like a Tyler puzzle in a way that a machine can reliably determine the difference between it and some other puzzle that isn't a Tyler-style puzzle, but uses similar elements? The same for determining solvability...I doubt that is actually possible without brute-force search.