Intelligence artificielle en Lisp et Prolog

L'élaboration d'une intelligence artificielle constitue l'un des enjeux scientifiques cruciaux de notre temps. Or, comprendre l'IA, dans ses difficultés théoriques comme dans ses diverses applications informatiques, c'est d'abord comprendre les mécanismes de ses multiples langages. Adil Kabbaj s'est ainsi attaché à présenter les modes de programmation de deux de ses principaux langages : LISP et Prolog.

L'expose débute par une introduction aux concepts et opérations de base de la programmation fonctionnelle en LISP. Dans la deuxième partie de l'ouvrage, sont abordés les principes essentiels des systèmes de production, dont la description mène à l'analyse d'un domaine-clef en IA : la résolution de problèmes. Dans la troisième section, sont ensuite traités la programmation déclarative et logique en Prolog, et son application aux systèmes experts.

L'auteur consacre la dernière partie de cette vue d'ensemble au traitement du langage naturel : l'analyse par pattern-matching, l'analyse syntaxique du texte, la compilation et la génération, et enfin l'analyse syntaxico-sémantique, en particulier pour les bases de données.

Le propos est assorti de nombreux exemples de programmes, qui initient le lecteur aux notions et techniques mises en oeuvre en IA. Le choix de l'auteur s'est porté de préférence sur celles qui reflètent les approches révélatrices des premières grandes étapes du développement de l'IA.