Ce livre analyse l'Intelligence Artificielle sous un triple aspect formel, technique et humain. Sur le plan formel, l'Intelligence Artificielle est la consquence du dveloppement de la logique, les questions thoriques auxquelles l'IA se rattache tant celles du raisonnement, de la dmonstration, de la calculabilit. D'un point de vue technique, l'Intelligence Artificielle procde de l'volution des automates, de la machine  calculer, depuis le premier modle de calculatrice ralis par Blaise Pascal, en passant par les machines de Charles Babbage, jusqu'aux premiers ordinateurs  lampes. Au niveau humain, l'Intelligence Artificielle concerne les donnes, les contenus traits par les machines, l'intrt primordial de l'informatique consistant prcisment  appliquer un traitement  des donnes symboliques, et les informations traites concernant ainsi prioritairement les activits humaines dans des donnes quantitatives ou qualitatives.