Pourquoi le Game Playing R&D est-il un objectif de l'allocation des ressources?
Lorsque l'on examine l'obsession apparente du jeu alors que les chercheurs tentent de simuler des parties des capacités de résolution de problèmes humains, l'orthodoxie des vues de John McCarthy (1927-2011) peut être trompeuse.
Les biais éditoriaux de publication et les thèmes de science-fiction populaires peuvent obscurcir les principales forces qui conduisent à l'apparence d'obsession de développer des logiciels de jeux de société gagnants. Lors de l'examen de l'allocation des fonds et des ressources humaines dans les nombreux domaines de la recherche et du développement du renseignement, un certain contexte historique est nécessaire pour contourner les distorsions typiques des réponses aux questions de ce réseau social.
Contexte historique
La capacité de nous placer hors de notre temps et dans la mentalité d'autres périodes est utile lors de l'analyse de l'histoire, y compris l'histoire scientifique et technologique.
Considérez que la vision de McCarthy n'était pas orthodoxe à son époque. Il est rapidement devenu orthodoxe en raison d'une série de tendances émergentes dans la pensée de l'automatisation parmi les scientifiques et les mathématiciens dans les temps qui ont immédiatement suivi l'industrialisation occidentale. Cette réflexion est le prolongement naturel de la mécanisation des industries de l'imprimerie, du textile, de l'agriculture et des transports et de la guerre.
Au milieu du XXe siècle, certaines de ces tendances se sont combinées pour conceptualiser l'ordinateur numérique. D'autres sont devenus l'orthodoxie au sein de la communauté des personnes enquêtant sur les aspects du renseignement via des systèmes numériques. La toile de fond technique comprenait des travaux théoriques et des travaux électromécaniques, dont certains ont depuis acquis une certaine renommée publique. Mais il était généralement secret ou trop abstrait (et donc obscur) pour être considéré à l'époque comme des éléments d'intérêt pour la sécurité nationale.
- Théorie de la cybernétique, largement développée par Norbert Wiener (1894 - 1964)
- Les travaux effectués sur l'automatisation de l'arithmétique (extension de la théorie de George Boole et de la calculatrice de Blaise Pascal, avec un financement principal provenant de l'armée américaine dans le but de guider les armes antiaériennes en calculant les trajectoires probables de l'ennemi des avions et en déterminant les coordonnées sphériques pour créer un intéressant intéressant trajectoire balistique
- Souvent rejeté les travaux d'Alonso Church (1903-1995) sur le calcul lambda qui ont conduit à l'idée de la programmation fonctionnelle, un aspect clé de l'émergence du LISP à Cambridge, que McCarthy a utilisé pour l'expérimentation précoce de l'IA
- La naissance de la théorie de l'information, principalement grâce aux travaux de Claude Shannon (1916 - 2001), financé par les Bell Labs dans le but d'automatiser la commutation des communications
- Les premiers travaux de cryptanalyse de l'étudiant au doctorat de l'Église, Alan Turing, entièrement financés par les forces alliées dans le but de R&D de vaincre le dispositif de cryptographie Enigma afin que les forces nazies puissent être arrêtées avant l'annihilation complète de Londres et d'autres cibles alliées
- Le travail sur John von Neumann (1903 - 1957) vers la centralisation de l'implémentation de la logique booléenne arbitraire avec l'arithmétique entière dans une seule unité (actuellement appelée CPU) et le stockage du programme qui contrôlait l'implémentation dans des bascules électroniques avec les données à traiter et les résultats (la même architecture générale impliquée par presque tous les appareils informatiques contemporains aujourd'hui)
Tous ces éléments étaient des concepts entourant la vision des automates, la simulation des aspects fonctionnels de la neurologie des mammifères. (Un singe ou un éléphant peut planifier et exécuter avec succès l'écrasement d'une mouche, mais une mouche est incapable de planifier et d'exécuter une attaque contre un singe ou un éléphant.)
L'expérimentation dans l'intelligence et sa simulation via la manipulation symbolique à l'aide d'un nouveau langage de programmation, LISP, était au centre de l'attention de John McCarthy et de son rôle dans la création du laboratoire d'IA du MIT. Mais quelle que soit l'orthodoxie ayant existé avec des règles (systèmes de production), des réseaux de neurones et des algorithmes génétiques, elle s'est largement diversifiée en un nuage d'idées qui rend le terme orthodoxie quelque peu nébuleux. Voici quelques exemples.
- Richard Stallman a démissionné du MIT AI Lab et a commencé un changement philosophique loin de la plupart des philosophies économiques qui dominaient cette période. Le résultat a été le logiciel GNU et LINUX, suivi du matériel ouvert et des communs créatifs, des concepts largement opposés à l'orientation philosophique de ceux qui ont financé les foyers d'IA.
- De nombreux systèmes propriétaires (et donc confidentiels de l'entreprise) utilisent des méthodes bayésiennes ou des composants adaptatifs qui découlent davantage du travail de Norbert Wiener que de tout ce qui était considéré comme la recherche sur l'IA traditionnelle dans les années 1970.
La naissance de la théorie des jeux
L'événement clé qui répond le plus directement à la question dans ce défilé d'événements historiques est un autre travail de von Neumann. Son livre Game Theory, co-écrit avec Oskar Morgenstern, est peut-être le facteur le plus important parmi les conditions historiques qui ont conduit à la persistance de Go and Chess comme scénarios de test pour les logiciels de résolution de problèmes.
Bien qu'il y ait eu de nombreux travaux antérieurs sur la façon de gagner aux échecs ou au go, il n'y avait jamais eu auparavant de traitement mathématique et une présentation aussi convaincante que celle de Game Theory.
Les membres privilégiés de la communauté scientifique étaient bien conscients du succès de von Neumann à élever la température et la pression des matières fissiles à la masse critique et de son travail pour dériver la thermodynamique classique de la théorie quantique. Le fondement des mathématiques qu'il a présenté dans Game Theory a été rapidement accepté (par certaines des mêmes personnes qui ont financé la recherche au MIT) comme un outil prédictif potentiel pour l'économie. La prédiction de l'économie a été la première étape de son contrôle.
La théorie rencontre la philosophie géopolitique
La philosophie dominante qui a conduit la politique occidentale au cours de cette période était Manifest Destiny, essentiellement la vision fataliste d'un Nouvel Ordre Mondial, dont le chef serait aux sièges du pouvoir américain. Des documents déclassifiés indiquent qu'il est très probable que les dirigeants de l'époque aient vu la domination économique obtenue grâce à l'application de la théorie des jeux comme considérablement moins risquée et coûteuse que la conquête militaire suivie du maintien de bases d'opérations (garnisons de haute technologie) près de chaque zone peuplée à l'étranger .
Les défis très médiatisés pour développer des automates Chess and Go ne sont que des atouts que les entreprises et les gouvernements utilisent comme première coupe dans l'acquisition d'actifs personnels. Les résultats du jeu sont comme des CV. Un programme de jeu gagnant est une preuve de l'existence de compétences en programmation qui réussiraient probablement aussi à développer des jeux plus importants qui déplacent des milliards de dollars ou gagnent des guerres.
Ceux qui peuvent écrire du code Chess or Go gagnant sont considérés comme des actifs de grande valeur. Le financement de la recherche sur le jeu a été considéré comme un moyen d'identifier ces actifs. Même en l'absence de retour immédiat sur investissement, l'identification de ces actifs, car ils peuvent être cachés dans des think tanks pour tracer la domination du monde, est devenue une considération primordiale lors de l'allocation des fonds de recherche.
Des voies lentes et rapides vers le retour sur investissement
Contrairement à cette pensée géopolitique, la recherche d'un prestige institutionnel sur le dos d'un programmeur ou d'une équipe astucieuse est un autre facteur. Dans ce scénario, tout progrès dans la simulation de l'intelligence qui a le potentiel d'améliorations géométriques dans certaines applications industrielles ou militaires importantes a été recherché.
Par exemple, des programmes comme Maxima (un précurseur d'applications de résolution de problèmes mathématiques comme Mathematica) ont été financés dans l'espoir de développer des mathématiques en utilisant l'informatique symbolique.
Cette voie vers le succès reposait conceptuellement sur le déterminisme en tant que philosophie naturelle globale. En fait, c'était la quintessence du déterminisme. Il a été proposé que, si un ordinateur pouvait non seulement faire de l'arithmétique mais développer des théorèmes mathématiques de complexité surhumaine, les modèles d'efforts humains pourraient être réduits à des équations et résolus. La prévisibilité d'une grande variété de phénomènes économiques, militaires et politiques importants pourrait alors être utilisée dans la prise de décision, permettant un gain significatif.
À la surprise de beaucoup, le succès de Maxima et d'autres programmes de mathématiques a été très limité dans son impact positif sur la capacité de prédire de manière fiable les événements économiques et géopolitiques. L'émergence de la théorie du chaos a expliqué pourquoi.
Battre un maître humain avec un programme s'est avéré être à la portée de la R&D du XXe siècle. L'utilisation de logiciels pour expérimenter différentes approches informatiques pour gagner un match était réalisable et donc plus attrayante pour les institutions comme moyen de gagner du prestige, tout comme une équipe de basket-ball gagnante.
N'oublions pas la découverte
Parfois, les apparences sont en opposition directe avec la réalité. Les diverses applications mentionnées ci-dessus des machines à penser n'ont pas été oubliées, et les dépenses en temps et en argent nécessaires pour simuler des aspects des capacités des mammifères ne perdront pas de financement pour le développement d'automates de jeux de société.
La technologie est largement occupée à résoudre les problèmes de communication, militaires, géopolitiques, économiques et financiers qui dépassent de loin la complexité de jeux comme Chess and Go. La théorie des jeux comprend des éléments de mouvements aléatoires effectués par des non-joueurs dès sa création. Par conséquent, l'obsession de Chess and Go n'est que la signature de la focalisation réelle du financement et de l'activité dans les nombreux domaines de la simulation du renseignement.
Un logiciel capable de jouer à un jeu d'échecs ou de go moyen n'est déployé ni sur les ordinateurs de modélisation globale de la NSA ni sur le mécanisme d'indexation de Google. Les gros dollars sont dépensés pour développer ce qui est déployé dans de tels endroits.
Vous ne verrez jamais de détails ni même un aperçu de cette R&D décrite en ligne, sauf dans le cas de personnes qui, pour une raison personnellement impérieuse, violent leurs accords confidentiels d'entreprise ou commettent une trahison.