INTELLIGENZA ARTIFICIALE
Marco Somalvico
L'i.a. è una moderna disciplina sorta nell'ambito della scienza dei calcolatori e dell'informatica che negli anni recenti, specialmente per merito dell'avvento [...] attività sono compiute solamente dall'uomo, nel caso dell'i.a. le attività sono compiute tanto dall'uomo quanto dalla macchina algoritmica. L'i.a. si pone l'ambiziosa ipotesi di una risoluzione automatica dei problemi, nel senso che il passaggio dal ...
Leggi Tutto
chiave
chiave in crittografia, elemento utilizzato nella cifratura di un messaggio per la trasformazione di un testo in chiaro in testo cifrato. È l’informazione che determina le caratteristiche dell’algoritmo [...] la chiave, di norma, è un’informazione che va mantenuta riservata, poiché essa definisce i particolari con cui l’algoritmo è applicato e da essa dipende la sicurezza del sistema crittografico. I sistemi di crittografia utilizzati con risorse ...
Leggi Tutto
indecidibilita
indecidibilità in logica, termine utilizzato per indicare la non → decidibilità di una data proprietà. In particolare, un insieme è indecidibile se non esiste un algoritmo in grado di [...] formale S è indecidibile se lo è l’insieme dei suoi teoremi, se cioè non per ogni formula ben formata a di S esiste un algoritmo di calcolo che riesce a stabilire se a è un teorema oppure no, vale a dire se a è o non è dimostrabile nel sistema ...
Leggi Tutto
calcolabile
calcolàbile [agg. Der. di calcolo] [ALG] Funzione c.: funzione che può essere calcolata, per la quale pertanto esiste un procedimento effettivo (cioè un algoritmo) per determinare il suo [...] valore quando sia assegnato il suo argomento (o i suoi argomenti) ...
Leggi Tutto
indecidibile
indecidìbile [Comp. di in- neg. e decidibile "che non può essere deciso"] [ALG] [FAF] Teoria i.: quella per la quale non esiste nessun algoritmo mediante il quale sia possibile decidere [...] in un numero finito di passi, per ogni proposizione formulabile in essa, se sia vera o falsa; è tale, per es., l'intera aritmetica (v. Gödel, teorema di: III 53 c) ...
Leggi Tutto
Imparare a generalizzare
Manfred Opper
(Neural Computing Research Group, Aston University Birmingham, Gran Bretagna)
Questo saggio fornisce un'introduzione alle teorie che mirano alla comprensione della [...] . In questo caso l'algoritrno di Rosenblatt non funziona, e il problema di trovare il minimo richiede l'utilizzo di algoritmi più complessi. L'errore di addestramento, cioè il numero di errori compiuti sull'insieme di addestramento, è di solito una ...
Leggi Tutto
controllo
controllo espressione formale contenente una o più variabili, che può essere vera o falsa a seconda dei valori assegnati alle variabili. Nell’esecuzione di un algoritmo un controllo consente [...] flusso delle informazioni in modo tale da giungere con un numero finito di passi al risultato. Nella rappresentazione degli algoritmi con diagrammi di flusso il controllo viene rappresentato da un rombo all’interno del quale è scritta l’espressione ...
Leggi Tutto
isomorfismo di gruppi, problema dell'
isomorfismo di gruppi, problema dell’ in algebra, problema posto nel 1908 da H. Tietze. Consiste nel chiedersi se esista un algoritmo che permetta di stabilire se [...] due gruppi definiti attraverso presentazioni finite siano isomorfi (→ gruppo) ...
Leggi Tutto
complessità Caratteristica di un sistema (perciò detto complesso), concepito come un aggregato organico e strutturato di parti tra loro interagenti, in base alla quale il comportamento globale del sistema [...] polinomiale. Dati ora due problemi R e Q si dice che «R si riduce a Q» (e si indica con R ∝ Q), se esiste un algoritmo polinomiale che associa a ogni istanza di R un’istanza di Q in modo tale che la soluzione dell’istanza di Q fornisce la soluzione ...
Leggi Tutto
teoremi di indecidibilità
Silvio Bozzi
In logica matematica, risultati che affermano che una data teoria formalizzata T non è decidibile, vale a dire non ammette un algoritmo in grado di stabilire in [...] Su un altro versante si pone il teorema dimostrato da Yuri Matijasevic (1968), il quale prova che non esiste un algoritmo in grado di stabilire quando un polinomio a coefficienti interi ha o meno soluzione intera, rispondendo così al decimo problema ...
Leggi Tutto
algoritmo
(ant. algorismo) s. m. [dal lat. mediev. algorithmus o algorismus, dal nome d’origine, al-Khuwārizmī, del matematico arabo Muḥammad ibn Mūsa del 9° sec. (così chiamato perché nativo di Khwarizm, regione dell’Asia Centrale)]. – 1....