L'intelligence artificielle et la question du continu : remarques sur le modèle de Turing

Artificial intelligence and the question of the continuum, remarks on Turing’s model

• Auteur / Autrice : Jean Lassègue
• Direction : Daniel Andler
• Type : Thèse de doctorat
• Discipline(s) : Philosophie
• Date : Soutenance en 1994
• Etablissement(s) : Paris 10

Mots clés

Mots clés contrôlés

Turing, Alan Mathison (1912-1954)

Fonctions calculables

Philosophie des sciences

Intelligence artificielle

Turing, Machines de

Résumé

La thèse vise deux buts : décrire la notion de machine de Turing en tant que concept et en tant que modèle. L'hypothèse épistémologique de départ est la suivante : pour que la notion de machine de Turing ait psychologiquement une signification, il faut qu'elle soit mise en rapport avec la notion de continu et ce, dans les deux directions envisagées, concept et modèle. On décrit la notion de la machine du Turing en tant que concept dans la théorie de la calculabilité. On étudie le contexte épistémologique dans lequel le concept est né dans les années trente : philosophiquement, la "quelle des fondements en mathématique"; mathématiquement, l'apparition des différents formalismes permettant de rendre compte de la calculabilité des fonctions, dont le formalisme de la machine de Turing. On décrit dans la deuxième partie comment le concept de machine de Turing se transforme en modèle pour la théorie de la psychologie. La justification de cette transformation est étudiée à partir de l'expérience de pensée élaborée par Turing grâce au "jeu de l'imitation". On interprète le sens de ce jeu d'un point de vue formaliste, probabiliste et psychologique. On finit par conclure à l'absence de "test de Turing" dans le jeu, contrairement à ce qui est cru généralement. La troisième partie étudie la façon dont la notion de machine de Turing a servi de fondement à l'intelligence artificielle. Le modèle de Turing tel qu'il a été utilise jusqu'à présent engendre deux types de théories dualistes de l'esprit. Une théorie platonicienne et une théorie fonctionnaliste

The thesis has two goals: to describe the notion of a Turing machine as a concept on one hand and as a model on the other. The starting epistemological hypothesis is as follows: to make the notion of a Turing machine psychologically significant, one has to connect it to the notion of the continuum in the two direction already mentioned, concept and model. The notion of a Turing machine is describe as a concept in the theory of computability. The epistemological context in which the concept appeared in the thirties is brought to light: philosophically, it is linked to the foundational debate in mathematics, mathematically, to the birth of several formalisms allowing taking into account the computability of functions, one of them being the formalism of a Turing machine. How the concept of a Turing machine is transformed into a model for the theory of psychology is described in part two. The justification is justified by means of the thought experiment elaborated by Turing through the "imitation game". This game is interpreted from a formalist, probabilistic and psychological point of view. One has to admit that there is no "Turing test' in the game, contrary to what is generally believed. In part three, one looks at the way the notion of a Turing machine has been used as a foundation for artificial intelligence. The model of Turing, as it has been used up to now, generates two types of dualist theories: a Platonist and a functionalist one. By stressing the role played by language in the constitution of the model, a non-dualist interpretation is justified.