Aïcha, étudiante en intelligence artificielle (IA), en est convaincue : l'IA est la solution miracle pour stopper la crise climatique. Félix, lui, s'oppose à l'IA, estimant au contraire qu'elle ne fera qu'empirer les choses. Chargée de les départager, l'excentrique Professeure Eliza, experte de l'IA, les emmène alors sur les traces des enjeux écologiques de l'intelligence artificielle, depuis le fond des mines d'où sont extraits les métaux rares indispensables à cette technologie, jusqu'au sommet des gouvernements, pour lesquels l'IA constitue un enjeu essentiel. Une exploration pleine de surprises pour répondre à cette question clé : face à la crise climatique, l'IA est-elle une chance unique ou un problème de plus ?
L'intelligence artificielle constitue l'un des fondements de l'informatique contemporaine et joue un rôle fondamental dans de très nombreuses applications.
Cet ouvrage présente l'ensemble des bases du domaine, comme la représentation de connaissances et l'inférence logique déductive, le traitement d'informations incertaines, les méthodes de recherche et de résolution de problèmes par abduction, ainsi que les techniques d'apprentissage automatique supervisées, non supervisées et bio-inspirées. La deuxième édition est complétée par les techniques d'inférence probabilistes et d'apprentissage qui se sont développées récemment. A la différence d'autres ouvrages plus théoriques, ce manuel se veut délibérément pratique et présente l'intelligence artificielle dans le cadre de son application à la résolution de problèmes réels.
Afin d'offrir une compréhension optimale de la matière, des applications et de nombreux exercices de programmation résolus sont présentés dans leur intégralité. Ceux-ci permettent au lecteur d'appréhender les mécanismes principaux de la discipline afin qu'il puisse les adapter à ses propres besoins. L'ouvrage est ainsi particulièrement indiqué aux étudiants de dernière année de Bachelor et ceux de Master, ainsi qu'à toutes les personnes qui souhaitent s'initier à l'intelligence artificielle.
L'automatisation totale ou partielle d'un processus de résolution de problèmes nécessite une analyse, une modélisation puis une traduction en un programme informatique des connaissances humaines.
En désignant les objets qui nous entourent, en les organisant en structures signifiantes, la connaissance possède un rôle de médiation entre une réalité perçue et des interprétations rationnelles. Mais quels sont le rôle et la nature des connaissances mobilisées par l'humain dans le cadre d'une activité de résolution de problèmes ? Dans quelle mesure ces connaissances sont-elles modélisables ? Sous quels formalismes ? Quelles sont les connaissances mises en jeu dans un processus de modélisation ? Quelle méthodologie adopter pour traduire des connaissances humaines en programmes informatiques ? C'est à ces questions fondamentales que cherche à répondre cette excellente introduction à la modélisation cognitive.
L'ouvrage s'adresse aux ingénieurs, étudiants et chercheurs en intelligence artificielle, en modélisation et plus particulièrement en ingénierie des connaissances.
Robotique, vie artificielle, réalité virtuelle, traitement des langue naturelles... derrière toutes ces applications se cache un même univers, l'intelligence artificielle, et un même objectif, la recherche de moyens susceptibles de doter les systèmes informatiques de capacités intellectuelles comparables à celles des êtres humains. C'est afin de procurer aux étudiants un support d'enseignement clair et pédagogique que les auteurs ont conçu ce manuel. Illustré de nombreux exemples programmés, il expose les bases indispensables de l'intelligence artificielle au travers de 5 démarches clairement identifiées: fonctionnelle, illustrée par le langage Scheme, qui établit la possibilité d'une informatique qualitative ou symbolique, par opposition à l'informatique numérique; logique, illustrée par la programmation en Prolog, avec un même formalisme pour les connaissances primaires, les connaissances déductibles, ou le savoir-faire et débouchant sur les systèmes experts; objet, qui assure la gestion de masses de connaissances par l'exploitation de classifications; grammaticale, qui traite des rapports entre forme et abstraction, et ouvre sur le traitement des langues naturelles comme sur la modélisation de certains systèmes dynamiques et enfin acteurs/agents, qui concerne une approche distribuée des activités intelligentes, combinant délégation, coopérations, compétitions et négociations. Original par le juste équilibre atteint entre théorie et pratique, cet ouvrage constitue aussi une excellente référence pour tous les praticiens en intelligence artificielle.
Les fichiers échangés sur Internet et stockés sur les disques durs contiennent de l'information qui deviendra finalement du texte, des images ou des sons. Mais comment cette information est-elle mesurée et comprimée ? Comment est-elle sécurisée pour éviter les copies illicites ? Comment est-elle protégée contre les erreurs lors d'une recopie ? Voici les questions auxquelles répond cet ouvrage. Sans équivalent dans la littérature, il présente pour la première fois les théories de l'entropie, du codage et de la cryptographie de façon simple, claire et pédagogique.
Principalement destiné aux étudiants en sciences de première année de Bachelor, il intéressera aussi, et plus largement, tous ceux curieux de comprendre la théorie scientifique à la base du traitement de l'information.
Tout modèle est une représentation concrète exprimée dans un langage donné d'un point de vue subjectif et finalisé sur un sujet d'études.
Cet ouvrage est construit en quatre parties. la première partie situe la notion de modèle dans un contexte élargi aux notions de sujet d'études, langage et théorie/points de vue. cet ensemble forme à son tour un nouveau sujet d'études. la deuxième partie propose un premier point de vue sur celui-ci en se focalisant sur les relations entre modèle, sujets d'études et théorie. la troisième partie aborde les questions de l'influence du langage dans la conception d'un modèle et de la modélisation de langages.
L'ouvrage traite enfin de l'interprétation des modèles en tant que messages porteurs d'informations véhiculant de la connaissance. abordant la notion de modèle de façon globale et complète, cet ouvrage s'adresse à tous les étudiants en sciences, ainsi qu'à tous les ingénieurs amenés à modéliser des phénomènes ou à concevoir des systèmes.
The field of concurrent computing has gained in importance after major chip manufacturers switched their focus from increasing the speed of individual processors to increasing the number of processors on a chip. The computer industry has thus been calling for a software revolution: the concurrency revolution. A major challenge underlying this paradigm shift is creating a library of abstractions that developers can use for general purpose concurrent programming. We study in this book how to define and build such abstractions in a rigorous manner. We focus on those that are considered the most difficult to get right and have the highest impact on the overall performance of a program: synchronization abstractions, also called shared objects or concurrent data structures. The book is intended for software developers and students. It began as a set of lecture notes for courses given at EPFL, Saarland University, Technical University of Berlin, and Télécom ParisTech.
