Le raisonnement mécanisé
Joël Quinqueton,[email protected]
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
B C
H
AHB=AHC ACB
=ABC
QuickTime™ et undécompresseur
sont requis pour visionner cette image.
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: « 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}
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
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• MuPad• Maxima• Sites en ligne (par exemple www.wiris.com)
Top Related