Symbolic AI: The key to the thinking machine