AI for logical problem solving