�� .. D'INTELLIGENCE ARTIFICIELLE PRESSEPSO LYTECHNIEQTUU ENSI VERSITARIORMEASN DES Manude'li ntelalritgiefniccei elle METIS LyonTech Manuel d'intelalritgiefniccei elle LouFirsé cOoknb Kaa zar & PRESSEPSO LYTECHNIEQTUU ENSI VERSITARIORMEASN DES Ceotu vrpaagread aîntls ac olleMcEtTiIoLSny oTne cqhu eis ptu blsioéuels ad irecdt'iuconon m idt'éé diptliaocné soulsar esponsdaebS iolpihVtiaéer eieltJl eeasn -YCvaevsa illé. Egalemdeinstp onidbalnelsse d omai«n Ienformaettit qéuleé communicchaetlziem o ênm»e é diteur Elémendtems a thémadtiisqcureèst es LouFirsé con Modèeltme ést amodèles GuyC aplat Modélicsoagtnieiottrni é vseo lduept rioobnl èmes GuyC aplat LePsr espsoelsy techentui nqiuveesr sriotmaainrsdeoesnsu t n fe ondation scientdiofniltqeb u ueets ptr incipallade imfefnudtse itsor na vdaeul x' Ecole polytecfhéndiéqrduaeeLl aeu saentdn eel 'InsNtaittiuodtne aSslc iences AppliqdueLé yeosan i,n qsuied 'auturneisv erestéi ctoélse s d'ingéfnriaenucrosp hones. Lec ataldoegl ueeup rusb licpaetuiêtot nroseb tepnaucr o urrier auPxr espsoelsy techentui nqiuveesr sriotmaainrdeess , EPF-LC entMried CiH,- 10L1a5u sapnanEre- ,M aàip lp [email protected], patré lépahuo( n0e)6 29143 1 4 0o,u p ar afu(a 0x) 629143 0 2 7. http:ww/w/.ppur.org Premiéèdriet ion ISB9N7 8-2-88074-819-7 ©Prespsoelsy techentui nqiuveesr sriotmaainrd2ee0ss0 ,9 Toudsr oriétsse rvés Reprodumcêtmiepo anr,t iseoluqlsue e,l fqourem e ous uqru elsquupep qourect e s oit, intersdainlts'e a céccorrdide!t '. éditeur. ImpriemnIé t alie AVANT-PROPOS Origines Cem aneule sits psouu ler's sieednl'tn eseniegmednotnsn aéuDs é partIenmfoernt matidqeul eN' SIAd eL yond,e1 895à 200,a3 uxn ivuexba ac+e3tb ac,+ 4 d'eingsneemeenDn EtAs( niuvb eaac+àl5 U)'ni veér sLiytjosnuq 'u2ne2 00a4i,n si qu'ua DéparteImnefomnratt iqdueel U 'nirvseidteéB irsake,n sneeimgents sa'ppuysaudnret as c ticvointnéedsxe re esc heertdc efoh rem atcioonnntu ie. Objesc tif Cel virae pobuudrte p réselnegtsare nrd legisn edsel i 'netliglenArcitefi ciIell le. sa'derssaeu xi nmfoarticiaeunxcs o,gt niiciéevnesnl,etl mueenatu px sycghuoelso cognsittaeiysva idnetbs a seisn mfoearnt iqmuaeip,sr iaoirrietamueéxnt tua dnitdse secocncydl e. Li'netlelnicAgerfi tciiecloluveur nte r ès ngormabdnredse ju tese,ct eotu vrage, qusiev euets sieelneltmedniatdc tipqruées,ee tant rtiec luelpser iinpcaausxp edcet s cetdtipecl iiMnaeii.snl e s 'gaipta dsu' neen cycdlisoeup.lréa queqsuctioi uovnr,i ratiotul ses sjut efos ndamendtela n'tuilexl eingcaerfi tciielle. Afind efa ciiltleamr i seenp erspedcelt i'inevtleel nicAgeri tficilee'lxlpeo,s é decso enpcstsur iagv orssmoo dloo' rdhrieos rtiqcueqe u,di e vrmaeittet rne leu mièr la'spdeiceatcl tidqelu aper oegsrsiocne tddtiees ci:p lài énpuenoeqd uoen nuénee, domniansti'em poqsureiè gulnepe a rdtei eql uae s;tl ip'ooénqsuiuev asnetmreaa r quépea lré' mergde'nnucd eep sr incaisppaeujcsxutq su en-élgàl iqguaiépp sel,le ra unneo ulvldeeo mnian.t.e. Unc ousrasne sx emepslutens queetltdei sFarniacti sSqauleDl eeuspx.a r « » tipersa tisquruioevndste e sx posés pluasfi dne gd éonnénreaaruu xcxv,o i nepc tes préséesn.t Restiroincst Ona ttacuhngeerr aan idmep oràtl aadni csett iisonyncbm oluiesq/usby-bmoilq.uD ee mêmqeu lepa s yoclhocgoigen ittirvapeia tesnens e o i rdéeflseo xude esés m ootnis, li'netlelnicAgeri tficieenlsvlaiegi écei t rnaeip taeesrn pa r indceil paRe e cosnnai sandcee mFeosdr,i scippllbuiispno heyi squceo,n nmeaxidessi t i.n cte Plapnr oposé Li'notdructtriaobinrt ieè vdeemli e'nnltitleg endcune a,t uertde ella ' rfitciiseellH o.n Smiond,ep so sirteiloandtsei l vPaes sy clhoogCioeg niettdi elvi 'ene tligleAnrcfitei cieeltdl eels,i t medisec etdteern ière. Lap artA iepr paelllegesar ndelsin gesd el a'pproaclohgrei thmdieq ue ll'netlliAgretncicifiee( lIl.ebA a.s)é,el ams aunri pudla'artbierotlen pas r ogramma tifoonnc tnieolenlte ,d doenésnél em enctosen rcnsaanpt r qauteis,ul rab a sdeul an gagSec heme. Lap arBtd iulev irees ctos nacàru éneae p prolcohgeic qluaes sililuqsuptear,ré e le'mpldoeiP o rloegl,al beo rldeleso ginqousnet sa nedtda érbdo usculhrqae u estion VI Manuedl' intellAirgteinficcei elle dessy stèmpeerset-tsse y xstèàb maesdsee c onnaciesAssu.sa endienli 'ngéndisé rie connaislseda énvcpeeplseo,m ednect e psr odaup iotsslé aq uesdtein oonu uvxe a padriagmes. Les econnidv eaduo ncecos antcs ràdé e psa riagdmceosm épmlent:aa iprperso chger amtmiac(aplaerC t)ifo,er mlamiesso jbtesq ueix lpoeintlte csl asastiifiocns (parDt)ai,ce t eeutsr yss tèmmuelastg ie-(nptas rEt)pi oeul ras imuldaetssiy osnt è messo icauxi,rl evav i oaeri tficielle. Lap arFte isect o ncsraéaeum xé tancnoaisseatnn octeasm,mà l earn éts olution pacra .s Le'nsemsbetl emeri npea lrap résteinrotaniap ddeeq uelqgrudaeensrs é laais tiosnpsié acliestné oetsa,m mleetn rta itdeemlsea nntgn uaetslu lr(eepsa rGt)ei,te , au-ddeell 'àtI einlglenAercfiteci ie(lplareHt )id,ee rloab otfoirqtueemi,en ntté gra tircqeu,di é bousculhrvae i aeri tficielle. Cel ireva b énéfidceri eécl teupraesr Jeeaynm, a Bîetdnrece o énerfncàe s lN'SIAd eL yoentp a urn e xpaenrotn .yQ mu'elis seonnitr e emceirés. PLADNE L 'OUVRAGE Partie Chapitre INTRODUCTION lI.TNRODUCTION A-APPROCAHLEG ORITHMIQUE 2.É NUMÉRA& TCIOOMNP LEXITÉ 3.E SPADCÉ'ET AETTM ÉTAPHDOUR E LABYRINTHE 4.M ÉTHODDERE ÉSD UCTION 5R.É SESAÉUMXA NTIQUES 6.N OTIDOA'NPSP RENTISSAGE A2-ÉLEÉNMTPSR TAI QU:E S 7. BDAULS AENSG ASGCEH EME SCHEME 8.P REMIAÈPRPELSI CATIONS 9.V ERLS' EINAS CHEME B-APPROCLHOEG IQUE B -1APPRLOOCIGHQEU E 1O C. ALCDUELPS R OPOSITIONS CLASSIQUE 1L1O.G IDQEUPSER ÉDICATS B2-PORGRAMMAT IOLNO GIQU1E.2É LÉMEDNEPT RSO LOG 1.C3 OMPLÉMDEEPN RTOSG RAMMATION LOGIQUE B3 -LOIGQUNEOSN -ASNTDARDS B3 A-EXTENSAILOGNÉSB RIQ1U.4LE OSG IQMUUELST IVALUÉES 1.5L OGIQFULEOSU ES B3 B-EXTENSIONS 16LO. GIQNUOEMNSO NOTOONURE ÉSV ISABLES INFÉRENTIELLES 1.7L OGIQMUOEDSA LES 1.8L OGIQUES SDU'POÉRRDIREEU R B4-SYSTÈÀMB EASS E DE 1.I9 NTRODUACUTSXIY OSNT ÈMES-EXPERTS CONNIASASNCES 20S.Y STÈEMXEPSE :RD TÉSV ELOPPEMENT 2.1I NGÉN&I GEERSITEDI EOCSNO NNAISSANCES C-APPROCGHREA MMATICALE 2.2F ORMALGIRSAMMEMSA TICAUX D-FORMALISOMBEJSE TS 2.3L ANGAÀGC ELSA SSES 2.4L ANGAÀGP ERSO TOTYPES E-SYÈSMTESM ULT l-AGENTS 25A.G EN&T SSY STÈMMUELST I-AGENTS 26L.E SSY STÈMES MULTl-AGENTS 2.7A RCHITEDCETSSUM RAE F-ÉMTA -CONNAISSANCES 2.8M ÉTACONNAIRSÉSAACNTCEIETV SE S PROACTIVES G-QUELQUGERSA NDERÉSA LISATION29ST .RA ITEMDEENLSTA NGUNEATS U RELLES 30A.U TRSEYSS TÈIMNETSE LLIGENTS SPÉCIALISÉS H-AU-DÀE DLEL 'IA 31L.EP ROJREOTB OTIQUE 3.2V IAER TIFICIELLE 1-CONCLUSION