| Titre : |
Modèles logiques et systèmes d'intelligence artificielle |
| Type de document : |
texte imprimé |
| Auteurs : |
Luisa Iturrioz ; Alain Dussauchoy |
| Editeur : |
Paris : Hermes Science Publications |
| Année de publication : |
1990 |
| Collection : |
Traité des nouvelles technologies |
| Sous-collection : |
Série Intelligence artificielle |
| Importance : |
352 p. |
| Présentation : |
ill. |
| Format : |
24 cm. |
| ISBN/ISSN/EAN : |
978-2-86601-205-2 |
| Note générale : |
Bibliogr. |
| Langues : |
Français (fre) |
| Mots-clés : |
Représentation des connaissances
Logique mathématique
Intelligence artificielle
Reconnaissance des formes (informatique) |
| Index. décimale : |
681.3.01 Principes du traitement des données |
| 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
... |
Modèles logiques et systèmes d'intelligence artificielle (1990)
