Quelles sont les principales contributions de Turing à l'informatique ?

Principales contributions de Turing en informatique : 1. Proposer le concept de [Test de Turing] ; 2. Inventer la machine de Turing ; 3. L'origine de l'idée d'intelligence artificielle ; . Détermination des problèmes.

Principales contributions de Turing en informatique :

1. Proposition du concept de « test de Turing »

🎜>

Le « test de Turing » fait référence à la situation dans laquelle le testeur et le sujet (une personne et une machine) sont séparés, et le sujet se voit poser des questions aléatoires via certains appareils (comme un clavier).

Après plusieurs tests, si plus de 30 % des testeurs ne peuvent pas déterminer si la personne testée est un humain ou une machine, alors la machine réussira le test et sera considérée comme ayant une intelligence humaine.

Le terme test de Turing vient d'un article "Computing Machinery and Intelligence" rédigé par Alan Mathison Turing, un pionnier de l'informatique et de la cryptographie, en 1950, dont 30 % sont de Turing. Une prédiction de ce que seraient les machines capable de penser en l'an 2000, une prévision dont nous sommes actuellement très en retard.

Turing a prédit qu'à la fin du 20ème siècle, il y aura des ordinateurs qui passeront le "test de Turing". Le 7 juin 2014, lors de la conférence « 2014 Turing Test » organisée à la Royal Society, l'organisatrice, l'Université de Reading, a publié un communiqué de presse.

Affirme que le logiciel d'intelligence artificielle Eugene Goostman, fondé par le Russe Vladimir Veselov, a réussi le test de Turing. Bien que le logiciel "Eugène" soit loin de pouvoir "penser", il constitue aussi un événement marquant dans l'histoire de l'intelligence artificielle et même des ordinateurs.

La machine de Turing a été proposée par Turing en 1936. Il s'agit d'un modèle informatique universel précis qui peut simuler tous les aspects d'un ordinateur réel. comportement.

La machine dite de Turing fait référence à une machine abstraite. Elle possède une bande de papier infiniment longue. La bande de papier est divisée en petits carrés, chaque carré a une couleur différente. Il y a une tête de machine qui se déplace sur la bande de papier. La tête de la machine possède un ensemble d'états internes et quelques programmes fixes. À chaque instant, la tête de la machine doit lire un carré d'informations sur la bande de papier actuelle, puis rechercher dans la table du programme en fonction de son propre état interne, sortir les informations sur le carré de bande de papier en fonction du programme et convertir son propre état interne. , puis Faites un geste.

En 1949, Turing devient doyen adjoint du laboratoire informatique de l'université de Manchester, dédié au développement et à l'exploitation de Manchester The Mark. 1 modèle stocke le logiciel requis pour un ordinateur programmable.

Cet article de Turing en 1956 a été republié sous le titre « Les machines peuvent-elles penser ? » À cette époque, l'intelligence artificielle entre également dans la phase de développement pratique. L'idée de Turing sur l'intelligence artificielle est sans aucun doute l'une des origines directes de l'intelligence artificielle. Et grâce à des recherches approfondies dans le domaine de l’intelligence artificielle, les gens sont de plus en plus conscients de la profondeur des idées de Turing : elles sont encore aujourd’hui l’une des idées principales de l’intelligence artificielle.

De 1952 jusqu'à sa mort, Turing a continué à mener des recherches en biologie mathématique. Il a publié un article « Les bases chimiques de la morphogenèse » en 1952. Son principal intérêt est la séquence des feuilles de Fibonacci, les nombres de Fibonacci trouvés dans les structures végétales. Il a appliqué la formule de réaction-diffusion, qui est désormais centrale dans le domaine de la formation de motifs. Aucun de ses articles ultérieurs n'a été publié, et ce n'est qu'à la publication de « The Selected Works of Alan Turing » en 1992 que ces articles ont vu le jour.

En 1937, Turing a utilisé sa méthode pour résoudre le célèbre problème de décision de Hilbert : le calcul des prédicats étroits (également connu sous le nom de problème de premier ordre). déterminer la satisfiabilité de formules logiques.

Il a utilisé les formules de la logique du premier ordre pour coder la machine de Turing, puis a dérivé l'indécidabilité de la logique du premier ordre de l'indécidabilité du problème d'arrêt de la machine de Turing. La « méthode de codage » qu'il a créée ici est devenue l'une des principales méthodes utilisées plus tard pour prouver l'indécidabilité des formules en logique du premier ordre.

Concernant le problème de décision, une autre réalisation de Turing est le concept de machine de Turing avec source d'information externe proposé en 1939, dont sont dérivés les concepts de « réductibilité de Turing » et de récursion relative.

En utilisant les concepts de réduction et de récursion relative, le degré d'indécidabilité et de non-récursion peut être comparé. Sur cette base, E. Post a proposé le concept important d’insolvabilité, et les travaux dans ce domaine ont ensuite fait des progrès significatifs.

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!