Logique pour l'informatique et pour l'intelligence artificielle

430 Pages·2010·6.21 MB·French

by  Ricardo Caferra

Logiqpuoeu lr' informateitpq ouuelr ' intellairgteinficcei elle
©LAVOISIE2R0,1 1
LAVOISIER
11ru,e Lavoisier
7500Par8i s
IJ,
www .hermes-science.com
www .lavoisier.fr F--SC
MIX
ISBN 978-2-7462-2600-5 reepons·l-b­lsoeurca
ISSN 1242-7691 FSC° C013604
LeC oded el ap ropriiénttée llecnt'uaeultloer iasuaxtn etrm,e sd el 'artLi.c1 l2e2 -d5',u npea rt,
quel es" copioeus r eproductsitornisc terméesnetrv éesl 'usapgrei vdéu copisetten on
à
destinéuense u tilisactoilolne cteitvd,e' "a utpraer qtu,e l easn alyseetls e cs ourtceist ations
à
dans unb utd 'exempeltde ' illust"rtaotuirtoeenp ,r ésentoautr ieopnr oducitnitoéng roaul e,
partiefaliltese, a nlse c onsentemdeenl t' autoeuud re s esa yantdsr oiotu a yantcsa usees,t
illic(iarttiec"l Le. 1 22-4C)e.t tree présentoautr ieopnr oducptairoq nu,e lqpureo céqduée c e
soicto,n stitudeornacui nte c ontrefaçon sapnacrtl ieosan rntéiecL l.e3 s3 5-e2t s uivandtus
Coded el ap ropriiénttée llectuelle.
Tousl esn omsd es ociétoéus d ep roduictist édsan s ceto uvragseo nutt ilisdéess fi ns
à
d'identifiectas toindoten s m arquedsel eurdsé tenteruerssp ectifs.
Printaenddb ounidn E nglabnyd C PIA ntonRyo weC,h ippenhJaamn,u a2r0y1 1.
Logipqouuler' infoerptmo autri qlu'eia nrtteifilcliieglleen ce
RicarCdAoF ERRA
978-2-7462-2600-5
Erratum
Lesc orridgeéessx erc5i c5e s àl '9i1ne,dtl e axb ibliogsroanptthé ileé charpgaelrae bl lieessnu iv:a nt
www.hermes-science.fr/caferra/erratum.zip
©LAVOISIE2R0,1
LAVOISIER
11r,u eL avoisier
7500Pa8r is
www .hermes-science.<
www .lavoisier.fr
ISBN 978-724-62-2
ISSN 1242-7691
LeC oded el ap ropri:é té
quel es" copioeus r ep1
destinéuenseu tilisatio
à
dansu nb utd 'exemple
partiefaliltese, a nlse c c
illic(iatrtei"cL l.e1 22-4
soicto,n stitudeornacii t
Coded el ap ropriiénttée
Tousl esn omsd es ocii
d'identifiectas toindot·n
Printaenddb ounidn E n
Logiqupeo url 'informaetti que
pourl 'intelligence artificielle
RicaCradfoe rra
Lavoisier
Collecdtiiroing éJee apna-rC hPaormleerso l
BANATRMEi cheelta l-.I nformatdiifqufusee 2,0 07.
BARTHELEMPYi erreR,O LLANRDo berettV ERONP ascalC-ryptograp2hi0e0,5 .
CARDONA lai-nL a complexoirtgéa ni:ss éyes tèmaedsa ptat2ifs0,0 4.
CHRISMECNlTa udeeta l-.B asedse d onnéreesl ationn2e0l0le8s.,
FOURNIJEeRa n-Cla-uThdéeo ridee sg rapheetsa pplicat2i0on0s5,.
GUILLOPTh ili-ppCeo urbeesl lipti:uq nueep sr ésentaétliéomne ntpaoiurrle a
cryptograp2h0ie1,0 .
PARISSt épha-nLee m ultiméedtil aac ompress2io0n0,9 .
PARISSt éphan-eL em ultiméd2i0a0,9 .
PIERSOJNa cky- Lab iométr2i0e0,7 .
POLAIl aientG UILLOPTh ili-pApleg èbrceo,nfi dentiaeltii nttéé greint é
multimé2di0a0,9 .
POLAIl aientG UILLOPTh ili-pApleg èbertep rotectdielo 'ni nformat2i0o0n5, .
V ARRETTSEé basteiteB nE RNARDN icol-aPsr ogrammataivoann ceéneC
aveexce rcicceosr rig2é0s0, 6.
VERDREPTh ili-ppDee PeràlJ ava:p rogrammatdieosen x pressriéognusl ières,
2004.
Tabldee msa tières
1 Introduction 11
1.L1al o gliefoqsnu dee,md eeln 'fotrismn aetltie aqspu pel idcela at ions
logàil iq'nufoer m.a t.i q.u e . . . . .1 1. . . . . . . . . . . . .
1.U2t idleil tolégap i oqluumereé tdii'enrg éinnifoerumra tic1i3e n
2 Unp eud er éflexaivaonnlt afo rmalisation 17
2.Q1ue 'stq-ulcelae o g?i q.u e. . . . . .1 7. . . .
2.1L.all o geiltqep usae r a.d o.x es. . . . 17
2.1L.ep2sa raedltota xh eédsoe ersni see .m bles 19
2.31 L.epsa raddaolnax'sre ist hemté tlditaaqh nuésdeo e ersni -e
semb.l e.s . . . . . . .2 2. . . . . . . . . . . . .
2.41 S.ulrefo sr maleidtse nmsoe tsi ons bien 2c4o nnues . .
2.1R.e5v eànl doaén fisn dielto igoi.nq u.e . . .3 1. . . .
2.61 Q.uelquessul rlar o égfleieltqx'fo uiireomn nast ique3 8
2.D2e rsé phèirsetso. r.iq.u.es. . . ... . .3.9. . . . . . .
3 Lal ogipqruoep osit(iLoPon unC eP)ll e 45
3.S1y netstaé xmea n.t.iq.u.e. . . . . 46
3.L2am éthdoetdsae b lseéamuaxn. t iques 60
3.S3y stèmes formels . . . .7 0. . . . . . .
3.U4ns ysfotrèmmpeeol u LrP( Cl.Pa ) 83
3.L5am éthdoDeda eve iPtsu t.n am. . 95
3.L6ea sr bsréemsa ndtailnLqasuP .e s 99
37. L am éthdoerd ées odlaulntLasiP o n .1 03
3.7P.rlo bsltèrmaeetsété,n g oi.ne csé s .1 11
37.. S2t ra.t ég.i e.s . . . . . .1. 1 1. . . .
3.L8ec sl adueHs oersn . . . . . . ..1 41 . . . . .
3.L9al ogpirqoupeo sdiu'tnpi oodinnvenut aee ll gléeb riq.u1 e51
4 Letse rmdeusp remoiredrr e 121
4.F1i letutrn aigfie.c at.i o.n . . . . ..1 2.1 . . . . . . .
4.T2e rdmupe rse omridserrue b,s tuintiufitciaotni,o n. 1 25
6 Logpioqluui'ren formaetptio qluiu'rne t elalrtiigfiecniceel le
5 Logiqduupe r emioerrd roeul ogidqeuspe r édi(cLalt(sOPL l,
CPl)) 131
5.S1y nt.ax.e . . . . . ... . . . . .1.3.3 . . .
5.S2é mantique . . . . . .. 1 3.6 . . . . . . . . . . .
5.2L.enlso tdievoé nresist ta faétc its.i on .1 38
5.2U.nv2ea r:ila esnstt reu mcutlutriesso rtes .1 48
5.2L.et3sh éeoltre imueorsds .è l.e.s. . . . 150
5.L3et sa blseéamuaxnd tailnLqasul eO.s . .. . .1 51
5.L4u' nifidcaalntmasié otnh otdaeb lsdeéeamsuxa n.t iqu.e1 s6 3
5.V5e urnspe r ocdésede umrie- pdoélucari sLiloOn .1 66
5.l5 Tr.ansforemnfoa rtmnieoo rnpm raélnee xe .1 66
5.5F.o2rn moer dmeSa kloel. e..m .1 27
5.L6ea sr bsréemsa ndtailnLqaslu .eOs .. . .1 08
5.L7am éthdoredé es odlaulntLasil oO.n . .1 83
5.U8n cel asdséec i:ld caal bamlsoesn ea dique .1 93
5.l8 Q.uelcqluasdesésec si dables .1 96
5.9l iLm:eli s(et p erse tmhiéeodrir')nè cmoem pGloédteuld. e1 9d6e
6 Fondemdeenpt rso grammeantl ioogni que 201
6.S1p éciefiptcr aotgiroan.m ma.t i.o n. . .. 2 10
6.V2e urnls a ndgea gper ogernla omgmiaqtuieo n .2 06
6.P3r ograemnlm oagt:iei qxouenem. p l.e s. . . .2 09
6.3A.gs1iu lrrc e o n:tl rcaôo lue(peuu)rt/«»e .2 14
6.3L.an2 é gatéicoh(neN cPp Ea)r .2 17
6.C4a lcuelctal badiuHelso iert.sné . . . . .2 24
7 Li'ntelleitlg 'etinenclel iagretnicfiec ielle 227
71. Lessy stiènmtees:ll l'iignetanertltsli (ifiIgcAei)nec lel .e2 27
7.Q2u ealplperspo océuhtreu lsdA' i?Ie r. . . . .2. 3 1. .
7.V3e urnsde é finoiptéiroandt eli 'toeinlnnle.il gleen ce. 2 31
73..L1ej u ed i'mitpartoippoaoTunrsr éi. n g.. � . . .2 .3 1.
7.P4e uitd-eonnlt t'ieifilnelhriu gmeaencitcen delee lm sea ch?i n.e2 s33
74..Alr gudmeec nhltaa mc bhrien oise .2 34
7.U5np eduh' is.t oi.r e. . . . . . .2 .3 6. .
7.Q6u eltqhuèiemnsec so dnelt 'e.Is Até s .2 38
8 L'firénence 241
8.L1i' nfédréednu.cc et .i ve. . . . . ..2 4.1 . . . . . . . . . . .
8.U2nc onicmeppaotn:rl t sta u (bmusp)oteinoctnlr ae.u ses. 248
8.3b dLu'c.at i.o n. . . . . . .. 2 .5 4 . . . . . . .
8.3D.élc oduetv heéreotxrepi leis.c a.t iv.e s. 2.5 5. . .
8.L4i' nféirnednu.cc et .i ve. . . . . ..2 5.8 . . . . . . . . . .
8.L5ag énér:ag léinséadrty'aiphtoointoi hnnè dsue.cs t ive.2s 63