The Foundations of Artificial Intelligence