Please enable JavaScript.

Coggle requires JavaScript to display documents.

IA (INSIEME DI STUDI E TECNICHE CHE TENDONO ALLA REALIZZAZIONE DI MACCHINE…

- - - - in cui diede una risposta alla domanda di un grande matematico (David Hilbert )
        ESISTE UN MODO RIGOROSO PER STABILIRE SE UN ENUNCIATO MATEMATICO SIA VERO O FALSO ?
        
        Alan Turing risolse il quesito inventando una macchina immaginaria. Voleva dimostrare che l'attività matematica non è completamente meccanicizzabile
        
        MACCHINA DI TOURING
        Macchina teorica capace di eseguire ogni tipo di calcolo su numeri e simboli composta da
        
        NASTRO diviso in celle ognuna delle quali contiene
        un simbolo oppure è vuota (-)
        
        TESTINA (TLS) che i sposta lungo il nastro LEGGENDO, SCRIVENDO oppure CANCELLANDO i simboli nelle celle
        
        QUINTUPLE (regole ) che definiscono il comportamento della macchina
        
        struttura quintupla
        
        I --> a seconda di s e i, la TESTINA scrivera un nuovo simbolo nella cella
        
        S (s, i) --> nuovo stato (in base allo stato iniziale s)
        
        i --> simbolo letto dalla testina
        
        V --> a seconda di s e i , dopo aver scritto il nuovo simbolo, la testina si sposta o a destra o a sinistra
        
        s --> stato attuale
        
        una MDT è definita da :
        -alfabeto dei simboli che utilizza
        
        insieme degli stati in cui si può trovare
        
        -insieme delle quintuple Q che descrivono come si deve comportare
      - Durante la SGM decifrò (per conto del dipartimento di comunicazione inglese) i codici usati nelle comunicazioni tedesche. Turing e i compagni lavorarono con uno strumento chiamato "Colossus" che decifrava in modo veloce ed efficiente i codici tedeschi creati con "Enigma" (macchina capace di generare un codice che mutava quotidianamente) .
      - Nel 1950 scrisse l'articolo "Computing machinery and intelligence" sulla rivista Mind nel qiuale descrisse un criterio per determinare se una macchina è in grado di pensare (è intelligente o no ? )
        
        TEST DI TURING
        
        prevede che una persona chiusa in una stanza senza avere conoscenza dell'interlocutore con cui sta parlando, dialoghi sia con un altro essere umano che con una macchina. se il soggetto in questione non riuscisse a distinguere l'uno dall'altro si potrebbe dire che la macchina è intelligente perchè si comporta da essere umano tanto da essere sambiata con esso.
        
        3 partecipanti. svolgimento del test
        
        una persona B
        
        un'altra persona C
        
        persona, poi sostituita con una macchina A
        
        C è seperato da A e B e tramite una serie di domande deve capire chi è la macchina (A) e chi è l'essere umano (B)
        
        A cerca di ingannare C per portarlo a fare un'identificazione errata
        
        FINE DEL TEST
        
        1 more item...
        
        B deve aiutare C