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.