151 |
Etude et Réalisation d'un Système d'Aide à la Mise au Point en Programmation LogiqueDebarbieri, Christian 25 April 1990 (has links) (PDF)
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].
|
152 |
L'intelligence artificielle comme figure de la dystopie dans Nineteen eighty-four, de George Orwell, le Dépeupleur, de Samuel Beckett, et Neuromancer, de William GibsonTaillefer, Hélène January 2009 (has links) (PDF)
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.
|
153 |
Techniques de contrôle de logiciels en informatique musicale /Mary, Mario Marcelo, January 1900 (has links)
Th. Etat--Esthétique, sciences et technologie de arts--Paris 8, 2001. / Bibliogr. p. 381-387.
|
154 |
Konstruierte Wirklichkeiten : Kybernetische Bewusstseinsformen im anglo-amerikanischen Roman des 20. Jahrhunderts /Klein, Herbert-Günther, January 1998 (has links)
Habil.-Schr.--Berlin--Freie Univ. / Bibliogr. p. 253-287. Index.
|
155 |
Conception de systèmes intelligents pour la télémédecine citoyenneAtoui, Hussein Rubel, Paul. Fayn, Jocelyne. January 2006 (has links)
Thèse doctorat : Informatique : Villeurbanne, INSA : 2006. / Titre provenant de l'écran-titre. Bibliogr. p. [124]-134. Publications de l'auteur p. [155]-157.
|
156 |
Raisonnement géométrique et méthodes de décision en robotique application à la programmation automatique des robots /Laugier, Christian Latombe, Jean-Claude. January 2008 (has links)
Reproduction de : Thèse d'Etat : sciences : Grenoble, INPG : 1987. / Titre provenant de l'écran-titre. Bibliogr. p. 265-279.
|
157 |
P.A.S. Pluggable Alert System un système pour la génération et l'affichage d'alertes médicales adaptées à l'utilisateur /Arantes Júnior, Wimondes Manzi de Flory, André. Verdier, Christine. January 2007 (has links)
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.
|
158 |
Contribution à l'étude et à la mise en oeuvre d'approches hybrides d'aide au diagnostic application aux domaines biomédical et industriel /Kanaoui, Nadia Madani, Kurosh. January 2008 (has links) (PDF)
Thèse de doctorat : Sciences informatiques : Paris 12 : 2007. / Titre provenant de l'écran-titre. Bibliogr. : 100 réf.
|
159 |
Conception par agent orientée compétencesRoutier, Jean-Christophe Mathieu, Philippe January 2007 (has links)
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.
|
160 |
Proposition d'un environnement de modélisation et de test d'architectures de pilotage par le produit de systèmes de productionPannequin, Rémi Morel, Gérard Thomas, André January 2007 (has links) (PDF)
Thèse doctorat : Automatique, Génie Informatique : Nancy 1 : 2007. / Titre provenant de l'éran-titre.
|
Page generated in 0.1146 seconds