27
GIND5439 Systèmes Intelligents Chapitre 1: Intelligence artificielle

GIND5439 Systèmes Intelligents

  • Upload
    others

  • View
    18

  • Download
    1

Embed Size (px)

Citation preview

Page 1: GIND5439 Systèmes Intelligents

GIND5439 Systèmes Intelligents

Chapitre 1: Intelligence artificielle

Page 2: GIND5439 Systèmes Intelligents

2GIND5439 – Gabriel Cormier, Université de Moncton

Contenu du chapitre

Approches vs Intelligence artificielleDéfinition de l’intelligenceHistoriqueLe test de Turing

Page 3: GIND5439 Systèmes Intelligents

3GIND5439 – Gabriel Cormier, Université de Moncton

Approches

Science cognitiveL’IA est la seule façon de déterminer comment l’être humain fonctionne.

IngénieursUtilisent des ordinateur pour faire des choses intelligentes, peu importe comment l’être humain fonctionne.

IA forteMachines avec de l’intelligence d’un humain

IA faibleMachine ayant un comportement intelligent mais inférieur aux humains.

L’ordinateur comme un métaphore du cerveau est l’approche dominante des 60 dernières années.

Page 4: GIND5439 Systèmes Intelligents

4GIND5439 – Gabriel Cormier, Université de Moncton

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 (Boden1977).C’est programmer des ordinateurs pour faire des tâches qui sont présentement mieux faites par des humains. (Minsky, 1968)

Page 5: GIND5439 Systèmes Intelligents

5GIND5439 – Gabriel Cormier, Université de Moncton

Qu’est-ce que l’intelligence artificielle?

En général, on est d’accord sur 2 principes:Étude des procédés de pensée humaineLa représentation de ces procédés par des machines.

OrdinateursRobots

L’intelligence artificielle est un comportement par une machine qui serait considéré intelligent s’il était fait par un humain.

Page 6: GIND5439 Systèmes Intelligents

6GIND5439 – Gabriel Cormier, Université de Moncton

Qu’est-ce qu’un humain fait mieux?

JeuxRésoudre des câsse-têtesRaisonnement « common sense »Raisonnement expertCompréhension du languageApprentissage

Page 7: GIND5439 Systèmes Intelligents

7GIND5439 – Gabriel Cormier, Université de Moncton

Intelligence

Il existe un débat scientifique et philosophique quand à l’intelligence, 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; on essaie seulement d’obtenir un comportement intelligent avec des ordinateurs, par le biais de techniques algorithmiques: logique floue, algorithme génétique, réseau de neurones.

Page 8: GIND5439 Systèmes Intelligents

8GIND5439 – Gabriel Cormier, Université de Moncton

Pourquoi des machines intelligentes?

Pourquoi construire des machines intelligentes?

Moins dispendieuses à construire et maintenirOffrent de nouvelles possibilitésMeilleures solutions aux problèmesLogiciels relativement bon marché à développerLogiciels facilement modifiables.

Page 9: GIND5439 Systèmes Intelligents

9GIND5439 – Gabriel Cormier, Université de Moncton

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,La communication de l’information,La collaboration,Comment résoudre des problèmesComment développer des langages, etc..

Page 10: GIND5439 Systèmes Intelligents

10GIND5439 – Gabriel Cormier, Université de Moncton

Intelligence Artificielle

IA

Philosophie Psychologie

Anthropologie

Neuro-Science

Linguistique

Informatique

Page 11: GIND5439 Systèmes Intelligents

11GIND5439 – Gabriel Cormier, Université de Moncton

Historique de l’intelligence artificielle

Période classique (mi ’40 – mi ’50)Jeux et preuve de théoriesAlan Turing

Automatic Computing EnginePremier programme pour jouer aux échecsInventeur du Test de TuringContribuable important aux débats sur l’intelligence artificielle

McCulloch et PittsProposent le modèle des réseaux de neuronnesDémontrent que n’importe quelle fonction calculable peut être calculée par un réseau de neuronnes.

Page 12: GIND5439 Systèmes Intelligents

12GIND5439 – Gabriel Cormier, Université de Moncton

Historique de l’intelligence artificielle

Grandes attentes (mi ’50 – fin ’60)John McCarthy

Inventeur de LISPAdviceTaker: premier système expert

Marvin MinskyFrames

McCulloch et PittsDéveloppement des réseaux de neuronesAmélioration des méthodes d’apprentissage

Newell et SimonGeneral Problem Solver (GPS): simuler le raisonnement humain.

Page 13: GIND5439 Systèmes Intelligents

13GIND5439 – Gabriel Cormier, Université de Moncton

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.Les programmes contenaient peu ou pas de connaissance à propos du problème.On cherchait des solutions en essayant différentes étapes jusqu’à ce qu’on trouve la bonne.Problèmes étaient trop larges et trop difficiles.

Page 14: GIND5439 Systèmes Intelligents

14GIND5439 – Gabriel Cormier, Université de Moncton

Historique de l’intelligence artificielle

Systèmes experts (début ’70 – mi ’80).Réalisation que les problèmes doivent être strictement définis.Feigenbaum et Buchanan

DENDRAL: analyse de produits chimiquesIncorporation de connaissances d’un expert dans un programme.

ShortliffeMYCIN: diagnostic de maladies sanguinesRègles qui reflètent l’incertitude

Page 15: GIND5439 Systèmes Intelligents

15GIND5439 – Gabriel Cormier, Université de Moncton

Historique de l’intelligence artificielle

Apprentissage des machines (mi ’80+)Systèmes experts nécessitent plusieurs règlesRéseaux de neuronesAlgorithmes évolutionnistes

Apprentissage par travauxDepuis la mi 1970Intelligence est un produit de l’évolution

Basé sur la sélection naturelle et génétiqueIntroduits par John Holland en 1975

Page 16: GIND5439 Systèmes Intelligents

16GIND5439 – Gabriel Cormier, Université de Moncton

Historique de l’intelligence artificielle

Aujourd’huiLes débats en IA sont les mêmesLes réseaux de neurones et l’apprentissage des machines sont plus centrales

Page 17: GIND5439 Systèmes Intelligents

17GIND5439 – Gabriel Cormier, Université de Moncton

IA dans le monde

Robots dans la manufactureDiagnostique de maladies: identification de tumeurs, maladies sanguinesAéroports: assignation des avions, refuellingSystèmes de recherche: GoogleJeux vidéoDeep Blue: vaincu le champion mondial aux échecs (Kasparov) en 1997.

Page 18: GIND5439 Systèmes Intelligents

18GIND5439 – Gabriel Cormier, Université de Moncton

Test de Turing

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

Page 19: GIND5439 Systèmes Intelligents

19GIND5439 – Gabriel Cormier, Université de Moncton

Le test de Turing

ORDINATEUR/

HUMAINHUMAIN(arbitre)

- Tape les questions- Reçoit les réponses à l’écran

- Traite les questions- Donne une réponse

Si l’arbitre ne peut pas distinguer entre l’ordinateur et l’humain, le programme est dit intelligent.

Page 20: GIND5439 Systèmes Intelligents

20GIND5439 – Gabriel Cormier, Université de Moncton

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.Dans la première phase de la conversation, un homme et une femme discutent.

L’homme essaie de se faire passer pour une femme, et la femme essaie de se faire passer pour un homme.

Dans la deuxième phase, l’homme est remplacé par un ordinateur qui continue à essayer de tromper l’arbitre.Si, après un temps pré-déterminé, l’arbitre ne peut pas distinguer les situations où l’ordinateur à remplacé l’homme, on dit que la machine est intelligente.

Page 21: GIND5439 Systèmes Intelligents

21GIND5439 – Gabriel Cormier, Université de Moncton

Test de Turing

“I believe that in about fifty years’ time it will bepossible 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.” Turing, 1950

Page 22: GIND5439 Systèmes Intelligents

22GIND5439 – Gabriel Cormier, Université de Moncton

Test de Turing

Qu’est-ce qu’une machine a besoin pour passer le Test?

Traitement du langage naturelReprésentation des connaissancesRaisonnement automatiséApprentissage machinePerception

Vision numériséeRobotique

Page 23: GIND5439 Systèmes Intelligents

23GIND5439 – Gabriel Cormier, Université de Moncton

Eliza

Eliza est un programme thérapeutique, où les gens peuvent discuter sans craintes. Cependant, le programme a certaines lacunes:

Aucune façon de reconnaître la structure d’un langageNe peut pas inférer le sens d’une phraseExemple: http://www.manifestation.com/neurotoys/eliza.php3> Hello, I am Eliza. * hey how are you today ?> Would you prefer if I were not today? * of course not> Tell me more... * why ?> Have you asked such questions before? * of course ?> OK... "hey how am I today". Tell me more

Page 24: GIND5439 Systèmes Intelligents

24GIND5439 – Gabriel Cormier, Université de Moncton

MGONZ

Un « chatbot » sur l’InternetDéveloppé par Mark HumprhrysUne personne a interagit avec ce système pour environ 1h20 sans s’apercevoir que c’était une machine.

Page 25: GIND5439 Systèmes Intelligents

25GIND5439 – Gabriel Cormier, Université de Moncton

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?

Page 26: GIND5439 Systèmes Intelligents

26GIND5439 – Gabriel Cormier, Université de Moncton

Abandonner le Test de Turing?

La notion unitaire d’intelligence est trop simpliste.Il faut poser plusieurs questions plus petites.Il faut tester les forces et faiblesses individuelles.

Il est faux d’insister sur un comportement humain.Des chimpanzés sont capables de cognition mais ne passeraient jamais le Test de Turing.

Le langage est une caractéristique uniques aux humains; est-ce un moyen de juger l’intelligence?

Page 27: GIND5439 Systèmes Intelligents

27GIND5439 – Gabriel Cormier, Université de Moncton

Éthique et risques

Les gens vont perdre leur emploisLes gens auront trop (ou trop peu) de temps de loisirLes gens vont perdre leur sens d’être uniqueLes gens vont perdre leur droits (vie privée)Perte de responsabilité