Vous êtes sur la page 1sur 38

Outline

Organisation

Quest-ce quest lIintelligence Articielle

Histoire de lIA

LIA aujourdhui

Intelligence articielle : cours Master 1


Introduction Camilla Schwind

February 23, 2012

Outline

Organisation

Quest-ce quest lIintelligence Articielle

Histoire de lIA

LIA aujourdhui

Organisation Quest-ce quest lIintelligence Articielle Agir comme les hommes Penser comme les hommes Penser rationellement Agir rationellement Histoire de lIA Pr ehistoire Historique LIA aujourdhui

Outline

Organisation

Quest-ce quest lIintelligence Articielle

Histoire de lIA

LIA aujourdhui

Organisation du cours doption

Cours + TD, TP Projet Examen Page web du cours: http : //pageperso .lif .univ mrs .fr / camilla.schwind /Master 1.html mail: Camilla.Schwind@lif.univ-mrs.fr bureau 640, 6eme etage

Outline

Organisation

Quest-ce quest lIintelligence Articielle

Histoire de lIA

LIA aujourdhui

Bibiliographie

Stuart Russell and Peter Norvig. Intelligence articielle. Pearson Education, Paris, France, 2010. http://aima.cs.berkeley.edu/. Alan M. Turing. Computing machinery and intelligence. Mind, 59:433460, 1950.

Outline

Organisation

Quest-ce quest lIintelligence Articielle

Histoire de lIA

LIA aujourdhui

Recherche en Intelligence Articielle


Revues
Articial Intelligence (bibilioth` eque de Luminy) Journal of Articial Intelligence Research (JAIR) http://www.jair.org/ Revue dIntelligence Articielle http://ria.revuesonline.com/ 3IA http://ria.revuesonline.com/

Congr` es Conf erences


Intelligence Articielle fondamentale IAF I3 Reconnaissance des Formes et Intelligence Articielle (RFIA) chaque ann ee, e.g. http://www.antsearch.univtours.fr/ra2006/user/www/index.php European Conference on Articial Intelligence (ECAI) http://ecai2006.itc.it/ International Joint Conference on Articial Intelligence (IJCAI) http://www.ijcai-07.org/ Beaucoup de cong` es sp ecialis es

Soci et es, associations


GDR I3 Information - Interaction - Intelligence

Outline

Organisation

Quest-ce quest lIintelligence Articielle

Histoire de lIA

LIA aujourdhui

Contenue du cours doption

Introduction: Agents rationnels R esolution de probl` emes Inf erence Repr esentation de connaissances Planication

Outline

Organisation

Quest-ce quest lIintelligence Articielle

Histoire de lIA

LIA aujourdhui

D enitions de lIA
La construction de programmes informatiques qui sadonnent ` a des t aches qui sont, pour linstant, accomplies de fa con plus satisfaisante par des etres humains car elles demandent des processus mentaux de haut niveau tels que : lapprentissage perceptuel, lorganisation de la m emoire et le raisonnement critique. (Marvin Lee Minsky) Le but de intelligence articielle est l etude de la structure de linformation et de la structure des processus de r esolution de probl` emes, ind ependamment des applications et ind ependamment dune r ealisation. (John McCarthy.) Une condition essentielle pour agir intelligemment dune mani` ere g en erale est la capacit e de produire et de manipuler des structures symboliques. (Allen Newell)

Outline

Organisation

Quest-ce quest lIintelligence Articielle

Histoire de lIA

LIA aujourdhui

D enitions de lIA : penser

The exciting new eort to make computers think . . . machines with minds, in the full and literal sense (Haugeland 1985) The automation of activities that we associate with human thinking, activities such as decision-making, problem solving, learning . . . (Bellman, 1978) The study of mental faculties through the use of computational models (Charniak and McDermott, 1985) Lintelligence articielle est l etude de m ethodes de calcul qui permettent de percevoir, de raisonner et dagir. (Patrick Henry Winston)

Outline

Organisation

Quest-ce quest lIintelligence Articielle

Histoire de lIA

LIA aujourdhui

D enitions de lIA : agir

The art of creating machines that perform functions that require intelligence when performed by people (Kurzweil, 1990) The study of how to make computers do things at which, at the moment, people are better (Rich and Knight, 1991) A eld of study that seeks to explain and emulate intelligent behavior in terms of computational processes (Schalko, 1990) The branch of computer science that is concerned with the automation of intelligent behavior (Luger and Stubbleeld, 1993)

Outline

Organisation

Quest-ce quest lIintelligence Articielle

Histoire de lIA

LIA aujourdhui

Cat egories

Syst` eme qui pense comme les hommes Syst` eme qui agit comme les hommes

Syst` eme qui pense rationellement Syst` eme qui agit rationellement

Outline

Organisation

Quest-ce quest lIintelligence Articielle

Histoire de lIA

LIA aujourdhui

Agir comme un humain: test de Turing (1950)

Turing (1950) Computing machinery and intelligence (Les ordinateurs et lintelligence, traduit par Patrice Blanchard 1983) Les machines sont-elles capables de raisonner (penser)? Est-ce queune machine peut avoir un comportement intelligent? Test : Le jeu de imitation

Outline

Organisation

Quest-ce quest lIintelligence Articielle

Histoire de lIA

LIA aujourdhui

Agir comme un humain: test de Turing (1950)


Test : Le jeu de imitation:

Est-ce queune machine peut Un utilisateur humain ne peut savoir si cest un humain ou un programme qui r epond ` a une question pos ee (en ecrit). On a pr edit quen 2000, une machine pourrait avoir 30% de chance derroner un homme pendant 5 minutes Cet argument a anticip e tous les arguments majeurs contre lIA des 50 ann ees suivantes.

Outline

Organisation

Quest-ce quest lIintelligence Articielle

Histoire de lIA

LIA aujourdhui

Test de Turing (1950)

Probl` eme Le test de Turing nest ni reproductible ni constructif ni accessible ` a lanalyse math ematique

Outline

Organisation

Quest-ce quest lIintelligence Articielle

Histoire de lIA

LIA aujourdhui

Test de Turing (1950) caract eristiques du programme:

Traitement de la langue
Compr ehension de texte (analyse) G en eration de textes (poduction)

Repr esentation des connaissances Raisonnement Inf erences Apprentissage

Outline

Organisation

Quest-ce quest lIintelligence Articielle

Histoire de lIA

LIA aujourdhui

Conclusions du test de Turing

La question pos ee par le test de Turing a produit deux th` eses sur lIA: Th` ese faible Il est possible de construire des machines qui se comportent comme si elles etaient intelligentes. Th` ese forte Les machines qui ont un comportement intelligent poss` edent des etats cognitifs.

Outline

Organisation

Quest-ce quest lIintelligence Articielle

Histoire de lIA

LIA aujourdhui

Lapproche cognitive

La r evolution cognitive Requiert une th eorie scientique sur les activit es du cerveau Probl` eme de validation:
Pr edire et tester le comportement humain (top-down Sciences cognitives) Etude de donn ees neurologiques (bottom-up Neurosciences cognitives)

Les deux approches (Sciences cognitives et Neurosciences cognitives) sont aujourdhui ind ependantes de lIA

Outline

Organisation

Quest-ce quest lIintelligence Articielle

Histoire de lIA

LIA aujourdhui

Lois de pens ees


Normatif ou prescriptif (non d escriptif) Question dAristotle: Quest-ce des arguments, pens ees, raisonnement correct Ecoles grecs: d eveloppement de notation logiques et de r` egles de d eduction de pens ee Pr edesseceurs de lid ee de la m ecanisation Lien directe logique math ematiques philosophie intelligence articielle lid ee de la m ecanisation (plus tard?) Probl` emes: Tout comportement intelligent nest pas v ehicul e par le raisonnement? Quel choix entre pens es possibles?

Outline

Organisation

Quest-ce quest lIintelligence Articielle

Histoire de lIA

LIA aujourdhui

R ealisations

Construction dagents intelligents


Syst` emes Programmes

D eveloppement
dapproches g en erales m ethodologiques (Compr ehension, Apprentissage, . . . ) dapplications sp eciques

Dimension de lintelligence Raisonnement Inf erences comportement

Outline

Organisation

Quest-ce quest lIintelligence Articielle

Histoire de lIA

LIA aujourdhui

Aspects cognitives
D evelopement de mod eles informatiques sur la base de techniques exp erimentales psychologiques Explication et simulation de processus perceptifs et cognitifs sur la base de techniques exp erimentales psychologiques Lien avec les neurosciences Neuroinformatique Mod` eles num eriques Motivation: LEtude et la simulation de la base biophysique qui r ealise lintelligence conduit ` a de nouvelles connaissances Exemple: Traitement du signal ( Neurobiologie)

Outline

Organisation

Quest-ce quest lIintelligence Articielle

Histoire de lIA

LIA aujourdhui

Aspects informatiques
Traitement de linformation symbolique comme paradigme du traitement de linformation Combinaison dinformation Solution de probl ematiques multiniveaux
Complexit e Lincertain Approche algorithmique non adapt ee ou impossible

Cr eativit e Recherche de solutions en dehors de cadres x es et dinformations disponibles actuellement Encadrer et limiter raisonnablement la recherche de solutions

Outline

Organisation

Quest-ce quest lIintelligence Articielle

Histoire de lIA

LIA aujourdhui

Approche logistique

Lien avec la logique philosophique Structures argumentatives R` egles de d eduction logique Production dun comportement intelligent par la mod elisation et la repr esentation des connaissances
formalisation stricte formalisation en logique formelle

linf erence et la d eduction de connaissances


r` egles logiques r ealisation pratique

Outline

Organisation

Quest-ce quest lIintelligence Articielle

Histoire de lIA

LIA aujourdhui

Les bases historiques de lIA

La philosophie, les math ematiques, la psychologie, la linguistique et linformatique sont toutes des disciplines qui, depuis leurs d ebuts, ont pos e les m emes questions que lIA d evelopp e des m ethodes pour lIA produit des r esultats pour lIA

Outline

Organisation

Quest-ce quest lIintelligence Articielle

Histoire de lIA

LIA aujourdhui

Les bases
450 A.C. Plato, Socrate, Aristote, grecs Socrate: Que caract erise le Bien? Aristote: Quelles lois dirigent lintelligence/raison? 800 P.C. Al Chwarizmi, Arabien 1300 Raymundus Lullus: Ars Magna 1596-1650 Ren e D ecartes: Raison = Syst` eme physical libre volont e, dualisme 1623-1662 Blaise Pascal, Wilhelm Schickard Machines pour additionner 1646-1716 Gottfried Wilhelm Leibniz Mat erialisme, reprend lid ee de la ars Magna pour construire une machine pour la simulation de lintelligence humaine

Outline

Organisation

Quest-ce quest lIintelligence Articielle

Histoire de lIA

LIA aujourdhui

Les bases
1561-1626 Francis Bacon, Empirisme 1632-1704 John Locke, Empirisme Nihil est in intellectu quod non antefueratin sensu. 1711-1776 David Hume, Induction 1724-1804 Immanuel Kant Der Verstand sch opft seine Gesetze nicht aus der Natur, sondern schreibt sie dieser vor. La raison ne trouve pas ses lois dans la nature, mais les impose ` a celle-ci. 1805 Joseph-Marie Jacquard M etier ` a tisser 1815-1864 George Boole Langage formel, Logique comme discipline math ematique

Outline

Organisation

Quest-ce quest lIintelligence Articielle

Histoire de lIA

LIA aujourdhui

Les bases
1792-1871 Charles Babbage Dierence Engine : Calul des tables de logarithmes Machine analytique : Machine ` a calcul qui dispose d ej` a (1) m emoire addressable; (2) branchements conditionn els; (3) m emoire de programmes 1792-1871 Gottlob Frege Begrisschrift Notation 2-dimensionnelle pour la logique des pr edicats du premier ordre 1862-1943 David Hilbert 1900: 23 probl` emes 23. probl` eme: Entscheidungsprobleme (probl` eme de d` ecision) 1872-1970 Bertrand Russel 1910: Principia Mathematica Positivisme logique, groupe de Vienne (1920-1940) 1902-1983 Alfred Tarski Wahrheitsbegri in den formalisierten Sprachen, 1936

Outline

Organisation

Quest-ce quest lIintelligence Articielle

Histoire de lIA

LIA aujourdhui

Les bases
1906-1978 Kurt G odel Th emor` emes de compl etude et dincompl etude, 1930/31 1912-1954 Alan Turing Machine de Turing 1936 Calculabilit e 1903-1995 Alonzo Church -calcul, th` ese de Church 1940 Premier ordinateur Heath Robinson pour d echirer les codes des Allemands (Turing), 1943 Collossus 1941 Premier ordinateur librement programmable: Z3 de Konrad Zuse ( mus ee) arithm etique de ponts ottant, 1945 Plankalk ul: premier lanagage de programmation evolu e 1940-1945 Howard Aiken d eveloppe MARK I, II, III ENIAC: premier ordinateur electronique 1952 IBM 701, premier ordinateur commercial

Outline

Organisation

Quest-ce quest lIintelligence Articielle

Histoire de lIA

LIA aujourdhui

50 ans dIntelligence Articielle (1)

1956 Dartmouth Workshop - John McCarthy propose le terme Articial Intelligence - lenthousiasme: Je ne voudrais pas vous surprendre ou choquer - mais la mani` ere la plus simple de r esumer est de dire que dor enavant il y a des machines qui pensent, qui apprennent et qui cr eent. En plus, leur capacit e de savair faire tout cela croit rapidement jusqu` a ce que - dans un future proche - la dicult e des probl` emes quelles savent traiter sera comparable ` a la dicult e des probl` emes auquel lesprit humain sest appliqu e. (Herbert Simon, 1957) 1960 - Un comportement intelligent devient r ealit e dans beaucoup de syst` emes (Micromondes)

Outline

Organisation

Quest-ce quest lIintelligence Articielle

Histoire de lIA

LIA aujourdhui

50 ans dIntelligence Articielle (2)

1970 - Probl` emes :


Les Micromonde restent des micromondes et n evoluent pas vers de applications r eelles Un comportement intelligent a besoin de beaucoup de connaissances > syst` emes bas es sur la connaissance

1980 - Succ` es commercial des syst` emes experts, soutien intensif de la recherche (Fifth generation project, Japon), Machines LISP, retour des r eseaux neuronaux n - 1980 Les ann ees noirs 1990 - Arriv ee des m ethodes probabilistes, formalisation et math ematisation des techniques de lIA. Vision agent

Outline

Organisation

Quest-ce quest lIintelligence Articielle

Histoire de lIA

LIA aujourdhui

Traduction automatique: Quelques perles

e La phrase (1) Lesprit est fort mais la chair est faible a et e traduit en (1) The vodka is good but the meat is rotten La phrase (2) La langue est le v ehiciule de la pens ee a et e traduit en (2) The tongue is the car of the pansy. (Die Zunge ist das Fahrzeug des Stiefm utterchens)

Outline

Organisation

Quest-ce quest lIintelligence Articielle

Histoire de lIA

LIA aujourdhui

Historique

Les principaux langages de lintelligence articielle: Lisp (1960, J. MacCarthy) Prolog (1973, A. Colmerauer), Prolog avec contraintes SmallTalk (1972, A. Kay) JAVA (1994), C++, Scheme . . .

Outline

Organisation

Quest-ce quest lIintelligence Articielle

Histoire de lIA

LIA aujourdhui

Historique
1943 McCulloch and W. Pitts
La physiologie et la fonction des neurones dans le cerveau La logique propositionnelle (Russell/Whitehead) La th eorie de la calculabilit e (Turing)

Ils construisent un mod` ele abstrait compos e de neurones en r eseau et ils d emontrent:
Toute fonction calculable peut etre calcul ee avec ce mod` ele Les connecteurs logiques propositionnels peuvent etre implant es par des r eseaux tr` es simples

1951 Marvin Minsky et Paul Edwards construisent le premier ordinateur bas e sur les r eseaux neuronaux 1952 A. Samuel d eveloppe un programme pour jouer ` a un jeux qui apprend (qui am eliore ses performances de jeux).

Outline

Organisation

Quest-ce quest lIintelligence Articielle

Histoire de lIA

LIA aujourdhui

Historique

1956 Workshop (de deux semaines) ` a Dartmouth (McCarthy, Minsky, Shannon, Rochester). Discussion des relations entre la th eorie des automates, les r eseaux neuronaux et la recherche sur lintelligence Newell et Simon pr esentent un programme: LT (Logical Theorist). LT prouve des th eor` emes de Principia Mathematica Le nom Articial Intelligence est cr e e. GPS (General Problem Solver) de Newell/Simon est la suite de LT.

Outline

Organisation

Quest-ce quest lIintelligence Articielle

Histoire de lIA

LIA aujourdhui

Historique
1958 Lintelligence articielle est n ee. John McCarthy d eveloppe (au MIT)
Lisp Time Sharing Programmes avec sens commun. Advice-Taker: programme hypoth etique, quon peut consid erer comme le premier syst` eme compl` et IA. Il utilise non seulement des connaissances sp eciques de omaine, mais des connaissances g en erales sur le monde.

1959 H. Gelernter d eveloppe un d emonstrateur pour la G eom etrie 1960-1966 Repr esentation des connaissances et inf erences en logique formelle (M ethode de la r esolution Robinson) Plannicateur de Green Shakey Arriv ee des Micro-Mondes

Outline

Organisation

Quest-ce quest lIintelligence Articielle

Histoire de lIA

LIA aujourdhui

Et aujourdhui?
Beaucoup de paradigmes qui co-existent - r eactifs vs. d elib er es (robotique) - probabilistes vs. analytiques - souvent hybrides Beaucoup de m ethodes (en partie venant dautres disciplines) - logiques, algorithmiques, . . . Beaucoup dapproches - th eoriques, exp erimental-algorithmiques, orient es syst` emes Beaucoup de m ethodes qui fonctionnent ne sont plus consid er es aujourdhui comme des m ethodes IA. Ex: Echecs, programmation logique (PROLOG), m ethodes de recherche

Outline

Organisation

Quest-ce quest lIintelligence Articielle

Histoire de lIA

LIA aujourdhui

Etat de lart

Quest -ce quon sait faire aujourdhui? Jouer convenablement une partie de Ping Pong Conduire en s ecurit e : route de montagne Conduire en s ecurit e : Boulevard Michelet Faire des courses sur le Web Faire des courses au Supermarch e Jouer aux r eussites D ecouvrir et prouver un nouveau th eor` eme math ematique Ranger la maison

Outline

Organisation

Quest-ce quest lIintelligence Articielle

Histoire de lIA

LIA aujourdhui

Concevoir mener un programme de recherche en biologie mol eculaire Ecrire une histoire dr ole Activit e de consultant juridique dans un domaine sp ecialis e Traduire du fran cais parl e en allemand parl e en temps r eel Discuter avec une personne pendant une heure Faire une op eration chirurgicale complexe D echarger le lave-vaisselle et ranger tout

Outline

Organisation

Quest-ce quest lIintelligence Articielle

Histoire de lIA

LIA aujourdhui

Un champ pluri-disciplinaire

Informatique (syst` emes, codage, . . . ) Linguistique (syntaxe, s emantique, pragmatique, . . . ) Psychologie (intelligence humaine, animale, . . . ) Sciences cognitives Th eorie des jeux th eorie de la d ecision Logique Philosophie Neurosciences ...

Outline

Organisation

Quest-ce quest lIintelligence Articielle

Histoire de lIA

LIA aujourdhui

Contenue du cours

Agents intelligents R esolution de probl` emes par exploration Repr esentation et mod elisation des connaissances Logique et d emonstration automatique Actions et planication