Model Checking and Artificial Intelligence