# Model Checking Algorithm

- To determine if KB ⊨ α (in other words, answering the question: “can we conclude that α is true based on our knowledge base”)
- Enumerate all possible models.
- If in every model where KB is true, α is true as well, then KB entails α (KB ⊨ α).

However, model Checking is not good, since it is slow → $2_{n}$

### Sample Code