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.

Quotidiani e Riviste
Cartoline Elettroniche
Motori di Ricerca
Lavoro!
Il mistero di israele
Sono solo noterelle
Da militare
Premessa
Diariomania
Masto