Model Checking And Artificial Intelligence