Artificial Intelligence: Searching, Reasoning, Planning, dan Learning