Logique pour l'informatique et pour l'intelligence artificielle eBook

Galabria.be Logique pour l'informatique et pour l'intelligence artificielle Image
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.
INFORMATION
DATE DE PUBLICATION 2011-Jan-01
ISBN 9782746226005
AUTEUR Ricardo Caferra
TAILLE DU FICHIER 9,31 MB

Logique pour l'informatique et pour l'intelligence artificielle PDF. Découvrez de nouveaux livres avec galabria.be. Télécharger un livre Logique pour l'informatique et pour l'intelligence artificielle en format PDF est plus facile que jamais.

Clarifier l'acception de l'intelligence artificielle et son intégration dans la production. Une telle formation passe par une éducation informatique générale et une mobilisation de la société sur les formations Organiser une concertation pour anticiper les impacts économiques et sociaux de l'IA.

LIVRES CONNEXES