Comment by joko42

There was a time when people thought SAT and formal logic is the way to building AI. Now you don't hear anything about it. I wonder what happened?