La présentation est en train de télécharger. S'il vous plaît, attendez

La présentation est en train de télécharger. S'il vous plaît, attendez

Le raisonnement mécanisé Joël Quinqueton,

Présentations similaires


Présentation au sujet: "Le raisonnement mécanisé Joël Quinqueton,"— Transcription de la présentation:

1 Le raisonnement mécanisé Joël Quinqueton,

2 Introduction Les mots: intelligence + artificiel Le contraire de la bêtise naturelle? Intelligence = Test de QI? Copier lintelligence humaine? Faculté individuelle ou propriété collective? Test de Turing

3 Historique Automates et robots Les précurseurs: GPS Le théorème des 4 couleurs Le raisonnement mécanisé Macsyma Les démonstrateurs actuels

4 IA et culture Automates de Vaucanson ( ) Julien Offroy de la Mettrie ( ): « Lhomme Machine », 1747, œuvre interdite et brûlée Frankenstein (1818) Pièce « Rossum Universal Robot » [Carel Capek, années 20]: apparition du mot « robot » Science Fiction (Asimov), Cinéma (2001, AI, I Robot,…)

5 Le canard de Vaucanson

6 La pièce de théatre tchèque Plusieurs personnages sont des robots appartenant à lentreprise RUR Reform/RUR-Capek htm

7 Les robots dAsimov

8 Historique: GPS Newell & Simon 1956 démonstrateur de théorèmes évalue la différence entre la situation et le but A B C H AHB = AHC ACB = ABC

9 Le théorème des 4 couleurs Appel et Haken (1976): usage de lordinateur pour étudier les 1478 cas critiques (1200 heures de calcul) Humainement invérifiable Problème de valider lalgorithme dexploration et sa réalisation sous forme de programme

10 Mécanismes de base Déduction: « Socrate est un homme, tout homme est mortel, donc Socrate est mortel » {A, si A alors B} {B} Abduction: « Socrate est mortel, tout chat est mortel, donc Socrate est un chat » {B, si A alors B} {A}

11 Mécanismes dapprentissage Induction: « Socrate est un philosophe, Socrate est mortel, donc tout mortel est philosophe » {A, B} {si A alors B} Un programme apprend (Mitchell): par l expérience E par rapport à une classe de tâches T et une mesure de performances P si sa performance pour les tâches de T mesurée par P s améliore avec E

12 Le projet Macsyma Partie du projet MAC du MIT (1968) Réaliser un outil « grand public » de calcul formel Développé de 1968 à 1982 Actuellement version open source (Linux et Windows)

13 Les démontrateurs actuels Mathematica Maple: celui que lon utilise MuPad Maxima Sites en ligne (par exemple


Télécharger ppt "Le raisonnement mécanisé Joël Quinqueton,"

Présentations similaires


Annonces Google