Votre compte

Logique pour l'informatique et pour l'intelligence artificielle


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.

Ce livre est classé dans les catégories :

92,00 €
?

Ebook PDF

Ce format de livre numérique est plus adapté aux grands écrans (ordinateur & tablette) qu'aux petits écrans (liseuse et smartphone) car il ne permet pas d'adapter la taille de la police d'écriture.

Ebook protégé par filigrane

L’éditeur de ce livre a choisi de protéger ce fichier par filigrane (ou watermarking). Ce filigrane permet de relier le fichier à son propriétaire via l’apposition d’un filigrane visible ou invisible sur le fichier.

Vérifier la compatibilité de vos supports

Vous aimerez aussi

Fiche détaillée de “Logique pour l'informatique et pour l'intelligence artificielle”

Fiche technique

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.

Biographie de Ricardo Caferra

Avis des internautes


Aucun commentaire n'a été posté sur ce livre.

Ajouter votre commentaire