Intelligence artificielle et syst��me expert

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