Le raisonnement mcanis Jol Quinqueton jqlirmm fr Introduction
- Slides: 13
Le raisonnement mécanisé Joël Quinqueton, jq@lirmm. fr
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 • • •
Historique • • • Automates et robots Les précurseurs: GPS Le théorème des 4 couleurs Le raisonnement mécanisé Macsyma Les démonstrateurs actuels
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, …)
Le canard de Vaucanson
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
Les robots d’Asimov
Historique: GPS • Newell & Simon 1956 • démonstrateur de théorèmes • évalue la différence entre la situation et le but A AHB = AHC ACB = ABC C B H
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
Mécanismes de base • Déduction: w « Socrate est un homme, tout homme est mortel, donc Socrate est mortel » w {A, si A alors B} {B} • Abduction: w « Socrate est mortel, tout chat est mortel, donc Socrate est un chat » w {B, si A alors B} {A}
Mécanismes d’apprentissage • Induction: w « Socrate est un philosophe, Socrate est mortel, donc tout mortel est philosophe » w {A, B} {si A alors B} • Un programme apprend (Mitchell): w par l ’expérience E par rapport à une classe de tâches T et une mesure de performances P w si sa performance pour les tâches de T mesurée par P s ’améliore avec E
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.
Les démontrateurs actuels • • • Mathematica Maple: celui que l’on utilise Mu. Pad Maxima Sites en ligne (par exemple www. wiris. com)