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 consquence du dveloppement de la logique, les questions thoriques auxquelles l'IA se rattache tant celles du raisonnement, de la dmonstration, de la calculabilit. D'un point de vue technique, l'Intelligence Artificielle procde de l'volution des automates, de la machine calculer, depuis le premier modle de calculatrice ralis par Blaise Pascal, en passant par les machines de Charles Babbage, jusqu'aux premiers ordinateurs lampes. Au niveau humain, l'Intelligence Artificielle concerne les donnes, les contenus traits par les machines, l'intrt primordial de l'informatique consistant prcisment appliquer un traitement des donnes symboliques, et les informations traites concernant ainsi prioritairement les activits humaines dans des donnes quantitatives ou qualitatives.