Journal des sciences théoriques et computationnelles
Libre accès

Abstrait

Machines informatiques, intelligence et indécidabilité

Paulo Castro

En 1950, Alan Turing a proposé un critère de décision pour la validation de l’intelligence dans un ordinateur. Plus simplement, si un juge humain était incapable de décider à partir de deux témoins qui était l’ordinateur et qui était l’humain, la machine aurait acquis une intelligence artificielle. Je soutiendrai ici que le test de Turing présente un problème fondamental, qui rend impossible la validation de l’intelligence humaine. En fait, le test est indécidable et ne peut donc pas être considéré comme une méthodologie valide pour tester l’intelligence artificielle. Cela ne signifie pas que la simulation de l’intelligence humaine dans une machine est impossible. Cela signifie que nous avons besoin d’une théorie générale offrant des caractéristiques communes aux agents intelligents et des mesures spécifiques pour la tester. Une théorie capable de prédire l’émergence de l’intelligence indépendamment de notre propre appréciation subjective de la façon dont un système interagit socialement avec nous. La question de savoir si une telle théorie est réalisable ou à notre portée, dans les années à venir, reste ouverte.