Télécharger : Logique - Méthodes pour l'intelligence artificielle Tome 3

Télécharger livre en PDF "Logique : Méthodes pour l'intelligence artificielle"

Description :

Ce livre offre un focus complet sur l'utilisation de la logique, basé sur les découvertes les plus récentes et les méthodes d'exposition. Après les méthodes informatiques de base et les méthodes formelles d'étude des programmes, le volume 3 présente les méthodes de l'intelligence artificielle. L'une des origines du livre est d'illustrer systématiquement la théorie avec des exemples d'une complexité suffisante pour justifier le recours à des méthodes formelles, mais suffisamment simples pour remplir un rôle éducatif.