Résumer

Il y a ceux qui font quelque chose : Ils sont trois qui font quelque chose. Il y a ceux qui ne font rien: Ils sont dix qui font des conférences Sur ce que font les trois qui font quelque chose. Il y a ceux qui croient faire quelque chose Et ils sont cent qui font des conférences Sur ce que disent les dix De ce que font les trois qui font quelque chose. Et il arrive que l'un des cent dix vienne expliquer La manière de faire à l'un des trois qui font quelque chose. Alors l'un des trois intérieurement s'exaspère et Extérieurement sourit Mais il se tait car il n'a pas l'habitude de la parole D'ailleurs, il a quelque chose à faire.

Paul Valéry

S'attaquer aujourd'hui simultanément à l'Intelligence Artificielle et à l'Informatique Théorique est une œuvre titanesque. Bien que nous ne partagions pas tous les points de vue des auteurs (parfois un peu provocateurs), nous pensons qu'ils ont accompli un travail considérable. Nous connaissons assez bien les deux coupables (Thomas Schiex a fait sa thèse sous la responsabilité de Michel Cayrol et Jean-Marc Alliot sous celle de Luis Fariñas del Cerro), et savons que pour eux la découverte de l'informatique a été une révélation, quant à celle de l'Intelligence Artificielle, ils ne sont pas encore au bout de leurs étonnements!

Il s'agit donc d'un ouvrage écrit par deux passionnés qui ont beaucoup appris et compris en le rédigeant. Leur propos est extrêmement ambitieux car le terrain couvert est immense. C'est, à notre connaissance, la première fois, qu'en France, un ouvrage aborde des sujets aussi divers que l'algorithme SSS", la théorie des jeux de Conway ou les algorithmes génétiques... Nous pensons qu'ils ont su faire sourdre leur passion entre les lignes et que leur objectif secret est de vous inoculer le virus qui se trouve dans ces pages et qui infecte Jean-Marc et Thomas depuis bien longtemps. Nous espérons que ce livre aura beaucoup de succès, qu'il contribuera à faire mieux connaître quelques joyaux comme la théorie des jeux façon BCG (Berlekamp, Conway & Guy) et qu'il vous donnera l'envie d'aller encore plus loin. Pour conclure, nous souhaiterions appliquer à cet ouvrage la préface de Introduction à la théorie des langages de programmation de B. Meyer (InterÉditions) traduit par J. F. Picardat, préface de M. Bertrand Meyer qui s'applique parfaitement au livre de Jean-Marc Alliot et de Thomas Schiex: Peut-être même fournira-t-il quelques munitions à ceux qui tentent aujourd'hui de dessiller les yeux des responsables des programmes scolaires et universitaires français. La conception que l'on se fait en haut lieu du rôle de l'informatique est en effet, semble-t-il, bien étrange: dans les lycées, enseignons l'emploi des tableurs; dans les classes préparatoires, disent les instructions, jetez une pincée d'algorithmique, mais gardez-vous bien d'introduire la récursion! Sujet fort subversif certes, et dont on ne saurait trop souligner le danger: qu'adviendrait-il de nos valeurs morales et de l'ordre établi si l'on permettait à des turlupins de dix-huit ans d'apercevoir l'infini?.... Souhaitons que cet infini soit le vôtre grâce à ces deux turlupins que sont Jean- Marc et Thomas.

Merci à eux. Michel Cayrol et Luis Fariñas Del Cerro

Table des matières
Avant-propos 1
Définir l'Intelligence Artificielle
1.1 Qu'est-ce que l'intelligence artificielle?
1.2 Historique..
1.2.1 La préhistoire: 1945-1955
1.2.2 Les débuts: 1955-1970
1.2.3 La spécialisation: 1970-1980 1.2.4 Une reconnaissance: 1980-1990 1.3 Les différentes approches de l'IA
1.3.1 L'approche cognitive.
1.3.2 L'approche pragmatiste
1.3.3 L'approche connexionniste 1.3.4 Convergence de ces approches?
1.4 Notre définition de l'IA
1.5 Problèmes typiques d'IA
1.5.1 Les problèmes spécifiables et difficiles
1.5.2 Problèmes recouvrant un domaine précis
1.5.3 Autres domaines liés à l'IA. I Logique mathématique, résolution 2 Le calcul propositionnel
2.1 Méthodologie
2.2 Introduction informelle
2.3 Définitions.
2.4 Théorie des modèles
2.4.1 Introduction.
2.4.2 Définition formelle en calcul propositionnel
2.4.3 Application pratique: les tables de vérité 21
2.4.4 Tautologies 45
2.4.5 Substitution 46
2.4.6 La notion de conséquence valide 47
2.5 Théorie de la démonstration 48
2.5.1 Axiomatique du calcul propositionnel 48
2.5.2 Démonstrations 49
2.5.3 Déduction
2.6 Propriétés fondamentales.
2.6.1 Adéquation
2.6.2 Consistance
2.6.3 Complétudes
2.6.4 Décidabilité
2.6.5 Remarques
3 Le calcul des prédicats
3.1 Introduction
3.2 Définitions.
3.2.1 Variables liées, variables libres
3.2.2 Clôture d'une formule.
3.3 Théorie de la démonstration
3.3.1 Axiomatique du calcul des prédicats
3.3.2 Démonstration Déduction
3.3.3 Théorème de la déduction.
3.4 Théorie des modèles
3.4.1 Introduction informelle
3.4.2 Interprétation
3.4.3 Formule valide
3.4.4 Exemple de table de vérité 3.4.5 Satisfiabilité, insatisfiabilité et conséquence
3.4.6 Le problème des domaines infinis
3.5 Propriétés fondamentales
3.5.1 Adéquation - Consistance
3.5.2 Complétude
3.5.3 Décidabilité
3.5.4 Remarques
4 Les machines de Turing
4.1 Introduction.
4.2 Machine de Turing déterministe
4.3 Notion de calcul..
4.3.1 Calcul d'un argument et fonction calculable.
4.3.2 Exemple: f(x)=x+1
4.4 Réalisation pratique
4.5 Les machines de Turing non déterministes
4.6 Remarques 50

• Télécharger
• Voir Plus

Resultats du Test [Intelligence artificielle et Informatique théorique ]