Review of Logic Foundations of Artificial Intelligence