- Model: it is the possible variables and their values in the world
- Knowledge base: a set of sentences known by the knowledge-based agent
- Agents use these sentences to make decisions
- Entailment: in every model (possible world) in which α is true, sentence β is also true
- : α entails β
- Entailment is different from implication. Implication is a logical connective between two propositions. Entailment, on the other hand, is a relation that means that if all the information in α is true, then all the information in β is true.
The process of figuring out the sentences based on the KB and the entailments is called Inference
- Inference: The process of deriving new sentences from old ones
Inference Algorithms: Model Checking
- To determine if
- Enumerate all possible models
- If in every model where KB is true, α is true, then KB entails α
- Otherwise, KB does not entail α
α is the query, the question we want to ask