Model Checking And Artificial Intelligence by