Model Checking And Artificial Intelligence door