Documents disponibles dans la sous-collection

Modèles logiques et systèmes d'intelligence artificielle / Luisa Iturrioz ; Alain Dussauchoy

Public ISBD Titre : Modèles logiques et systèmes d'intelligence artificielle Type de document : texte imprimé Auteurs : Luisa Iturrioz ; Alain Dussauchoy Editeur : Paris : Hermès Science 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 [texte imprimé] / Luisa Iturrioz ; Alain Dussauchoy . - Hermès Science, 1990 . - 352 p. : ill. ; 24 cm.. - (Traité des nouvelles technologies. Série Intelligence artificielle) . ISBN : 978-2-86601-205-2 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 ...

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité	Etat_Exemplaire
042711	681.3.01 MOD	Papier	Bibliothèque Centrale	Informatique	Disponible