Logique pour l'informatique et pour l'intelligence artificielle

Par : Ricardo Caferra, Ricardo Caferra

Formats :

Actuellement indisponible
Cet article est actuellement indisponible, il ne peut pas être commandé sur notre site pour le moment. Nous vous invitons à vous inscrire à l'alerte disponibilité, vous recevrez un e-mail dès que cet ouvrage sera à nouveau disponible.
Disponible dans votre compte client Decitre ou Furet du Nord dès validation de votre commande. Le format PDF est :
  • Compatible avec une lecture sur My Vivlio (smartphone, tablette, ordinateur)
  • Compatible avec une lecture sur liseuses Vivlio
  • Pour les liseuses autres que Vivlio, vous devez utiliser le logiciel Adobe Digital Edition. Non compatible avec la lecture sur les liseuses Kindle, Remarkable et Sony
Logo Vivlio, qui est-ce ?

Notre partenaire de plateforme de lecture numérique où vous retrouverez l'ensemble de vos ebooks gratuitement

Pour en savoir plus sur nos ebooks, consultez notre aide en ligne ici
C'est si simple ! Lisez votre ebook avec l'app Vivlio sur votre tablette, mobile ou ordinateur :
Google PlayApp Store
  • Nombre de pages424
  • FormatPDF
  • ISBN978-2-7462-4111-4
  • EAN9782746241114
  • Date de parution23/12/2010
  • Copier Coller01 page(s) autorisée(s)
  • Protection num.Digital Watermarking
  • Taille5 Mo
  • Transferts max.Autorisé
  • Infos supplémentairesPDF avec Watermark
  • ÉditeurHermes Science Publications

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.
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.