1 / 13

Le raisonnement mécanisé

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.

tania
Download Presentation

Le raisonnement mécanisé

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  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 A AHB = AHC • Newell & Simon 1956 • démonstrateur de théorèmes • évalue la différence entre la situation et le but ACB = ABC C B H

  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)

More Related