L’Inferenza

L’Intelligenza Artificiale si avvale del Formalismo dei Predicati per rappresentare gli stati di un sistema. Lo stato iniziale puo’ essere descritto da un insieme di formule, lo stato finale (Goal o Obiettivo) da un altro insieme.

Quando si elabora conoscenza, il computer deve essere dotato di capacita’ di Inferenza, cioe’ di un algoritmo che serva a risolvere un problema generico.

La macchina capace di compiere inferenze su una certa « Base di Conoscenza » viene denominata « Motore Inferenziale ».

I Motori Inferenziali vengono costruiti per inferire su Domini ben precisi e limitati.

Esiste uno spazio in cui la ricerca della soluzione viene compiuta. Tale Spazio di Ricerca deve contenere almeno una soluzione del problema e deve essere finito.