IA-Cours

Intelligence artificielleRéférences“Intelligence artificielle — Artificial Intelligence”, PH Winston, Addison Wesley“La représentation des connaissances”, D. Kayser, Hermes“Artificial Intelligence”, H. Rich, Addison WesleyHistoriqueLa préhistoire 1945 - 1955Traduction automatique.Les débuts 1955 - 1970Apparition du mot Intelligence artificielleConférence de Dartmouth aux Etats-Unis (Août 1956)Claude Shannon, John McCarthy (LISP, 1958), Marvin Lee MinskyPostulat de John McCarthy :“Toute activité intelligente est modélisable et reproductible par une machine”Premier programme d’IA : “The Logic Theorist” 1956, démonstrateur de théorèmes.Autres programmes : A.M. (Automated Mathematician) de Douglas Lenat 1974 est un programme de découverte, Eurisko ou MACISTE de Jacques PitratSystèmes généraux de résolution de problèmes — General Problem Solver (GPS)Newell, Analyse fins-moyens — “means ends analysis” : Etat initial → Etat finaloperateursCaractériser les opérateurs en tant que réducteur de différences, entre états.Programmes de jeux d’échecs“What Computers Can’t Do” Herbert L. Dreyfus, 1972, MIT Press1958-1960 : Création de LISP par John McCarthyLa spécialisation 1970-1980J.A. Robinson (1965) : principe de résolution à la base de PROLOGAlain Colmerauer, Robert KowalskiL’intelligence artificielle se scinde en différentes branches :• La compréhension (traitement) du langage naturel• La démonstration automatique de théorèmes• Les jeux• La résolution de ...