La vita artificiale
Thomas S. Ray
(ATR Human lnformation Processing, Research Laboratories Kyoto, Giappone)
La vita artificiale (VA) estende il campo di indagine della biologia, permettendo di studiare [...] interlocutore è l'uomo o la macchina, allora dobbiamo considerare la macchina intelligente.
I metodi tipo il testdiTuring sono sempre considerati come sufficienti, non come necessari. Personalmente li considero del tutto inadeguati, perché hanno la ...
Leggi Tutto
Turing 〈tiùrin〉 Alan Mathison [STF] (Londra 1912 - Wilmslow, Cheshire, 1954) Lettore di matematica nell'univ. di Manchester (1948). ◆ [INF] Ipotesi di T.: v. automi, teoria degli: I 330 b. ◆ [INF] Macchina [...] di T.: modello meccanico di algoritmi, proposto da T. nel 1936: v. automi, teoria degli: I 330 b e Gödel, teorema di: III 56 f. ◆ [INF] Testdi T.: v. intelligenza artificiale: III 233 b. ...
Leggi Tutto
Informatica
Giorgio Ausiello
Carlo Batini
Vittorio Frosini
(App. IV, ii, p. 189; V, ii, p. 704)
Mentre negli anni 1937-38 venivano pubblicati l'ultimo volume della Enciclopedia Italiana e l'App. I, [...] .
Un altro modello astratto frequentemente utilizzato negli studi di complessità computazionale è la macchina diTuring. Tale macchina dispone di una memoria interna con un numero finito di stati e di un nastro (memoria esterna) suddiviso in celle, e ...
Leggi Tutto
Matematica: problemi aperti
Claudio Procesi
Prima di parlare dei problemi aperti nella matematica è bene riflettere su quelli che ne hanno segnato la storia passata. Sono infatti proprio questi che [...] di Manindra Agrawal e altri sul test polinomiale di primalità e la discussione del problema P verso NP) è se esistano infiniti primi di infiniti di parole. L'idea di algoritmo viene così trasformata in quella di macchina diTuring che riconosce ...
Leggi Tutto
Complessità algoritmica
Fabrizio Luccio
Gli studi di complessità di calcolo si sono sviluppati essenzialmente nella seconda metà del ventesimo secolo. Basati sulla formalizzazione del concetto di algoritmo, [...] deterministici
La macchina diTuring è una macchina astratta di dimensioni finite, dotata di una testa che scandisce le celle di un nastro esterno di lunghezza illimitata su cui esegue operazioni di lettura e scrittura e di un controllo che determina ...
Leggi Tutto
Psiche
Simona Argentieri
Il sostantivo psiche è desueto e rimanda a una remota classicità o a contesti accademici, ma le parole che contengono nella radice il riferimento alla p., come psicologia, psicoanalisi, [...] l'intelligenza naturale e la cosiddetta intelligenza artificiale dei calcolatori elettronici.
Nel 1950 A. Turing propose di risolvere il dilemma con il celebre test che porta il suo nome: il soggetto che si sottoponeva all'esperimento era sfidato a ...
Leggi Tutto
INFORMAZIONE, SCIENZA DELLA
Roman Tirler
Pierluigi Ridolfi
Stefano Ceri e Alfonso Fuggetta
Tecnologie della comunicazione di Roman Tirler
Sommario: 1. Introduzione. 2. Tecniche di comunicazione dati: [...] consultazioni a distanza e l'esame congiunto dei risultati ditest diagnostici.
6. Le prospettive future
Gli sviluppi della arduo di tutta l'informatica, ben sintetizzato nella famosa formulazione del problema proposta dal matematico Alan Turing, uno ...
Leggi Tutto
La seconda rivoluzione scientifica: fisica e chimica (1945-1960). L'elettronica e il calcolo
Jon Agar
L'elettronica e il calcolo
Negli anni 1945-1946 fu resa pubblica la definizione di 'calcolatore [...] da un gruppo di lavoro di cui faceva parte Alan M. Turing (1912-1954), il quale ne redasse il manuale di programmazione; tra la progettazione e l'effettuazione ditest sulle armi nucleari; i microsecondi iniziali di una detonazione nucleare infatti ...
Leggi Tutto
modello linguistico di grandi dimensioni (LLM, Llm) loc. s.le m. Algoritmo di intelligenza artificiale che, processando massivamente una grande quantità di dati, utilizza tecniche di deep learning in vari àmbiti dell’elaborazione del linguaggio...
CAPTCHA
Sigla dell'ingl. Completely Automated Public Turing (test to tell) Computers (and humans) Apart ('test di Turing pubblico e automatico per distinguere i computer dagli esseri umani'), indicante in informatica un codice di sicurezza...