cours1 diapos Intelligence artificielle .ppt

Cours en rapport avec l'intelligence artificielle et sa valeur pratique dans notre société actuelle

1. Le raisonnement mécanisé
Joël Quinqueton,
[email protected]

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)