Understanding Knowledge and Reasoning in Artificial Intelligence