problema dell’arresto
Fabrizio Luccio
Primo esempio di problema indecidibile, cioè che non ammette alcun algoritmo di risoluzione. Il problema dell’arresto nacque nel 1936, sulla base di studi sugli [...] (A, A)=true se A(A) termina;
ARR(A, A)=false se A(A) non termina.
L’esistenza di ARR consentirebbe di definire il seguente algoritmo NEW che invoca ARR al suo interno:
NEW(A):
p=true;
while (p=true) do p=ARR (A, A);
la cui computazione termina se e ...
Leggi Tutto
ricorsivo
ricorsivo [agg. Der. di ricorrere: (→ ricorrente)] [LSF] Sinon. di ricorrente. ◆ [ALG] [INF] Algoritmo, o procedimento o procedura, r.: algoritmo che è formulato con esplicito riferimento a [...] intero positivo n, è r. la procedura: n!=n✄(n-1)!; ...; 5!=5✄4!; ...; 2!=2✄1!; 1!=1; si contrapp. ad algoritmo iterativo (v. fig.). ◆ [ELT] Filtro non r.: v. immagini, elaborazione di: III 167 e. ◆ [ALG] [INF] Funzioni r. primitive: nella teoria ...
Leggi Tutto
Crittografia
GGiancarlo Bongiovanni
di Giancarlo Bongiovanni
SOMMARIO: 1. Introduzione e definizioni. ▭ 2. Cenni storici. ▭ 3. Crittografia a chiave segreta: a) l'algoritmo DES; b) l'algoritmo IDEA; [...] non classificate. Il testo in chiaro è codificato in blocchi di 64 bit, che producono ciascuno 64 bit di testo cifrato. L'algoritmo prevede l'uso di chiavi di 56 bit e consiste di ben 19 stadi, in ciascuno dei quali si opera una trasformazione dell ...
Leggi Tutto
Macchina di Turing
Mauro Cappelli
Modello di agente di calcolo adatto a simulare la logica di qualsiasi algoritmo computazionale. La macchina formale fu proposta nel 1936 dal logico e matematico britannico [...] ammettono nessuna soluzione generale calcolabile. La tesi o congettura di Church-Turing afferma infatti che, se esiste un algoritmo per eseguire un compito che manipola simboli, allora esiste una macchina di Turing in grado di eseguire quel compito ...
Leggi Tutto
Storia dei concetti e delle tecniche nella ricerca sulle reti neurali
Jack D. Cowan
(Department of Mathematics, University of Chicago Chicago, Illinois, USA)
In questo saggio descriveremo diverse ricerche [...] )⟩ [64]
rispetto a U e y.
Dati x e W si può ricavare y, dunque U, e così via (Rao e Ballard, 1997).
Un algoritmo molto simile è stato proposto da R. Neal e P. Dayan per la tecnica statistica chiamata analisi fattoriale (Neal e Dayan, 1996). In questa ...
Leggi Tutto
Markov Andrej Andreevic junior
Markov 〈màrkëf〉 Andrej Andreevič junior [STF] (Pietroburgo 1903 - Mosca 1979) Figlio di Andrej Andreevič; prof. di matematica nell'univ. di Leningrado (1935). ◆ [INF] Algoritmo [...] stesso alfabeto (eventualmente coincidente con quella di partenza); tale sostituzione si effettua secondo regole che precisano l'algoritmo medesimo (si tratta di effettuare ben determinate sostituzioni ripetute di lettere in base a un programma di ...
Leggi Tutto
funzioni ricorsive
Mauro Cappelli
Classe delle funzioni computabili o algoritmiche, ossia delle funzioni n-arie f tali che esiste un algoritmo per computare il valore f(x1,...,x{[) per ogni n-pla di [...] che tutte le funzioni intuitivamente computabili sono ricorsive generali. Accolta questa tesi, risulta precisato il concetto intuitivo di computabilità e, conseguentemente, quello di decidibilità e di costruibilità.
→ Programmazione, algoritmi di ...
Leggi Tutto
La grande scienza. Intelligenza artificiale
Marco Somalvico
Francesco Amigoni
Viola Schiaffonati
Intelligenza artificiale
In questa trattazione viene presentata l'intelligenza artificiale (nel seguito [...] È opportuno quindi notare che nel sistema MYCIN (e nei sistemi esperti in generale) è la macchina che costruisce l'algoritmo risolvente il problema, mentre è l'uomo che è invitato a eseguirlo. I sistemi esperti rappresentano un paradigma storicamente ...
Leggi Tutto
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
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
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....