| Titre : | Modèles logiques et systèmes d'intelligence artificielle |
| Auteurs : | Luisa Iturrioz ; Alain Dussauchoy |
| Type de document : | texte imprimé |
| Editeur : | Paris : Hermes Science Publications, 1990 |
| Collection : | Traité des nouvelles technologies, ISSN 0993-5037 |
| Sous-collection : | Série Intelligence artificielle |
| ISBN/ISSN/EAN : | 978-2-86601-205-2 |
| Format : | 352 p. / ill. / 24 cm. |
| Note générale : | Bibliogr. |
| Langues : | Français |
| Index. décimale : | 681.3.01 (Principes du traitement des données) |
| Tags : | Représentation des connaissances Logique mathématique Intelligence artificielle Reconnaissance des formes (informatique) |
| Résumé : | L'intelligence artificielle se propose de modéliser les connaissances de manière formelle et de simuler les raisonnements. Dans ce travail fort complexe la logique mathématique offre un cadre particulièrement fécond. Cet apport est réciproque. Il était donc intéressant d'étudier les systèmes d'intelligence artificielle qui se sont construits à partir des logique mathématiques. Classique et non classiques (logique flous, modale, temporelle...), à partir de la psychologie cognitive et de l'informatique elle-même. |
| Note de contenu : |
Sommaire:
*Chap.1: Logiques non classiques. Présentation et applications à l'intelligence artificielle *Chap.2: La représentation des connaissances *Chap.3: Logic mondial : quelque jalons essentielle *Chap.4: Introduction à logique intuitionniste *Chap.5: Logiques multivaluées : un outil souple et pluriel ... |
Exemplaires (1)
| Cote | Support | Localisation | Section | Disponibilité | Etat_Exemplaire |
|---|---|---|---|---|---|
| 681.3.01 MOD | Papier | Bibliothèque Centrale | Informatique | Disponible |
