entails
We are interested not only in what is explicitely
stored in a KB, but also in what is implicit, i.e. on
the logical consequences of KB, on its entailements.
Formal logic provides suitable tools for
computing entailements.
| Diapositiva precedente | Diapositiva successiva | Torna alla prima diapositiva | Visualizza versione grafica |