| Inference |
|
|
|
|
|
|
|
|
|
|
|
|
| • | inference
rules - deduce new sentences |
||||||||||
| from
old sentences |
|||||||||||
| – | KB | f means
knowledge base KB infers or |
||||||||||
| proves
formula f |
|||||||||||
| – | If
there are a set of inference actions which |
||||||||||
| derive
the truth of formula f from the sentence |
|||||||||||
| in
KB, f is inferred by KB |
|||||||||||
