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.
Visitare l’Italia

I luoghi da non perdere nel paese della “Dolce Vita” per godersi i maestosi monumenti, i musei ricchi e variegati, i paesaggi naturali ma anche uno stile di vita unico.

I must dell’Italia

Roma con il suo Colosseo, Firenze con il suo Duomo e la sua piazza, Pisa con la sua torre pendente, Venezia la città romantica, le cinque terre, i coloratissimi borghi o Lecce, la città barocca, sono solo alcuni dei must.

Italia pratica

Informazioni pratiche sull’Italia per rendere il vostro viaggio un successo sia che si tratti di soldi, trasporti, salute, clima o vita quotidiana. Informazioni pratiche sui servizi pubblici, sugli alloggi e sulla connessione internet.