Publisher's Synopsis
L'introduction se penche sur l'évolution historique et la définition de l'IA, en mettant l'accent sur l'émulation des processus cognitifs humains et sur le compromis entre la recherche et le stockage des connaissances. La vision abstraite de la modélisation et des connaissances élémentaires ouvre la voie à l'exploration de la logique computationnelle, y compris l'analyse des énoncés composés à l'aide de connecteurs logiques simples, la logique des prédicats et l'organisation et la manipulation des connaissances. Passant à la programmation et à la logique dans l'IA, le programme couvre le LISP et d'autres langages de programmation, en établissant des distinctions entre le LISP et le PROLOG. Il introduit la syntaxe, les fonctions numériques et explore la signification des entrées-sorties, des variables locales, de l'interaction et de la récursivité. L'unité se penche également sur les logiques symboliques formalisées, les systèmes de maintien de la vérité, le raisonnement par défaut et l'hypothèse d'un monde fermé.
