Le raisonnement mécanisé Joël Quinqueton,

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

1 Le raisonnement mécanisé Joël Quinqueton, jq@lirmm.fr

2 Introduction Les mots: “intelligence” + “artificiel” Le contraire de la bêtise naturelle? Intelligence = Test de QI? Copier l’intelligence 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 (1709-1782) Julien Offroy de la Mettrie (1709-1751): « L’homme 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 à l’entreprise RUR http://www.mindfully.org/ Reform/RUR-Capek- 1920.htm

7 Les robots d’Asimov

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 l’ordinateur pour étudier les 1478 cas critiques (1200 heures de calcul) Humainement invérifiable Problème de valider l’algorithme d’exploration 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 d’apprentissage 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) http://sourceforge.net/projects/maxima.

13 Les démontrateurs actuels Mathematica Maple: celui que l’on utilise MuPad Maxima Sites en ligne (par exemple www.wiris.com)