University Sétif 1 FERHAT ABBAS Faculty of Sciences
Détail d'une collection
|
|
Documents disponibles dans la collection
Ajouter le résultat dans votre panier Affiner la recherche
Titre : Logique pour l'informatique et pour l'intelligence artificielle Type de document : texte imprimé Auteurs : Ricardo Caferra Editeur : Paris : Lavoisier Année de publication : 2011 Collection : Informatique/ Pomerol,Jean-Charles Importance : 1 vol. (424 p.) Format : 25 cm ISBN/ISSN/EAN : 978-2-7462-2600-5 Catégories : Informatique Mots-clés : Informatique
Logique(informatique)
Intelligence artificielleIndex. décimale : 004 - Informatique Résumé :
La logique, qu'elle soit propositionnelle, du premier ordre ou non classique, joue un rôle capital dans l'informatique et plus particulièrement dans l'intelligence artificielle. Conçu dans un but d'autoformation, Logique pour l'informatique et pour l'intelligence artificielle donne les bases conceptuelles et les techniques nécessaires à la bonne utilisation d'outils tels que les démonstrateurs automatiques ou assistés. Il analyse les méthodes des tableaux sémantiques, de Davis et Putnam, de résolution ainsi que les concepts d'unification et de subsomption. La méthode de traduction est privilégiée pour les logiques non classiques. Les exemples ont été choisis de façon à guider la conception d'abstractions pertinentes pour des classes de problèmes. Les digressions et remarques permettent d'approfondir certains sujets et de découvrir des liens avec d'autres domaines d'étude. Les nombreux exercices corrigés apportent un complément indispensable à la bonne compréhension et à l'assimilation des notions (cit. 4e de couv.)
Note de contenu :
Sommaire
1. Introduction
2. Un peu de réflexion avant la formalisation
3. La logique propositionnelle (LP ou CP)
4 Les termes du premier ordre
5. Logique du premier ordre ou logique des prédicats (L1O (LP1,. CP1))
6. Fondements de programmation en logique
7. L'intelligence et l'intelligence artificielle
8. L'inférence
9. La spécification des problèmes et les langages de la logique
10. Les logiques (dites) non classiques
11. La connaissance et la logique : quelques notionsCôte titre : Fs/7863-7865 Logique pour l'informatique et pour l'intelligence artificielle [texte imprimé] / Ricardo Caferra . - Paris : Lavoisier, 2011 . - 1 vol. (424 p.) ; 25 cm. - (Informatique/ Pomerol,Jean-Charles) .
ISBN : 978-2-7462-2600-5
Catégories : Informatique Mots-clés : Informatique
Logique(informatique)
Intelligence artificielleIndex. décimale : 004 - Informatique Résumé :
La logique, qu'elle soit propositionnelle, du premier ordre ou non classique, joue un rôle capital dans l'informatique et plus particulièrement dans l'intelligence artificielle. Conçu dans un but d'autoformation, Logique pour l'informatique et pour l'intelligence artificielle donne les bases conceptuelles et les techniques nécessaires à la bonne utilisation d'outils tels que les démonstrateurs automatiques ou assistés. Il analyse les méthodes des tableaux sémantiques, de Davis et Putnam, de résolution ainsi que les concepts d'unification et de subsomption. La méthode de traduction est privilégiée pour les logiques non classiques. Les exemples ont été choisis de façon à guider la conception d'abstractions pertinentes pour des classes de problèmes. Les digressions et remarques permettent d'approfondir certains sujets et de découvrir des liens avec d'autres domaines d'étude. Les nombreux exercices corrigés apportent un complément indispensable à la bonne compréhension et à l'assimilation des notions (cit. 4e de couv.)
Note de contenu :
Sommaire
1. Introduction
2. Un peu de réflexion avant la formalisation
3. La logique propositionnelle (LP ou CP)
4 Les termes du premier ordre
5. Logique du premier ordre ou logique des prédicats (L1O (LP1,. CP1))
6. Fondements de programmation en logique
7. L'intelligence et l'intelligence artificielle
8. L'inférence
9. La spécification des problèmes et les langages de la logique
10. Les logiques (dites) non classiques
11. La connaissance et la logique : quelques notionsCôte titre : Fs/7863-7865 Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité Fs/7863 Fs/7863-7865 livre Bibliothéque des sciences Français Disponible
DisponibleFs/7864 Fs/7863-7865 livre Bibliothéque des sciences Français Disponible
DisponibleFs/7865 Fs/7863-7865 livre Bibliothéque des sciences Français Disponible
Disponible
