Intelligence Artificielle Introduction

Transcription

1 Intelligence Artificielle Introduction Bruno Bouzy Licence 3 Informatique UFR Mathématiques et Informatique Université Paris Descartes

2 Qu est ce que l intelligence artificielle? Terme créé par John Mc Carthy Marvin Lee Minsky : Construction de programmes informatiques qui s adonnent à des tâches qui sont, pour l instant, accomplies de façon plus satisfaisantes par des êtres humains car elles demandent des processus mentaux de haut niveau tels que l apprentissage perceptuel, l organisation de la mémoire et le raisonnement critique. 2 / 10

3 Qu est ce que l intelligence artificielle? Systèmes qui pensent comme les êtres humains Systèmes qui agissent comme les êtres humains Systèmes qui pensent rationnellement Systèmes qui agissent rationnellement 3 / 10

4 Le test de Turing Turing (1950) Computing machinery and intelligence Crée pour donner une définition opérationnelle satisfaisante de l intelligence Un ordinateur passe ce test si un homme, après avoir posé des questions écrites, ne sait pas s il s adresse à un autre être humain ou à un ordinateur HUMAN HUMAN INTERROGATOR? AI SYSTEM 4 / 10

5 Le test de Turing Pour réussir ce test, l ordinateur doit posséder des capacités dans les domaines suivants: Traitement du langage naturel Représentation des connaissances Raisonnement automatique Apprentissage automatique 5 / 10

6 Jouer correctement au ping-pong? Conduire dans le centre de Paris? Conduire sur une route de montagne? Faire des courses sur le marché? Faire des courses sur internet? Jouer au bridge (niveau de compétition)? Prouver des théorèmes mathématiques? Ecrire une histoire drôle? Donner un conseil légal?

7 Conduire dans le centre de Paris? Conduire sur une route de montagne? Faire des courses sur le marché? Faire des courses sur internet? Jouer au bridge (niveau de compétition)? Prouver des théorèmes mathématiques? Ecrire une histoire drôle? Donner un conseil légal?

8 Conduire dans le centre de Paris? Conduire sur une route de montagne? Faire des courses sur le marché? Faire des courses sur internet? Jouer au bridge (niveau de compétition)? Prouver des théorèmes mathématiques? Ecrire une histoire drôle? Donner un conseil légal?

9 Conduire sur une route de montagne? Faire des courses sur le marché? Faire des courses sur internet? Jouer au bridge (niveau de compétition)? Prouver des théorèmes mathématiques? Ecrire une histoire drôle? Donner un conseil légal?

10 Conduire sur une route de montagne? Faire des courses sur le marché? Faire des courses sur internet? Jouer au bridge (niveau de compétition)? Prouver des théorèmes mathématiques? Ecrire une histoire drôle? Donner un conseil légal?

11 Faire des courses sur le marché? Faire des courses sur internet? Jouer au bridge (niveau de compétition)? Prouver des théorèmes mathématiques? Ecrire une histoire drôle? Donner un conseil légal?

12 Faire des courses sur le marché? Faire des courses sur internet? Jouer au bridge (niveau de compétition)? Prouver des théorèmes mathématiques? Ecrire une histoire drôle? Donner un conseil légal?

13 Faire des courses sur internet? Jouer au bridge (niveau de compétition)? Prouver des théorèmes mathématiques? Ecrire une histoire drôle? Donner un conseil légal?

14 Faire des courses sur internet? Jouer au bridge (niveau de compétition)? Prouver des théorèmes mathématiques? Ecrire une histoire drôle? Donner un conseil légal?

15 Faire des courses sur internet? Oui Jouer au bridge (niveau de compétition)? Prouver des théorèmes mathématiques? Ecrire une histoire drôle? Donner un conseil légal?

16 Faire des courses sur internet? Oui Jouer au bridge (niveau de compétition)? Prouver des théorèmes mathématiques? Ecrire une histoire drôle? Donner un conseil légal?

17 Faire des courses sur internet? Oui Jouer au bridge (niveau de compétition)? Oui Prouver des théorèmes mathématiques? Ecrire une histoire drôle? Donner un conseil légal?

18 Faire des courses sur internet? Oui Jouer au bridge (niveau de compétition)? Oui Prouver des théorèmes mathématiques? Ecrire une histoire drôle? Donner un conseil légal?

19 Faire des courses sur internet? Oui Jouer au bridge (niveau de compétition)? Oui Prouver des théorèmes mathématiques? Oui (pour certains) Ecrire une histoire drôle? Donner un conseil légal?

20 Faire des courses sur internet? Oui Jouer au bridge (niveau de compétition)? Oui Prouver des théorèmes mathématiques? Oui (pour certains) Ecrire une histoire drôle? Donner un conseil légal?

21 Faire des courses sur internet? Oui Jouer au bridge (niveau de compétition)? Oui Prouver des théorèmes mathématiques? Oui (pour certains) Ecrire une histoire drôle? Non (ou pas intentionnellement) Donner un conseil légal?

22 Faire des courses sur internet? Oui Jouer au bridge (niveau de compétition)? Oui Prouver des théorèmes mathématiques? Oui (pour certains) Ecrire une histoire drôle? Non (ou pas intentionnellement) Donner un conseil légal?

23 Faire des courses sur internet? Oui Jouer au bridge (niveau de compétition)? Oui Prouver des théorèmes mathématiques? Oui (pour certains) Ecrire une histoire drôle? Non (ou pas intentionnellement) Donner un conseil légal? Oui, dans des domaines spécifiques

24 Faire des courses sur internet? Oui Jouer au bridge (niveau de compétition)? Oui Prouver des théorèmes mathématiques? Oui (pour certains) Ecrire une histoire drôle? Non (ou pas intentionnellement) Donner un conseil légal? Oui, dans des domaines spécifiques

25 Faire des courses sur internet? Oui Jouer au bridge (niveau de compétition)? Oui Prouver des théorèmes mathématiques? Oui (pour certains) Ecrire une histoire drôle? Non (ou pas intentionnellement) Donner un conseil légal? Oui, dans des domaines spécifiques Oui, à un niveau limité

26 Faire des courses sur internet? Oui Jouer au bridge (niveau de compétition)? Oui Prouver des théorèmes mathématiques? Oui (pour certains) Ecrire une histoire drôle? Non (ou pas intentionnellement) Donner un conseil légal? Oui, dans des domaines spécifiques Oui, à un niveau limité

27 Faire des courses sur internet? Oui Jouer au bridge (niveau de compétition)? Oui Prouver des théorèmes mathématiques? Oui (pour certains) Ecrire une histoire drôle? Non (ou pas intentionnellement) Donner un conseil légal? Oui, dans des domaines spécifiques Oui, à un niveau limité Oui, avec un médecin

28 Faire des courses sur internet? Oui Jouer au bridge (niveau de compétition)? Oui Prouver des théorèmes mathématiques? Oui (pour certains) Ecrire une histoire drôle? Non (ou pas intentionnellement) Donner un conseil légal? Oui, dans des domaines spécifiques Oui, à un niveau limité Oui, avec un médecin

29 Faire des courses sur internet? Oui Jouer au bridge (niveau de compétition)? Oui Prouver des théorèmes mathématiques? Oui (pour certains) Ecrire une histoire drôle? Non (ou pas intentionnellement) Donner un conseil légal? Oui, dans des domaines spécifiques Oui, à un niveau limité Oui, avec un médecin Non

30 Faire des courses sur internet? Oui Jouer au bridge (niveau de compétition)? Oui Prouver des théorèmes mathématiques? Oui (pour certains) Ecrire une histoire drôle? Non (ou pas intentionnellement) Donner un conseil légal? Oui, dans des domaines spécifiques Oui, à un niveau limité Oui, avec un médecin Non

31 Faire des courses sur internet? Oui Jouer au bridge (niveau de compétition)? Oui Prouver des théorèmes mathématiques? Oui (pour certains) Ecrire une histoire drôle? Non (ou pas intentionnellement) Donner un conseil légal? Oui, dans des domaines spécifiques Oui, à un niveau limité Oui, avec un médecin Non Non

32 Bibliographie S. Russell and P. Norvig, Artificial Intelligence: A Modern Approach, Prentice Hall, J-G Ganascia, L Intelligence Artificielle, Flammarion, J. Alliot et T. Schiex, Intelligence Artificielle et Informatique Théorique, Cepadues Editions, N. Nilsson, Artificial Intelligence; A New Synthesis, Morgan Kaufmann, / 10

33 Bibliographie S. Russell and P. Norvig, Artificial Intelligence: A Modern Approach, Prentice Hall, J-G Ganascia, L Intelligence Artificielle, Flammarion, J. Alliot et T. Schiex, Intelligence Artificielle et Informatique Théorique, Cepadues Editions, N. Nilsson, Artificial Intelligence; A New Synthesis, Morgan Kaufmann, / 10

34 Contrôle des Connaissances Contrôle continu, deux options : Un projet P : Par binome Concevoir un jeu à deux joueurs et connaissance parfaite, avec possibilité de jouer contre une intelligence artificielle et plusieurs niveaux de difficulté Exemples de jeux: Puissance 4, jeu de Nim, jeu de Dames... Une IA dans votre projet tutoré Une épreuve écrite E de 1h30 Note session 1 = max(e, (E + P)/2) 9 / 10

35 Plan du Cours 1. Agents intelligents 2. Algorithmes de recherche en IA 3. Algorithmes et recherches heuristiques 4. Programmation des jeux de reflexion 5. Satisfaction de Contraintes 6. Agents logiques 7. Logique du premier ordre 8. Inférence en logique du premier ordre 9. Introduction à la planification 10. Apprentissage automatique (Bruno Bouzy) 10 / 10