|
|
|
| Propositional KB and |
||
| Inference |
||
|
|
|
|
|
|
|
|
|
| • | entailment
- whether a sentences follows |
|||||||
| from
other sentences |
||||||||
| • | inference
rules - deduce new sentences |
|||||||
| from
old sentences |
||||||||
| • | soundness
- what can be inferred is entailed |
|||||||
| • | completeness
- what is entailed can be |
|||||||
| inferred |
||||||||
