Turochamp

Turochamp

Informazione
Sviluppato da Alan Turing e DG Champernowne
genere Programma di scacchi

Turochamp è un programma di scacchi e il primo gioco sviluppato per un computer , sviluppato nel 1948 da Alan Turing e DG Champernowne . I due scrivono gli algoritmi quando non hanno un computer, poi Turing cerca di adattare il programma su Ferranti Mark I , ma la scrittura rimane incompiuta. Il programma utilizza in particolare importanti metodi di valutazione e concetti di selettività . Tuttavia, il suo funzionamento non si basa su una ricerca esaustiva, ma piuttosto su un orientamento di tipo euristico . Nel 1952 un amico di Turing giocò contro Turochamp e vinse la partita, mentre Turing simulava a mano i calcoli normalmente effettuati dal computer.

Nel 100 ° anniversario della nascita di Alan Turing, nel 2012, il programma viene ricostruito da esperti di computer e Garry Kasparov , uno dei migliori giocatori nella storia degli scacchi , gioca una partita contro di lui, che vince facilmente riconoscendo lo storico contesto e la qualità di Turochamp .

Turochamp rimane il primo programma di scacchi, progettato ancor prima dei primi computer. Tuttavia, inNovembre 1951, Dietrich Prinz, che lavorava per Ferranti , sviluppò il primo programma di scacchi basato su computer , il Ferranti Mark I del Massachusetts Institute of Technology (MIT).

Storia dello sviluppo

Alan Turing è un matematico britannico nato nel 1912, famoso per la sua macchina di Turing di cui pose le basi nel 1936, la sua partecipazione alla decrittazione della macchina Enigma durante la seconda guerra mondiale e il suo lavoro che ha fondato scientificamente l' informatica . Nel 1946, Turing scrisse un rapporto per il National Physical Laboratory (NPL), intitolato Calcolatrice elettronica proposta , in cui descriveva alcuni problemi che intendeva sottoporre al computer ACE , uno dei quali era la realizzazione di un programma per giocare a scacchi. Nel 1947 lesse alla London Mathematical Society in cui presentò l'idea che una macchina programmata per giocare a scacchi potesse imparare da sola e acquisire esperienza propria. Successivamente, nel 1948, scrisse un nuovo rapporto per l'NPL, intitolato Intelligent Machinery , che suggeriva una forma di imitazione del gioco (simile al test di Turing ) che sarebbe diventata famosa attraverso il suo articolo intitolato Computing Machinery and Intelligence , pubblicato nel 1950.

Nella tarda estate del 1948 , Turing e l' economico statistico D. G. Champernowne , il suo amico e collega di King 's College , Cambridge , messo a punto un sistema di regole teoriche per determinare le successive mosse in una partita a scacchi. Sviluppano quindi un programma di scacchi noto con il titolo di Turochamp , per un computer che ancora non esiste. Il nome del programma si basa sul loro cognome. Champernowne spiega che sua moglie ha giocato una partita a scacchi contro il programma e ha perso la partita. All'algoritmo di Turing, messo solo su carta, viene dato il soprannome di macchina per la carta .

Turochamp implementa le regole di base decretate da Turing e Champernowne, consentendo di ottenere i migliori colpi. Il programma utilizza in particolare importanti metodi di valutazione e concetti di selettività . Tuttavia, il suo funzionamento non si basa su una ricerca esaustiva, ma piuttosto su un orientamento di tipo euristico . Prevede solo le prossime due mosse in una partita calcolando centinaia di potenziali mosse e normalmente può terminare una partita. Turochamp simula tutti i movimenti autorizzati in base alla situazione fino alle posizioni morte, quindi calcola tutte le azioni possibili durante la mossa successiva del suo avversario. Per valutare le posizioni e le decisioni da prendere, Turing e Champernowne hanno sviluppato diversi criteri come la mobilità dei pezzi e dei loro possibili movimenti, la sicurezza dei pezzi così come la mobilità e la sicurezza del re , l' arrocco , la struttura del pedone , il minaccia di scacco matto e il valore di ogni pezzo . Ogni criterio attribuisce punti che il duo ha definito in base alla mossa, il che consente a Turochamp di decidere la mossa migliore da giocare (ad esempio: un pedone vale 1 punto , un cavaliere vale 3, un alfiere 3.5 , un turno 5 e regina 10  ; altri punti vengono assegnati se la torre, l'alfiere o il cavallo sono difesi, 1 punto o mezzo punto vengono assegnati in base alla minaccia di scacco matto; ei punti vengono detratti in base alla vulnerabilità del re). Champernowne afferma che la maggior parte della loro attenzione si è concentrata sulla decisione di quale mossa seguire. Turing ammette che queste regole producono una partita di scacchi di basso livello, commisurato al suo livello che considera medio.

Turing cerca di eseguire il gioco sul computer Ferranti Mark I , ma la piattaforma non dispone di potenza e non può eseguire il programma. Inoltre, il codice è troppo complesso. La scrittura del programma rimane incompleta. Jack Copeland , professore di filosofia all'Università di Canterbury in Nuova Zelanda e autore di un libro su Alan Turing, chiarisce che questo non infastidisce Turing, tanto è convinto del futuro funzionamento del suo programma. Turochamp perde una partita, che è stata registrata, contro un collega di Turing chiamato Alick Glennie. Turing esegue le operazioni normalmente calcolate dal computer a mano, che richiede quasi mezz'ora per determinare ogni mossa.

Nel 1953, Turing scrisse un articolo pubblicato nel libro di BV Bowden Faster Than Thought: Symposium on Digital Computing Machines . Turing pone domande e risponde citando il sistema di valutazione, con concetti di strategia Minimax , analisi preventiva variabile, ricerca quiescente  (in) e apprendimento. Va molto oltre rispetto alle regole messe in atto in Turochamp . Non menziona il nome di Turochamp ma evoca la parte di una macchina contro un essere umano.

I posteri

Eredità e influenza

Il codice originale scritto da Turing e Champernowne non è stato conservato. Nel 1980, Champernowne descrisse come poteva funzionare Turochamp , ma non ricordò in dettaglio tutte le regole implementate nel programma. Nel 2012, esperti di computer hanno ricreato il programma con l'obiettivo di giocare un gioco simbolico.

Turochamp rimane il primo programma di scacchi, progettato ancor prima dei primi computer. Turochamp ha reso Alan Turing uno dei candidati al titolo di fondatore di programmi di scacchi, proprio come Claude Shannon con il suo articolo del 1949 intitolato Programming a Computer for Playing Chess e Konrad Zuse grazie al suo linguaggio di programmazione intitolato Plankalkül e alle routine di scacchi al computer da cui scrive Dal 1941 al 1945. Nel 1947-1948, Donald Michie e Shaun Wylie scrissero anche un programma di scacchi chiamato Machiavelli , che Turing tentò invano di trasporre a Ferranti Mark I contemporaneamente a Turochamp . Questo programma, che consente solo di calcolare una profondità di corsa e scritto come un concorrente di Turochamp , rimane incompiuto.

Nel Novembre 1951, Dietrich Prinz, che lavorava per Ferranti , sviluppò il primo programma di scacchi basato su computer, il Ferranti Mark I del Massachusetts Institute of Technology (MIT). Prinz impara a programmare su Ferranti Mark I frequentando seminari guidati da Alan Turing .

Turochamp contro Kasparov

In occasione della Conferenza del Centenario di Alan Turing di22 a 25 giugno 2012in occasione dei 100 anni dalla nascita di Alan Turing , viene organizzata una partita a scacchi tra Turochamp e Garry Kasparov , uno dei migliori giocatori della storia degli scacchi , a sessant'anni dalla storica partita diMaggio 1952. Il programma è ricreato da esperti di computer, secondo le regole ideate da Turing e Champernowne. Tuttavia, gli esperti si imbattono in alcuni colpi descritti da Turing nel suo gioco del 1952 che il programma moderno non può eseguire. Ken Thompson , uno dei pionieri degli scacchi al computer, che in particolare ha realizzato il primo computer interamente dedicato agli scacchi di nome Belle , cerca di rimediare al problema, ma, perplesso, non trova una soluzione. Fu quindi contattato Donald Michie che svolse anche un programma di scacchi nel 1947-1948. Questo pioniere dell'intelligenza artificiale ricorda che Turing non era appassionato di dettagli e si concentrava su grandi idee e principi generali.

Intitolato Turing program vs Kasparov , il programma si gioca su un computer portatile, grazie al programma ChessBase che permette di eseguire il Turing Engine (così chiamato in memoria di Alan Turing). La partita si conclude con la vittoria di Kasparov in 16 mosse . Nonostante questa vittoria molto facile, Kasparov riconosce il contesto storico e la qualità di Turochamp che si qualifica, per i suoi 60 anni , come la prima partita della storia.

“Turing ha scritto gli algoritmi senza nemmeno avere un computer. I giovani scienziati non avrebbero nemmeno creduto che fosse possibile. È stato un risultato eccezionale. "

-  Garry Kasparov .

Appunti

  1. (in) "  The Alan Turing Centenary Conference Manchester UK  " ,2016(accesso 8 settembre 2016 ) .

Riferimenti

  1. Jean Lassègue, "  Alan Turing, un soffio di genio  " , su Interstices ,2 luglio 2012.
  2. S. Barry Cooper e Jan van Leeuwen , parte III , p.  644-650.
  3. Alan Mathison Turing e BJ Copeland , p.  563-564.
  4. (in) Anthea Carson, "  The 1952 Chess Computer Paper of Alan Turing  " (accesso 7 agosto 2016 ) .
  5. (in) "  David Champernowne (1912-2000)  " , ICGA Journal  (in) , vol.  23,dicembre 2000, p.  262.
  6. (it) Bryan Bishop, "  programma di scacchi di 60 anni di Alan Turing assume Garry Kasparov  " , su The Verge ,26 giugno 2012.
  7. (it) Daniel Cochlin, "  Kasparov contro Turing  " , il Manchester.ac.uk ,26 giugno 2012.
  8. (it) “  Una‘semplice’motore per l'interfaccia Fritz / Rybka  ” , su USCFSales - Ufficiale di scacchi Negozio della Federazione Scacchi Stati Uniti ,1 ° luglio 2011.
  9. David NL Levy, Monroe Newborn e Monty Newborn , p.  35.
  10. Tristan Donovan , p.  1-9.
  11. (en) Liat Clark e Ian Steadman, “  successi di Turing: crittoanalisi, AI e la nascita della scienza informatica  ” , su wired .co.uk ,18 giugno 2012.
  12. Graham Oppy e Nick Trakakis , p.  13-14.
  13. Bowden , p.  286-287.
  14. L. Fox , p.  187-190.
  15. (it) "  Giocatore del Secolo  " , Nuovo negli scacchi , agosto 1999 e gennaio 2000, pag.  6-7.
  16. Subrata Dasgupta , p.  193.
  17. Lisa Rougetet, "  Una macchina scatola di fiammiferi che impara a suonare Morpion  " , il CNRS: Immagini della matematica ,26 febbraio 2016(visitato il 9 agosto 2016 ) .
  18. George W. Atkinson 1998 , p.  39.
  19. (a) "  Kasparov contro programma di scacchi del 1950 di Alan Turing  " su Chessvibes .
  20. (in) "  Computer History Museum - Middle Game Computer Chess Comes of Age  " nel Computer History Museum .
  21. (in) "  Necrologio: Donald Michie  " su The Guardian ,10 luglio 2007.
  22. (in) Frederic Friede, "  The Reconstruction of Turing's" Paper Machine  " su Videolectures.net ,10 luglio 2012.
  23. (in) "  Alan Turing interpreta Garry Kasparov a scacchi 58 anni dopo la sua morte  " su Chess News ,27 giugno 2012.
  24. (in) "L'  algoritmo di scacchi scritto da Alan Turing sale contre Kasparov  " su The Register .

Bibliografia

Documento utilizzato per scrivere l'articolo : documento utilizzato come fonte per questo articolo.

link esterno

icona del video Video esterno
[video] ( fr ) Turochamp contro Kasparov