Intelligence artificielle : cours, exercices corrigés et projets

Auteur(s) :

Gacôgne, Louis Découvrir l'auteur

Résumé

Une synthèse des connaissances actuelles en matière d'intelligence artificielle, avec des exercices de programmation corrigés et des réalisations de projets. ©Electre 2015

Éditeur(s)
- Ellipses
Date
- cop. 2015
Notes
- Bibliogr. dispersée. Index
Langues
- Français
Description matérielle
- 1 vol. (240 p.) : ill. ; 24 cm
Collections
- Références sciences
Sujet(s)
ISBN
- 978-2-340-00884-7
Indice
- 681.7(07) Intelligence artificielle, systèmes experts. Manuels
Quatrième de couverture
- Ce livre s'adresse avant tout aux étudiants de master en informatique ou en écoles d'ingénieurs. Sans trop s'étendre sur les aspects théoriques, il souhaite donner un panorama de ce qui se fait actuellement en intelligence artificielle en insistant sur les applications.
  Issu d'un cours donné en école d'ingénieurs, cet ouvrage consacre une partie importante à la programmation logique, qui est véritablement une autre façon de poser les problèmes et contribue pour une grande part à la réalisation de projets.
  Les exercices de programmation sont principalement corrigés en Caml, mais aussi Lisp, Haskell et bien sûr Prolog.
Tables des matières
- - Intelligence artificielle
  - Cours, exercices corrigés et projets
  - Louis Gacôgne
  - Ellipses
  - Introduction 7
  - 1 Parcours d'arbres et de graphes 17
  - 1.1 Spécification et planification17
  - 1.2 L'algorithme du «backtracking»24
  - 1.3 L'algorithme A*35
  - 1.4 L'algorithme minimax39
  - 2 Systèmes experts 45
  - 2.1 Rappels théoriques45
  - 2.2 Exercices et projets47
  - 3 Langage Prolog 59
  - 3.1 Fonctionnement de l'interpréteur59
  - 3.2 Exercices de programmation en Prolog74
  - 3.3 Projets Prolog84
  - 4 Logique floue 99
  - 4.1 Les sous-ensembles flous99
  - 4.2 Généralisation du modus-ponens et commande floue108
  - 4.3 Mesures de confiance113
  - 4.4 Projets de logique floue119
  - 5 Apprentissage 127
  - 5.1 Arbres de décision127
  - 5.2 Classement et classification130
  - 5.3 Réseaux de neurones132
  - 5.4 Projets divers d'apprentissage139
  - 6 Evolution artificielle 147
  - 6.1 Méthodes locales149
  - 6.2 Algorithmes évolutionnaires152
  - 6.3 Projets d'évolution artificielle163
  - 7 Intelligence artificielle distribuée 181
  - 7.1 Dynamique des systèmes181
  - 7.2 Les automates cellulaires183
  - 7.3 Projets de systèmes multi-agents187
  - 8 Annexe sur le langage Lisp 201
  - 9 Annexe sur le langage Haskell 209
  - 10 Annexe de logique classique et logiques non classiques 221
  - 10.1 Aspect sémantique221
  - 10.2 Le point de vue syntaxique227
  - 10.3 Axiomatique de l'arithmétique231
  - 10.4 Calculabilité et complexité232
  - 10.5 Logiques non classiques235
  - Index 239
Origine de la notice:
- FR-751131015