GIND5439

Systmes Intelligents

Chapitre 1: Intelligence artificielle

Contenu du chapitre
Approches vs Intelligence artificielle
Dfinition de lintelligence
Historique
Le test de Turing

GIND5439 Gabriel Cormier, Universit de Moncton 2

Approches
Science cognitive
LIA est la seule faon de dterminer comment ltre
humain fonctionne.
Ingnieurs
Utilisent des ordinateur pour faire des choses intelligentes,
peu importe comment ltre humain fonctionne.
IA forte
Machines avec de lintelligence dun humain
IA faible
Machine ayant un comportement intelligent mais infrieur
aux humains.
Lordinateur comme un mtaphore du cerveau est
lapproche dominante des 60 dernires annes.

GIND5439 Gabriel Cormier, Universit de Moncton 3

Quest-ce que lintelligence artificielle?
Cest lmulation du comportement humain.
Cest utiliser des machines pour faire des
choses qui seraient considres intelligentes
si elles taient faites par des humains (Boden
1977).
Cest programmer des ordinateurs pour faire
des tches qui sont prsentement mieux
faites par des humains. (Minsky, 1968)

GIND5439 Gabriel Cormier, Universit de Moncton 4

Quest-ce que lintelligence artificielle?
En gnral, on est daccord sur 2 principes:
tude des procds de pense humaine
La reprsentation de ces procds par des
machines.
Ordinateurs
Robots
Lintelligence artificielle est un comportement
par une machine qui serait considr
intelligent sil tait fait par un humain.

GIND5439 Gabriel Cormier, Universit de Moncton 5

Quest-ce quun humain fait mieux?
Jeux
Rsoudre des csse-ttes
Raisonnement common sense
Raisonnement expert
Comprhension du language
Apprentissage

GIND5439 Gabriel Cormier, Universit de Moncton 6

Intelligence
Il existe un dbat scientifique et
philosophique quand lintelligence, tel que:
Comment le cerveau humain fonctionne-t-il?
Des machines peuvent-elles vraiment tre
intelligentes?
Ici, on ne se concerne pas avec ce dbat; on
essaie seulement dobtenir un comportement
intelligent avec des ordinateurs, par le biais
de techniques algorithmiques: logique floue,
algorithme gntique, rseau de neurones.

GIND5439 Gabriel Cormier, Universit de Moncton 7

Pourquoi des machines intelligentes?
Pourquoi construire des machines
intelligentes?
Moins dispendieuses construire et maintenir
Offrent de nouvelles possibilits
Meilleures solutions aux problmes
Logiciels relativement bon march dvelopper
Logiciels facilement modifiables.

GIND5439 Gabriel Cormier, Universit de Moncton 8

Importance de lIA
Pourquoi lintelligence artificielle est-elle
importante pour supporter la prise de
dcision?
Lintelligence artificielle est concerne par:
Lacquisition de connaissances et son utilisation,
La communication de linformation,
La collaboration,
Comment rsoudre des problmes
Comment dvelopper des langages, etc..

GIND5439 Gabriel Cormier, Universit de Moncton 9

Intelligence Artificielle

Philosophie Psychologie

IA
Anthropologie
Linguistique

Neuro-Science
Informatique

GIND5439 Gabriel Cormier, Universit de Moncton 10

Historique de lintelligence artificielle
Priode classique (mi 40 mi 50)
Jeux et preuve de thories
Alan Turing
Automatic Computing Engine
Premier programme pour jouer aux checs
Inventeur du Test de Turing
Contribuable important aux dbats sur lintelligence
artificielle
McCulloch et Pitts
Proposent le modle des rseaux de neuronnes
Dmontrent que nimporte quelle fonction calculable
peut tre calcule par un rseau de neuronnes.

GIND5439 Gabriel Cormier, Universit de Moncton 11

Historique de lintelligence artificielle
Grandes attentes (mi 50 fin 60)
John McCarthy
Inventeur de LISP
AdviceTaker: premier systme expert
Marvin Minsky
Frames
McCulloch et Pitts
Dveloppement des rseaux de neurones
Amlioration des mthodes dapprentissage
Newell et Simon
General Problem Solver (GPS): simuler le raisonnement
humain.

GIND5439 Gabriel Cormier, Universit de Moncton 12

Historique de lintelligence artificielle
Priode creuse (fin 60 dbut 70)
Les chercheurs dveloppaient des mthodes
gnrales pour un grand ventail de problmes.
Les programmes contenaient peu ou pas de
connaissance propos du problme.
On cherchait des solutions en essayant
diffrentes tapes jusqu ce quon trouve la
bonne.
Problmes taient trop larges et trop difficiles.

GIND5439 Gabriel Cormier, Universit de Moncton 13

Historique de lintelligence artificielle
Systmes experts (dbut 70 mi 80).
Ralisation que les problmes doivent tre
strictement dfinis.
Feigenbaum et Buchanan
DENDRAL: analyse de produits chimiques
Incorporation de connaissances dun expert dans un
programme.
Shortliffe
MYCIN: diagnostic de maladies sanguines
Rgles qui refltent lincertitude

GIND5439 Gabriel Cormier, Universit de Moncton 14

Historique de lintelligence artificielle
Apprentissage des machines (mi 80+)
Systmes experts ncessitent plusieurs rgles
Rseaux de neurones
Algorithmes volutionnistes
Apprentissage par travaux
Depuis la mi 1970
Intelligence est un produit de lvolution
Bas sur la slection naturelle et gntique
Introduits par John Holland en 1975

GIND5439 Gabriel Cormier, Universit de Moncton 15

Historique de lintelligence artificielle
Aujourdhui
Les dbats en IA sont les mmes
Les rseaux de neurones et lapprentissage des
machines sont plus centrales

GIND5439 Gabriel Cormier, Universit de Moncton 16

IA dans le monde
Robots dans la manufacture
Diagnostique de maladies: identification de
tumeurs, maladies sanguines
Aroports: assignation des avions, refuelling
Systmes de recherche: Google
Jeux vido
Deep Blue: vaincu le champion mondial aux
checs (Kasparov) en 1997.

GIND5439 Gabriel Cormier, Universit de Moncton 17

Test de Turing
Une approche comportementale pour dterminer si
un systme est intelligent ou non.
Turing argumente que la conversation est la cl
pour juger de lintelligence.
Un arbitre (personne) a une conversation avec une
machine et une personne propos de nimporte
quoi.
la fin de la conversation, si larbitre ne peut pas
distinguer entre la personne et la machine, la
machine est considre intelligente.
Depuis 1991, le Prix Loebner offert $100 000US
au premier programme passer le test.
GIND5439 Gabriel Cormier, Universit de Moncton 18
 Le test de Turing

HUMAIN ORDINATEUR/
(arbitre) HUMAIN
- Tape les questions - Traite les questions
- Reoit les rponses lcran - Donne une rponse

Si larbitre ne peut pas distinguer entre lordinateur et lhumain, le programme

est dit intelligent.

GIND5439 Gabriel Cormier, Universit de Moncton 19

Test de Turing
Le test original de Turing tait pour voir si un arbitre
pouvait faire la diffrence entre un homme et une
femme.
Dans la premire phase de la conversation, un homme
et une femme discutent.
Lhomme essaie de se faire passer pour une femme, et la femme
essaie de se faire passer pour un homme.
Dans la deuxime phase, lhomme est remplac par un
ordinateur qui continue essayer de tromper larbitre.
Si, aprs un temps pr-dtermin, larbitre ne peut pas
distinguer les situations o lordinateur remplac
lhomme, on dit que la machine est intelligente.

GIND5439 Gabriel Cormier, Universit de Moncton 20

Test de Turing
I believe that in about fifty years time it will be
possible to program computers.to make them play
the imitation game so well that an average
interrogator will not have more than 70 percent
chance of making the right identification after five
minutes of questioning I believe that at the end
of the century the use of words and general
educated opinion will have altered so much that one
will be able to speak of machines thinking without
expecting to be contradicted. Turing, 1950

GIND5439 Gabriel Cormier, Universit de Moncton 21

Test de Turing
Quest-ce quune machine a besoin pour
passer le Test?
Traitement du langage naturel
Reprsentation des connaissances
Raisonnement automatis
Apprentissage machine
Perception
Vision numrise
Robotique

GIND5439 Gabriel Cormier, Universit de Moncton 22

Eliza
Eliza est un programme thrapeutique, o les gens peuvent
discuter sans craintes. Cependant, le programme a certaines
lacunes:
Aucune faon de reconnatre la structure dun langage

Ne peut pas infrer le sens dune phrase

Exemple: http://www.manifestation.com/neurotoys/eliza.php3
> Hello, I am Eliza.
* hey how are you today ?
> Would you prefer if I were not today?
* of course not
> Tell me more...
* why ?
> Have you asked such questions before?
* of course ?
> OK... "hey how am I today". Tell me more

GIND5439 Gabriel Cormier, Universit de Moncton 23

MGONZ
Un chatbot sur lInternet
Dvelopp par Mark Humprhrys
Une personne a interagit avec ce systme
pour environ 1h20 sans sapercevoir que
ctait une machine.

GIND5439 Gabriel Cormier, Universit de Moncton 24

Abandonner le Test de Turing?
Est-ce vident que la prdiction de Turing
pour 2000 tait fausse?
Est-ce que vous seriez satisfaits que si une
machine passe le Test de Turing, elle est
intelligente?
Quels autres conditions devrait-on appliquer
avant de considrer une machine comme
intelligente?

GIND5439 Gabriel Cormier, Universit de Moncton 25

Abandonner le Test de Turing?
La notion unitaire dintelligence est trop simpliste.
Il faut poser plusieurs questions plus petites.
Il faut tester les forces et faiblesses individuelles.
Il est faux dinsister sur un comportement humain.
Des chimpanzs sont capables de cognition mais ne
passeraient jamais le Test de Turing.
Le langage est une caractristique uniques aux
humains; est-ce un moyen de juger lintelligence?

GIND5439 Gabriel Cormier, Universit de Moncton 26

thique et risques
Les gens vont perdre leur emplois
Les gens auront trop (ou trop peu) de temps
de loisir
Les gens vont perdre leur sens dtre unique
Les gens vont perdre leur droits (vie prive)
Perte de responsabilit

GIND5439 Gabriel Cormier, Universit de Moncton 27