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 .