Prêtable
| Titre : | Intelligence artificielle et informatique théorique |
| Auteurs : | Jean-Marc Alliot ; Thomas Schiex ; Pascal Brisset ; Frederic Garcia |
| Type de document : | texte imprimé |
| Mention d'édition : | 2ème éd. |
| Editeur : | Paris [France] : Cépaduès-éditions, 2002 |
| ISBN/ISSN/EAN : | 978-2-85428-578-9 |
| Format : | 542 p. / ill.; couv. ill. en coul. / 24 cm. |
| Langues: | Français |
| Langues originales: | Français |
| Index. décimale : | 006.3 (Intelligence artificielle (ouvrages généraux sur l'intelligence artificielle et la science cognitive, reconnaissance de formes comme outil de l'intelligence artificielle, systèmes de questions et réponses)) |
| Catégories : | |
| Mots-clés: | Logique mathématique ; Informatique théorique ; Intélligence artificielle (IA) |
| Résumé : |
Le but de cet ouvrage, à vocation pédagogique, est de dégager les contours souvent flous de ce que l'on appelle Intelligence Artificielle et d'aider à mieux comprendre quelle est sa place dans l'informatique moderne. Pour bien saisir l'ensemble des enjeux, il est bon de poser le problème en termes précis.
C'est pourquoi les bases théoriques de l'Intelligence Artificielle (logique et résolution) et les fondements de l'Informatique théorique (calculabilité, complexité, lambda-calcul) sont développés dans la première et la deuxième partie de ce livre. Puis les principales techniques de l'Intelligence Artificielle sont exposées de façon détaillé dans la troisième partie : programmation des jeux (du classique alpha-beta aux jeux Conway en passant par SSS*), problèmes de satisfaction de contraintes, algorithmes de parcours d'arbres ou de graphes (A*, ...). Les langages modernes de l'Intelligence Artificielle, qu'ils fassent partie de la programmation logique (Prolog) ou de la programmation fonctionnelle (Caml) sont présentés dans la quatrième partie. La cinquième partie est consacrée aux méthodes d'apprentissage symbolique, neuromimétiques et par renforcement, ainsi qu'aux algorithmes génétiques. La conclusion tente de replacer l'Intelligence Artificielle dans son contexte social et philosophique, et de comprendre comment elle a pu susciter tant de discours différents et tant de polémiques. Cet ouvrage offre un panorama des connaissances théoriques et techniques indispensables pour bien comprendre l'informatique d'aujourd'hui et évoluer vers ce que sera l'informatique de demain. |
| Note de contenu : |
Sommaire :
Chapitre 1: Logique mathematique, resolution Article 1: Le calcul propositionnel Article 2: Le calcul des prédicats Article 3: Les machines de Turing Article 4: Les systèmes formels Article 5: Calcul propositionnel et résolution Article 6: Calcul des prédicats et résolution Article 7: Les logiques non-classiques Chapitre 2: Elements d'informatique theorique Article 1: Théorie des langages formels Article 2: La calculabilité Article 3: La complexité Article 4: Calcul Chapitre 3: Techniques d'intelligence artificielle Article 1: Méthodes faibles Article 2: Problèmes de satisfaction de contraintes Article 3: La programmation des jeux Article 4: Les systèmes experts Chapitre 4: Les langages de l'ia Article 1: Programmation fonctionnelle Article 2: Programmation logique Chapitre 5: Apprentissage Article 1: Apprentissage symbolique automatique Article 2: Les réseaux de neurones Article 3: Algorithmes évolutionnaires Article 4: Apprentissage par renforcement |
Exemplaires (4)
| Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|
| F8/4455 | Livre | Bibliothèque de la Faculté de Technologie | Documentaire | Disponible |
| F8/4456 | Livre | Bibliothèque de la Faculté de Technologie | Documentaire | Disponible |
| F8/836 | Livre | Bibliothèque de la Faculté de Technologie | Documentaire | Disponible |
| F8/837 | Livre | Bibliothèque de la Faculté de Technologie | Documentaire | Disponible |
