| Titre : | Intelligence artificielle et informatique théorique |
| Auteurs : | J. M. Alliot, Auteur ; T SCHIEX, Auteur |
| Type de document : | Monographie imprimée |
| Mention d'édition : | 2e édition. |
| Editeur : | Toulouse : Cépaduès-éditions, DL 2002. |
| ISBN/ISSN/EAN : | 978-2-85428-578-9 |
| Format : | 1 vol. (543 p.) / ill., couv. ill. en coul. / 24 cm. |
| Langues: | Français |
| Index. décimale : | 006.3 (Intelligence artificielle) |
| Catégories : |
[Agneaux] Intelligence artificielle [Agneaux] Langages formels [Agneaux] Logique symbolique et math©matique |
| 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ée dans la troisième partie programmation des jeux (du classique alphabeta 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.
|
| Sommaire : |
LOGIQUE MATHEMATIQUE, RESOLUTION
Le calcul propositionnel Le calcul des prédicats Les machines de Turing Les systèmes formels Calcul propositionnel et résolution Calcul des prédicats et résolution Les logiques non-classiques ELEMENTS D'INFORMATIQUE THEORIQUE Théorie des langages formels La calculabilité La complexité Calcul TECHNIQUES D'INTELLIGENCE ARTIFICIELLE Méthodes faibles Problèmes de satisfaction de contraintes La programmation des jeux Les systèmes experts LES LANGAGES DE L'IA Programmation fonctionnelle Programmation logique APPRENTISSAGE Apprentissage symbolique automatique Les réseaux de neurones Algorithmes évolutionnaires Apprentissage par renforcement |
Disponibilité (2)
| Cote | Support | Localisation | Statut |
|---|---|---|---|
| INF/131 | Livre | bibliothèque sciences exactes | Consultable |
| INF/131 | Livre | bibliothèque sciences exactes | Empruntable |
