The foundations of artificial intelligence: The role of correctness in AI