Fondements logiques de l'intelligence artificielle

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.