L'apparition d'interprètes sur de gros systèmes, tels Prolog-Dec10, puis des premiers compilateurs Prolog basés sur le fonctionnement de la machine virtuelle de Warren contribuèrent à la renommée du langage ainsi qu'a sa diffusion dans les universités puis l'industrie comme un puissant langage de l'Intelligence Artificielle [Warren-77, 83]. Le langage Prolog est fondé sur une restriction de la logique du premier ordre : l'ensemble des clauses de Horn. Le fait d'utiliser la logique du premier ordre comme langage de programmation était révolutionnaire parce que, jusqu'en 1972, une des utilisations de la logique en informatique était pour écrire des spécifications formelles et déclaratives. Kowalski nous montre dans son papier sur ce langage [Kowalski-74] que la logique des clauses de Horn possède une interprétation opérationnelle qui la rend très efficace comme fondement d'un langage de programmation, puis il effectue une preuve de la complétude de la méthode de dérivation sur laquelle se fondent tous les interprètes Prolog. De plus, la définition d'une sémantique formelle d'un langage de programmation logique [Emden-Kowalski-76] permet de définir une sémantique du point fixe pour les programmes utilisant les clauses de Hom comme syntaxe formelle, mais elle permet aussi de démontrer qu'elle était identique au modèle minimal d'une sémantique opérationnelle. Cet aspect est aussi étudié dans le cadre de la norme Prolog en cours de rédaction [Deransart&all-85].

Ce mémoire porte sur la figure de l'intelligence artificielle, en ce qu'elle permet d'incarner les craintes et les angoisses mises au jour par la critique sociale véhiculée dans les fictions dystopiques. Il analyse les manifestations d'êtres-machines et de structures de contrôle social créés par l'humanité, et dont la conduite témoigne d'une forme d'intelligence; il montre ainsi en quoi certaines structures sociales se calquent sur les machines pensantes imaginées. S'appuyant sur une approche pluridisciplinaire qui fait notamment appel aux domaines de la cybernétique, de la biologie et de la science politique, cette étude de la dystopie se concentre plus particulièrement sur le corpus littéraire suivant: Nineteen Eighty-Four, de George Orwell, Le Dépeupleur, de Samuel Beckett, et Neuromancer, de William Gibson. Prenant ses racines dans l'utopie, la dystopie a été façonnée au XIXe siècle à partir des craintes et des désillusions liées à une industrialisation qui modifiait radicalement le mode de vie humain. Dans ce type de fictions, les rapports de force entre l'humanité et ses outils -ses créations -basculent, car la technique y permet la transmission d'un ascendant sur l'être humain. Cette emprise se voit exacerbée par la machine pensante, dont l'accession à la vie autorise un niveau d'indépendance et d'initiative inaccessible à ses prédécesseurs. Ce faisant, l'intelligence artificielle permet d'imager le déplacement de point focal qui s'opère quand l'outil devient une fin en soi, de même qu'elle illustre les potentialités asservissantes d'une utilisation inconsidérée de la technique. À l'image de l'être artificiel, les structures machiniques de la dystopie acquièrent suffisamment d'autonomie pour pouvoir, elles aussi, attenter à la souveraineté de l'individu. L'humain, noyé au sein de ces structures qui le submergent, n'est alors plus qu'une composante insignifiante dont la spécificité se fait systématiquement gommer par la machine sociale. En définitive, qu'il s'agisse d'un être ou d'un système, la figure de l'intelligence artificielle apparaît comme un sujet agissant, qui incarne la propension de la dystopie à réduire l'individu à l'état de pion. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Dystopie, Intelligence artificielle, Cybernétique, George Orwell, Samuel Beckett, William Gibson.

Th. Etat--Esthétique, sciences et technologie de arts--Paris 8, 2001. / Bibliogr. p. 381-387.

Habil.-Schr.--Berlin--Freie Univ. / Bibliogr. p. 253-287. Index.

Thèse doctorat : Informatique : Villeurbanne, INSA : 2006. / Titre provenant de l'écran-titre. Bibliogr. p. [124]-134. Publications de l'auteur p. [155]-157.

Reproduction de : Thèse d'Etat : sciences : Grenoble, INPG : 1987. / Titre provenant de l'écran-titre. Bibliogr. p. 265-279.

Thèse doctorat : Informatique. Documents Multimédias, Images et Systèmes d'Information Communicants : Villeurbanne, INSA : 2006. / Titre provenant de l'écran-titre. Bibliogr. p. 227-241.

Thèse de doctorat : Sciences informatiques : Paris 12 : 2007. / Titre provenant de l'écran-titre. Bibliogr. : 100 réf.

Reproduction de : Habilitation à diriger des recherches : Informatique : Lille 1 : 2005. / Synthèse des travaux. Curriculum vitae. Recueil d'articles en anglais non reproduit dans la version électronique. N° d'ordre (Lille 1) : 477. Titre provenant de la page de titre du document numérisé. Bibliogr. à la suite de chaque chapitre. Liste des publications et communications.

Thèse doctorat : Automatique, Génie Informatique : Nancy 1 : 2007. / Titre provenant de l'éran-titre.