Outils logiques pour l'intelligence artificielle

L'objet de cet ouvrage est de présenter certains des concepts mathématiques et logiques importants en informatique, et dont le rôle est essentiel en Intelligence Artificielle. – Après un Chapitre 1 destiné à la «Présentation générale de l'Intelligence Artificielle», les principaux concepts considérés ici s'articulent autour de : – la théorie de la calculabilité (Chap. 2), introduite en se basant sur une certaine familiarité supposée avec la programmation, plutôt qu'à partir des machines de Turing; – la notion de système formel (Chap. 3), dont la compréhension est un point central pour tout travail sur la pensée et donc pour l'Intelligence Artificielle; – la logique des propositions et des prédicats (Chap. 4 et 5), qui constitue la seule théorie mathématiquement développée et formalisée du savoir, du raisonnement et de la vérité, et qui est donc un outil de base pour la représentation et la manipulation (informatique ou non) des connaissances; – les méthodes de démonstration automatique (Chap. 6 et 7) qui, là encore, constituent des instruments fondamentaux pour tout travail concernant le raisonnement, et qui permettent de plus de donner une assise théorique aux systèmes experts et à certains langages de l'Intelligence Artificielle, comme Prolog, dont le Chap. 8 fournit une présentation qui illustre et complète les concepts théoriques des autres chapitres.