| Entailment |
|
|
|
|
|
|
|
|
|
|
|
|
| • | entailment
- whether a sentences follows |
||||||||||
| from
other sentences |
|||||||||||
| – | KB Ö f means
knowledge base KB entails |
||||||||||
| formula
f |
|||||||||||
| – | If a
truth assignment that satisfies all sentences |
||||||||||
| in KB
also satisfies formula f, f is entailed by |
|||||||||||
| KB |
|||||||||||
