Perché la ricerca e il gioco sono al centro dell'attribuzione delle risorse?
Quando si esamina l'apparente ossessione per il gioco mentre i ricercatori tentano di simulare parti delle capacità umane di problem solving, l'ortodossia delle opinioni di John McCarthy (1927 - 2011) potrebbe essere fuorviante.
I pregiudizi editoriali delle pubblicazioni e i temi di fantascienza popolari possono oscurare le forze primarie che portano all'apparizione di ossessione per lo sviluppo di software di gioco da tavolo vincente. Quando si esamina l'allocazione di fondi e risorse umane all'interno dei numerosi campi della ricerca e dello sviluppo dell'intelligence, è necessario un certo background storico per aggirare le distorsioni tipiche delle risposte alle domande in questa rete sociale.
Sfondo storico
La capacità di posizionarci fuori dal nostro tempo e nella mentalità di altri periodi è utile quando si analizza la storia, compresa la storia scientifica e tecnologica.
Considera che la visione di McCarthy non era ortodossa ai suoi tempi. Divenne rapidamente ortodosso a causa di una serie di tendenze emergenti nel pensiero dell'automazione tra scienziati e matematici in tempi immediatamente successivi all'industrializzazione occidentale. Questo pensiero era la naturale estensione della meccanizzazione delle industrie della stampa, tessile, agricola e dei trasporti e della guerra.
Entro la metà del XX secolo, alcune di queste tendenze si unirono per concettualizzare il computer digitale. Altri sono diventati ortodossia all'interno della comunità di persone che studiavano aspetti dell'intelligenza attraverso i sistemi digitali. Lo sfondo tecnico comprendeva lavori teorici e elettromeccanici, alcuni dei quali hanno raggiunto un certo livello di fama pubblica. Ma all'epoca era generalmente segreto o troppo astratto (e quindi oscuro) essere considerati elementi di interesse per la sicurezza nazionale.
- Teoria della cibernetica, sviluppata in gran parte da Norbert Wiener (1894-1964)
- Il lavoro svolto sull'automazione dell'aritmetica (estendendo la teoria di George Boole e il calcolatore di Blaise Pascal, con finanziamenti primari originati dall'esercito americano nell'interesse di guidare le armi antiaeree calcolando le probabili traiettorie del nemico degli aerei e determinando coordinate sferiche per creare un probabile interessante traiettoria balistica
- Spesso ha respinto il lavoro di Alonso Church (1903 - 1995) sul calcolo lambda che ha portato all'idea della programmazione funzionale, un aspetto chiave per l'emergere del LISP a Cambridge, che McCarthy ha sfruttato per la sperimentazione precoce dell'IA
- La nascita della teoria dell'informazione, principalmente attraverso il lavoro di Claude Shannon (1916 - 2001), finanziata attraverso Bell Labs nell'interesse dell'automazione del cambio delle comunicazioni
- Il primo lavoro di crittografia dello studente di dottorato della Chiesa, Alan Turing, finanziato interamente dalle forze alleate con l'obiettivo di ricerca e sviluppo di sconfiggere il dispositivo di crittografia Enigma in modo che le forze naziste potessero essere fermate prima del completo annientamento di Londra e di altri obiettivi alleati
- Il lavoro su John von Neumann (1903 - 1957) per centralizzare l'implementazione della logica booleana arbitraria insieme all'aritmetica intera in una singola unità (attualmente chiamata CPU) e memorizzare il programma che controllava l'implementazione in infradito elettronici insieme ai dati da elaborare e i risultati (la stessa architettura generale utilizzata oggi da quasi tutti i dispositivi informatici contemporanei)
Tutti questi erano concetti che circondavano la visione degli automi, la simulazione di aspetti funzionali della neurologia dei mammiferi. (Una scimmia o un elefante può pianificare ed eseguire con successo lo schiacciamento di una mosca, ma una mosca non è in grado di pianificare ed eseguire un attacco a una scimmia o un elefante.)
La sperimentazione dell'intelligence e la sua simulazione tramite manipolazione simbolica utilizzando un nuovo linguaggio di programmazione, LISP, è stata al centro di John McCarthy e del suo ruolo nella creazione del MIT AI Laboratory. Ma qualunque ortodossia possa essere esistita con regole (sistemi di produzione), reti neurali e algoritmi genetici basati sulle regole, si è ampiamente diversificata in una nuvola di idee che rendono il termine ortodossia alquanto nebuloso. Seguono alcuni esempi.
- Richard Stallman si è dimesso dal MIT AI Lab e ha iniziato un passaggio filosofico lontano da molte delle filosofie economiche che hanno dominato quel periodo di tempo. Il risultato fu il software GNU e LINUX, seguiti da hardware aperto e creative commons, concetti in gran parte contrari all'orientamento filosofico di coloro che finanziarono i focolai dell'IA.
- Molti sistemi proprietari (e quindi riservati alla società) usano metodi bayesiani o componenti adattativi che derivano più dal lavoro di Norbert Wiener che da qualsiasi altra cosa che fosse considerata la principale ricerca dell'IA negli anni '70.
La nascita della teoria dei giochi
L'evento chiave che risponde alla domanda più direttamente in questa sfilata di eventi storici è un'altra opera di von Neumann. Il suo libro Game Theory, scritto insieme a Oskar Morgenstern, è forse il fattore più forte tra le condizioni storiche che hanno portato alla persistenza di Go and Chess come scenari di test per software di problem solving.
Sebbene ci fossero molti lavori precedenti su come vincere a Chess o Go, mai prima d'ora c'era un trattamento matematico e una presentazione tanto avvincente come quella di Game Theory.
I membri privilegiati della comunità scientifica erano ben consapevoli del successo di von Neumann nell'aumentare la temperatura e la pressione del materiale fissile alla massa critica e il suo lavoro nel derivare la termodinamica classica dalla teoria quantistica. Le basi della matematica che ha presentato in Game Theory sono state rapidamente accettate (da alcune delle stesse persone che hanno finanziato la ricerca al MIT) come un potenziale strumento predittivo per l'economia. La previsione dell'economia è stata il primo passo per controllarla.
La teoria incontra la filosofia geopolitica
La filosofia dominante che guidò la politica occidentale durante quel periodo fu il Destino manifesto, essenzialmente la visione fatalista di un Nuovo Ordine Mondiale, il cui capo sarebbe stato nelle sedi del potere americano. Documenti declassificati indicano che è molto probabile che i leader di quel tempo vedessero il dominio economico raggiunto attraverso l'applicazione della teoria dei giochi come considerevolmente meno rischiosa e costosa della conquista militare seguita dal mantenimento delle basi delle operazioni (guarnigioni ad alta tecnologia) vicino ad ogni area popolata all'estero .
Le sfide altamente pubblicizzate per lo sviluppo degli automi Chess and Go sono semplicemente smagliature che le aziende e i governi usano come primo taglio nell'acquisizione di risorse per il personale. I risultati del gioco sono come i curriculum. Un programma di gioco vincente è una prova dell'esistenza di abilità di programmazione che probabilmente riuscirebbe anche nello sviluppo di giochi più importanti che muovono miliardi di dollari o vincono guerre.
Coloro che sanno scrivere il codice vincente Chess o Go sono considerati beni di alto valore. La ricerca di finanziamenti per il gioco è stata vista come un modo per identificare tali risorse. Anche in assenza di un ritorno immediato sugli investimenti, l'identificazione di questi beni, poiché possono essere nascosti in gruppi di riflessione per tracciare il dominio del mondo, sono diventati una considerazione primaria quando vengono assegnati fondi per la ricerca.
Percorsi lenti e veloci per il ritorno sugli investimenti
Contrariamente a questo pensiero geopolitico, la ricerca del prestigio istituzionale sul retro di un programmatore o di una squadra abili è un altro fattore. In questo scenario, sono stati cercati progressi nella simulazione dell'intelligence che potrebbero presentare miglioramenti geometrici in alcune importanti industrie o applicazioni militari.
Ad esempio, programmi come Maxima (un precursore di applicazioni matematiche di risoluzione dei problemi come Mathematica) sono stati finanziati con la speranza di sviluppare la matematica usando il calcolo simbolico.
Questo percorso verso il successo si basava concettualmente sul determinismo come filosofia naturale globale. In effetti, era l'epitome del determinismo. È stato proposto che, se un computer non solo potesse fare l'aritmetica ma sviluppare teoremi matematici della complessità sovrumana, i modelli di sforzi umani potrebbero essere ridotti in equazioni e risolti. La prevedibilità per un'ampia varietà di importanti fenomeni economici, militari e politici potrebbe quindi essere utilizzata nel processo decisionale, consentendo un guadagno significativo.
Con sorpresa di molti, il successo di Maxima e di altri programmi di matematica è stato molto limitato nel suo impatto positivo sulla capacità di prevedere in modo affidabile eventi economici e geopolitici. L'emergere della teoria del caos ha spiegato il perché.
Battere un maestro umano con un programma si è rivelato alla portata della ricerca e sviluppo del XX secolo. L'uso del software per sperimentare vari approcci informatici alla vittoria di un gioco era realizzabile e quindi più attraente per le istituzioni come un modo per guadagnare prestigio, proprio come una squadra di basket vincente.
Non dimentichiamo la scoperta
A volte le apparenze sono in diretta opposizione alla realtà. Le varie applicazioni di macchine pensanti sopra menzionate non sono state dimenticate e le spese in termini di tempo e denaro necessarie per simulare aspetti delle abilità dei mammiferi non perderanno finanziamenti per lo sviluppo dell'automa di gioco da tavolo.
La tecnologia è in gran parte occupata a risolvere problemi di comunicazione, militari, geopolitici, economici e finanziari che superano di gran lunga la complessità di giochi come Chess and Go. La teoria dei giochi include elementi di mosse casuali fatte da non giocatori fin dall'inizio. Pertanto, l'ossessione per Chess and Go è semplicemente una firma dell'attuale focus del finanziamento e dell'attività nei molti campi della simulazione dell'intelligence.
Il software in grado di giocare a una partita media di Chess or Go non viene distribuito né ai computer di modellazione globale NSA né ai macchinari di indicizzazione di Google. I grandi dollari vengono spesi per sviluppare ciò che l'IS è schierato in tali luoghi.
Non vedrai mai i dettagli o anche una panoramica di tale ricerca e sviluppo descritta online, tranne nel caso di persone che, per qualche motivo personalmente convincente, violano gli accordi confidenziali della loro azienda o commettono tradimento.