GIND5439

Systèmes Intelligents

Chapitre 1: Intelligence artificielle

Contenu du chapitre
„ Approches vs Intelligence artificielle
„ Définition de l’intelligence
„ Historique
„ Le test de Turing

GIND5439 – Gabriel Cormier, Université de Moncton 2

GIND5439 – Gabriel Cormier. „ L’ordinateur comme un métaphore du cerveau est l’approche dominante des 60 dernières années.Approches „ Science cognitive ‰ L’IA est la seule façon de déterminer comment l’être humain fonctionne. peu importe comment l’être humain fonctionne. „ IA forte ‰ Machines avec de l’intelligence d’un humain „ IA faible ‰ Machine ayant un comportement intelligent mais inférieur aux humains. Université de Moncton 3 . „ Ingénieurs ‰ Utilisent des ordinateur pour faire des choses intelligentes.

Université de Moncton 4 . (Minsky.Qu’est-ce que l’intelligence artificielle? „ C’est l’émulation du comportement humain. „ C’est utiliser des machines pour faire des choses qui seraient considérées intelligentes si elles étaient faites par des humains (Boden 1977). 1968) GIND5439 – Gabriel Cormier. „ C’est programmer des ordinateurs pour faire des tâches qui sont présentement mieux faites par des humains.

Université de Moncton 5 .Qu’est-ce que l’intelligence artificielle? „ En général. GIND5439 – Gabriel Cormier. „ Ordinateurs „ Robots „ L’intelligence artificielle est un comportement par une machine qui serait considéré intelligent s’il était fait par un humain. on est d’accord sur 2 principes: ‰ Étude des procédés de pensée humaine ‰ La représentation de ces procédés par des machines.

Qu’est-ce qu’un humain fait mieux? „ Jeux „ Résoudre des câsse-têtes „ Raisonnement « common sense » „ Raisonnement expert „ Compréhension du language „ Apprentissage GIND5439 – Gabriel Cormier. Université de Moncton 6 .

par le biais de techniques algorithmiques: logique floue. tel que: ‰ Comment le cerveau humain fonctionne-t-il? ‰ Des machines peuvent-elles vraiment être intelligentes? „ Ici. on ne se concerne pas avec ce débat. algorithme génétique. on essaie seulement d’obtenir un comportement intelligent avec des ordinateurs. GIND5439 – Gabriel Cormier. Université de Moncton 7 .Intelligence „ Il existe un débat scientifique et philosophique quand à l’intelligence. réseau de neurones.

Pourquoi des machines intelligentes? „ Pourquoi construire des machines intelligentes? ‰ Moins dispendieuses à construire et maintenir ‰ Offrent de nouvelles possibilités ‰ Meilleures solutions aux problèmes ‰ Logiciels relativement bon marché à développer ‰ Logiciels facilement modifiables. GIND5439 – Gabriel Cormier. Université de Moncton 8 .

GIND5439 – Gabriel Cormier. „ La collaboration.Importance de l’IA „ Pourquoi l’intelligence artificielle est-elle importante pour supporter la prise de décision? ‰ L’intelligence artificielle est concernée par: „ L’acquisition de connaissances et son utilisation. Université de Moncton 9 . etc. „ Comment résoudre des problèmes „ Comment développer des langages.. „ La communication de l’information.

Université de Moncton 10 .Intelligence Artificielle Philosophie Psychologie IA Anthropologie Linguistique Neuro-Science Informatique GIND5439 – Gabriel Cormier.

GIND5439 – Gabriel Cormier. Université de Moncton 11 .Historique de l’intelligence artificielle „ Période classique (mi ’40 – mi ’50) ‰ Jeux et preuve de théories ‰ Alan Turing „ Automatic Computing Engine „ Premier programme pour jouer aux échecs „ Inventeur du Test de Turing „ Contribuable important aux débats sur l’intelligence artificielle ‰ McCulloch et Pitts „ Proposent le modèle des réseaux de neuronnes „ Démontrent que n’importe quelle fonction calculable peut être calculée par un réseau de neuronnes.

Historique de l’intelligence artificielle „ Grandes attentes (mi ’50 – fin ’60) ‰ John McCarthy „ Inventeur de LISP „ AdviceTaker: premier système expert ‰ Marvin Minsky „ Frames ‰ McCulloch et Pitts „ Développement des réseaux de neurones „ Amélioration des méthodes d’apprentissage ‰ Newell et Simon „ General Problem Solver (GPS): simuler le raisonnement humain. GIND5439 – Gabriel Cormier. Université de Moncton 12 .

‰ Les programmes contenaient peu ou pas de connaissance à propos du problème.Historique de l’intelligence artificielle „ Période creuse (fin ’60 – début ’70) ‰ Les chercheurs développaient des méthodes générales pour un grand éventail de problèmes. Université de Moncton 13 . ‰ Problèmes étaient trop larges et trop difficiles. GIND5439 – Gabriel Cormier. ‰ On cherchait des solutions en essayant différentes étapes jusqu’à ce qu’on trouve la bonne.

‰ Réalisation que les problèmes doivent être strictement définis.Historique de l’intelligence artificielle „ Systèmes experts (début ’70 – mi ’80). ‰ Shortliffe „ MYCIN: diagnostic de maladies sanguines „ Règles qui reflètent l’incertitude GIND5439 – Gabriel Cormier. ‰ Feigenbaum et Buchanan „ DENDRAL: analyse de produits chimiques „ Incorporation de connaissances d’un expert dans un programme. Université de Moncton 14 .

Université de Moncton 15 .Historique de l’intelligence artificielle „ Apprentissage des machines (mi ’80+) ‰ Systèmes experts nécessitent plusieurs règles ‰ Réseaux de neurones ‰ Algorithmes évolutionnistes „ Apprentissage par travaux „ Depuis la mi 1970 „ Intelligence est un produit de l’évolution ‰ Basé sur la sélection naturelle et génétique ‰ Introduits par John Holland en 1975 GIND5439 – Gabriel Cormier.

Historique de l’intelligence artificielle „ Aujourd’hui ‰ Les débats en IA sont les mêmes ‰ Les réseaux de neurones et l’apprentissage des machines sont plus centrales GIND5439 – Gabriel Cormier. Université de Moncton 16 .

maladies sanguines „ Aéroports: assignation des avions. refuelling „ Systèmes de recherche: Google „ Jeux vidéo „ Deep Blue: vaincu le champion mondial aux échecs (Kasparov) en 1997. GIND5439 – Gabriel Cormier.IA dans le monde „ Robots dans la manufacture „ Diagnostique de maladies: identification de tumeurs. Université de Moncton 17 .

la machine est considérée intelligente. „ Un arbitre (personne) a une conversation avec une machine et une personne à propos de n’importe quoi. GIND5439 – Gabriel Cormier. le Prix Loebner à offert $100 000US au premier programme à passer le test.Test de Turing „ Une approche comportementale pour déterminer si un système est intelligent ou non. Université de Moncton 18 . si l’arbitre ne peut pas distinguer entre la personne et la machine. „ À la fin de la conversation. „ Turing argumente que la conversation est la clé pour juger de l’intelligence. „ Depuis 1991.

le programme est dit intelligent.Tape les questions .Donne une réponse Si l’arbitre ne peut pas distinguer entre l’ordinateur et l’humain. GIND5439 – Gabriel Cormier.Reçoit les réponses à l’écran .Traite les questions . Le test de Turing HUMAIN ORDINATEUR/ (arbitre) HUMAIN . Université de Moncton 19 .

„ Dans la deuxième phase. ‰ L’homme essaie de se faire passer pour une femme. un homme et une femme discutent. l’homme est remplacé par un ordinateur qui continue à essayer de tromper l’arbitre. Université de Moncton 20 . „ Si. et la femme essaie de se faire passer pour un homme. l’arbitre ne peut pas distinguer les situations où l’ordinateur à remplacé l’homme.Test de Turing „ Le test original de Turing était pour voir si un arbitre pouvait faire la différence entre un homme et une femme. GIND5439 – Gabriel Cormier. on dit que la machine est intelligente. „ Dans la première phase de la conversation. après un temps pré-déterminé.

” Turing. Université de Moncton 21 .Test de Turing „ “I believe that in about fifty years’ time it will be possible to program computers….to make them play the imitation game so well that an average interrogator will not have more than 70 percent chance of making the right identification after five minutes of questioning…… I believe that at the end of the century the use of words and general educated opinion will have altered so much that one will be able to speak of machines thinking without expecting to be contradicted. 1950 GIND5439 – Gabriel Cormier.

Test de Turing „ Qu’est-ce qu’une machine a besoin pour passer le Test? ‰ Traitement du langage naturel ‰ Représentation des connaissances ‰ Raisonnement automatisé ‰ Apprentissage machine ‰ Perception „ Vision numérisée „ Robotique GIND5439 – Gabriel Cormier. Université de Moncton 22 .

Tell me more GIND5439 – Gabriel Cormier. "hey how am I today".php3 > Hello. I am Eliza. où les gens peuvent discuter sans craintes. Université de Moncton 23 . * why ? > Have you asked such questions before? * of course ? > OK...Eliza „ Eliza est un programme thérapeutique.. le programme a certaines lacunes: ‰ Aucune façon de reconnaître la structure d’un langage ‰ Ne peut pas inférer le sens d’une phrase ‰ Exemple: http://www. Cependant..manifestation.com/neurotoys/eliza. * hey how are you today ? > Would you prefer if I were not today? * of course not > Tell me more.

GIND5439 – Gabriel Cormier. Université de Moncton 24 .MGONZ „ Un « chatbot » sur l’Internet „ Développé par Mark Humprhrys „ Une personne a interagit avec ce système pour environ 1h20 sans s’apercevoir que c’était une machine.

Abandonner le Test de Turing? „ Est-ce évident que la prédiction de Turing pour 2000 était fausse? „ Est-ce que vous seriez satisfaits que si une machine passe le Test de Turing. elle est intelligente? „ Quels autres conditions devrait-on appliquer avant de considérer une machine comme intelligente? GIND5439 – Gabriel Cormier. Université de Moncton 25 .

‰ Il faut poser plusieurs questions plus petites. „ Il est faux d’insister sur un comportement humain. „ Le langage est une caractéristique uniques aux humains. ‰ Il faut tester les forces et faiblesses individuelles. ‰ Des chimpanzés sont capables de cognition mais ne passeraient jamais le Test de Turing. est-ce un moyen de juger l’intelligence? GIND5439 – Gabriel Cormier.Abandonner le Test de Turing? „ La notion unitaire d’intelligence est trop simpliste. Université de Moncton 26 .

Université de Moncton 27 .Éthique et risques „ Les gens vont perdre leur emplois „ Les gens auront trop (ou trop peu) de temps de loisir „ Les gens vont perdre leur sens d’être unique „ Les gens vont perdre leur droits (vie privée) „ Perte de responsabilité GIND5439 – Gabriel Cormier.