Remerciez-le!

Remerciez @Admin pour avoir partagé cet document gratuitement, de la manière la plus simple, en partageant sur les réseaux sociaux.

Ing´ enierie de la cognition A.Revel 2001 Sommaire 1 Introduction 6 1 But . . .

Ing´ enierie de la cognition A.Revel 2001 Sommaire 1 Introduction 6 1 But . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 2 Historique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 3 Les principales applications de l’IA . . . . . . . . . . . . . . . . . . . . . . 10 4 Probl` ematique de l’IA . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 5 Plan du cours . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 2 Recherche dans un espace d’´ etats 13 1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 2 D´ eﬁnitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 3 Structures de donn´ ees . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 4 R´ esolution d’un probl` eme par recherche dans l’espace des ´ etats . . . . . . . 16 4.1 Algorithmes sur les graphes . . . . . . . . . . . . . . . . . . . . . . 18 4.1.1 Parcours en largeur d’abord . . . . . . . . . . . . . . . . . 18 4.1.2 Parcours en profondeur d’abord . . . . . . . . . . . . . . . 20 5 Algorithme A∗[Nilson 1971] . . . . . . . . . . . . . . . . . . . . . . . . . . 22 6 Formalisme ET-OU . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 6.1 Structures de donn´ ees . . . . . . . . . . . . . . . . . . . . . . . . . 25 6.2 Recherche OU . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 6.3 Recherche ET . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 6.3.1 Exemple . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27 6.4 Probl` eme du formalisme des graphes ET-OU . . . . . . . . . . . . . 27 7 Algorithmes de jeu . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30 7.1 Algorithme minimax . . . . . . . . . . . . . . . . . . . . . . . . . . 30 7.2 Algorithme NEGMAX [Knuth & Moore 1975] . . . . . . . . . . . . 31 7.3 Algorithme Alpha-B´ eta . . . . . . . . . . . . . . . . . . . . . . . . . 31 7.4 Am´ eliorations possibles des algorithmes de jeu . . . . . . . . . . . . 32 1 3 Syst` emes experts 33 1 Introduction aux syst` emes experts . . . . . . . . . . . . . . . . . . . . . . . 33 2 Exemple de syst` eme expert . . . . . . . . . . . . . . . . . . . . . . . . . . 35 2.1 Utilisation des syst` emes experts . . . . . . . . . . . . . . . . . . . . 35 3 Probl` emes rencontr´ es par les syst` emes experts . . . . . . . . . . . . . . . . 36 4 Logiques formelles 37 1 Logique des propositions (logique d’ordre 0) . . . . . . . . . . . . . . . . . 38 1.1 Exemples de d´ emonstration . . . . . . . . . . . . . . . . . . . . . . 39 1.1.1 Propri´ et´ es . . . . . . . . . . . . . . . . . . . . . . . . . . . 40 1.2 Le calcul des pr´ edicats (logique du premier ordre) . . . . . . . . . . 40 1.3 Propri´ et´ es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41 1.4 M´ ethodes de r´ esolution . . . . . . . . . . . . . . . . . . . . . . . . . 42 1.4.1 Herbrand [Herbrand 1930, Robinson 1965] . . . . . . . . . 42 1.4.2 Uniﬁcation . . . . . . . . . . . . . . . . . . . . . . . . . . 42 1.4.3 Diminution . . . . . . . . . . . . . . . . . . . . . . . . . . 42 1.4.4 Strat´ egie de saturation simple . . . . . . . . . . . . . . . . 43 1.4.5 Strat´ egie de saturation avec simpliﬁcation . . . . . . . . . 43 1.4.6 Arbre de d´ erivation . . . . . . . . . . . . . . . . . . . . . . 43 1.4.7 Extraction de r´ eponses . . . . . . . . . . . . . . . . . . . . 44 1.5 Autres logiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45 5 Logique ﬂoue 46 1 Ensembles ﬂous . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46 1.1 D´ eﬁnitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47 1.1.1 Support . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47 1.1.2 Hauteur . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47 1.1.3 Noyau . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47 1.1.4 Cardinal . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47 1.1.5 ´ Egalit´ e . . . . . . . . . . . . . . . . . . . . . . . . . . uploads/Philosophie/ cours-ia-pdf.pdf