WPC  0} 0x  0jH" 0j" 0xJ 0}K 0Q 0ig 0| 0W 0 M 0V 00s 0B 0U 0: 0 0 0P 0 0 0 0_ 0 %9 0y? 0 1 0!V" 0^H$E& 0& ' 0=' 0F' 0P,( 1|( 0C) B5T) 0q),R,V-#l-t{.0 B*}2 C2f2a2 B*2 B334 B*X6f6a6f6a6f6a696d84;ZJ;f<a<f<a<U<<"VB =N>f"@a$@8@ 0CBUDFJLJMU<4Q D3pQQU<HSfSSUaVVXo)ZH[w^_,aEcU<h, i8jkm1Nop{ u8R<32gD(;&/*s\:q+NnK   BsU<bz"!hH!!XF!R!T!V!X! [!]!)_!j~!9a!Ic!Ye!Lh!&!!\j!9!ll!|n!p!8!!HE!r!t!v!x!z!!}!!.. 21.3  Ԁ   z{ :Right Par[3]Right-Aligned Paragraph Numbers..` ..`  ..P 21.3  Ԁ` ..` 0 .. z :Right Par[4]Right-Aligned Paragraph Numbers..` ..`  .. .. 2a.3  Ԁ .. 0..z :Right Par[5]Right-Aligned Paragraph Numbers..` ..`  .. ..h..2(1)3  Ԁ..0h..hz :Right Par[6]Right-Aligned Paragraph Numbers..` ..`  .. ..h..h..2(a)3  Ԁh..h0..z :Right Par[7]Right-Aligned Paragraph Numbers..` ..`  .. ..h..h....2i)3  Ԁ..0..z :Right Par[8]Right-Aligned Paragraph Numbers..` ..`  .. ..h..h....p..2a)3  Ԁ..0p..pVX8Document[1]Document Style  @..^  2I.3  Ԁ     Ԉ l2:Technical[5]Technical Document Style.. 2(1)3  Ԁ. l2:Technical[6]Technical Document Style.. 2(a)3  Ԁ. l/$:Technical[2]Technical Document Style 2A.3  Ԁ   .. l, :Technical[3]Technical Document Style 21.3  Ԁ   .. l( :Technical[4]Technical Document Style 2a.3  Ԁ   .. l:/:Technical[1]Technical Document Style  2I.3  Ԁ     .. l1:Technical[7]Technical Document Style.. 2i)3  Ԁ. l1:Technical[8]Technical Document Style.. 2a)3  Ԁ.   }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   Dsatovirokomrozmedzdosiahnzapomocivhodnej infratruktry inferencnho  mechanizmu,menovitejejvUznamnejzloky agendy .Tjetvoren dajovoriadiacimi  truktrami registrujcimipecifickstavyinferencie,ktorvzvislostinaich  (dynamicky)menitenUchprioritchsvojimobsahomovplyvujriadenieodvodzovania.HXR& 8BibliogrphyBibliography0....jo4Tech InitInitialise Technical StyleS   1 .1 .1 .1 .1 .1 .1 .1 S CuyTechnicalTechnical Document Style11.11.1.11.1.1.11.1.1.1.11.1.1.1.1.11.1.1.1.1.1.11.1.1.1.1.1.1.1xF2PleadingHeader for numbered pleading paper TBF:;  }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   OdvodzovanieinferenciatojeriadenpostupnosvyhodnocovaniaprodukcnUch  pravidiel.Uplatujesavtedy,keid=sledokjednhoprodukcnhopravidlasam=evyskytovavlohepodmienky,resp.prvkupodmienkyinUchpravidiel .(62$ Oh!XXXXHX  TR;6&3'6& [ALL OTHERS]  3'Tr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS  C fp2Doc InitInitialise Document Style#  S '    I. 1. A. a.(1)(a) i) a)S$%&($0 ($0 0 (($0 0 0   A_ekqwDocumentDocument StyleI.1.A.a.(1)(a)i)a)($    P Pd(H!2V$ Oh!XXXXHX  TR;6&3'6& [ALL OTHERS]  3'Tr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS  C Ӏ  0  ; H }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   Skutocnosprerueniasamuszapamta,podamonostspolusmiestom  preruenia .   HP LaserJet IIP` @HP2P.PRSY,8t8t,0n - 0 j }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   cieoch/hypotzach ,ktorbysamalidosiahn/potvrdivd=sledkupoiadavkypou  vatea,potriebodvodzovania(reazenia),generalizcie,pecializcie,prcinnod=sledkovho(kauzlnho)usudzovania,urceniavlastnostvyhodnocovanhoobjektu,alebo"doporucen"procesovimitujcichuptanie,zameranie,presunpozornosti,  }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   TvorbaBZzahrujcareprezentciuajnekonzistentnUchaserci protichodnUch  poznatkov,predpisov,stanovskr=znychodbornUchk=l .&p Pd d dTable_A&0 d d d  *V$XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS  Ӏ  1    ݀XXXXSpredmetompozornostivkapitolchvenovanUchproblematikerozvinutUchmet;dinferencie.#XXX+X#  }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   IchreferencovanieinferencnUmmechanizmommpodliehasituacnepodmienitenUm  pravidlmovplyvujcimkedyaktorznichuprednostni. &p d PdTable_BTable_CTable_D / }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   znmychaetenevyitUchfaktov (hovormeimtie otvoren ,narozdielod zat  vorenUch ,tedauvyuitUchaspracovanUchfaktov),umoujcichialieodvodzovanie  arozhodovanieouprednostovanniektorhozalternatvnychpostupovodvodzovania. - *V$XXXXHXr^X` h  }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   Patternmatching ,cohoadekvtvSlovencinenazveme technikanachdzaniazhody   asymbolovoznacme TNZ ,jejednUmzosp=sobov implicitnhoreferencovania hodn=t  rubrkrmcov.    P *V$XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS  Ӏ  10    ݀Vzahmechanizmuhradlovaniaakognitvnychprocesovjepredmetomobjasovania.Table_ETable_F.b4 p`$Roman-WPType 1 8 }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   @4Dynamicksituacnpovoovanie/zabraovanieinterpretcieurcitUchpravidiel .  }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   " Hnacm "prostriedkomtakhosprvaniaspredovetkUm produkcnpravidl 󀄀 dek  larcieasertvnychznalostichpropozicninterpretciazodpovedzkladnUmprostriedkomusudzovania .Table_G  }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   Keisaprivynorovanzozsobnkazist,eregistrovanUd=sledoknadobudoluhodnotu,prslunpolokasavsladesprveaktulnoustratgioum=ezozsobnkaodstrnibezdokonceniainterpretciepreruenhopredpokladu.(h$XXXX+X  TR;6&;6&6& [ALL OTHERS]  6& [ALL OTHERS]  Tr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS    *V$XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS  Ӏ  1    ݀XXXXSpredmetompozornostivkapitolchvenovanUchproblematikerozvinutUchmet;dinferencie.#XXX+X# { *V$XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS  Ӏ  5    ݀JednoduchUmprkladomumoujcimilustrovauplatovaniesemaf;rovspravidlz  odseku4.1:InferencnUmechanizmusimitujcisprvanievodicabliacehosaautomkdopravnmusemaf;rubymalmapovoleninterpretovasemaf;rmiprodukcnhopravidla  lenpravidlP1.1,P1.2aP1.3.PravidloP1.4vtejtosituciinemvUznam.KebysansledneuplatnilopravidloP1.2,nslednemzmyseluplatniibapravidloP1.4zuvedenUchpravidielibajehointerpretciabysamalasemaf;rompripusti. Taktocinn >  odvodzovaciepostupysadajzabezpecidynamickUmprestavovanmhodn=t,naktorsasema;rypravidielodvolvaj .Vdanejsituciibysatodalozabezpeciakcnoucasou  b pravidlaP1.2.  }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   nasledujepostupnodposlednepreruenhopravidlakprvmu(uplatujesa  zsobnk)dokoncovanievyhodnocovania preruenUchpravidiel.  }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   ProcesregistrovaniaprerueninterpretovanUchpravidielm rekurzvnu povahu: aj  nslednevyhodnocovanpravidlom=evosvojompredpokladereferencovanevyhodnotenUd=sledoknadvzujcehopravidla.  @  (  XX>6!'*d>>6!'*d>H1H2H3H4H5H6H7H8H910111213141516171819202122232425262728"  .+ '++".b4 p`$Roman-WPType 15555'dxd  *V$XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS  Ӏ  2    ݀XXXXOnekategorickUchpravidlchsapojednvavkapitolevenovanejaproximatvnemuusudzovaniu.#XXX+X#.b4 p`$Roman-WPType 1 v }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   przdnomzsobnkupreruenm=ebyprvoupolokoutohtofrontuvyvolannas  ledujcacinnosinferencnhomechanizmu .  *V$XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS  Ӏ  6    ݀NarozdielodpodmienokvzjomneodlenUchvpredpokladeindexom,odlenie  predpokladovvyznacujeme'hornUmindexom'prirodzencslovztvorke.Table_H   *V$XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS  Ӏ  12    ݀ProblematikouinterakcieESsvonkajmprostredmsazaoberetepodkapitola  venovanexternUmdajovUmaprogramovUmmodulom.  }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   ZsobnkprerueninterpretovanUchpravidielmtandardnenajvyiuprioritu  spomedziriadiacichdajovUchtruktragendyinferencnhomechanizmu.   *V$XXXXHXr^X`  . }  }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   Stratgiakomplementovania jedoplujcouobdoboumechanizmuhradlovania.  .b4 p`$Roman-WPType 1 i }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   Akciesavykonvajibana zodpovedajcejrovninsobnostikvantifikcie a  tandardne ibakeiprslunUpredpokladpravidlabolsplnenU . KvantifikovanvUrazy  vakcichsanevyhodnocujpouvajzodpovedajceloklnezoznamyvytvorenprivyhodnocovanpredpokladu .Pretoaninezlenadruhupouithokvantifiktora.  *V$XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS  Ӏ  3    ݀XXXXHociideouniformnpredpokladytvorenibakonjunkciamipodmienok,ajtakzabezpecenietoho  vyadujehlbiuvahu.VoveobecnostijevUhodn,pokiaudostupndajetoumouj,poksisaibaprostrednctvomnichpredpokladfalzifikova.Aksatonepodar,nasledujedoplovaniechUbajcichdajov.#XXX+X# U }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   ZobsahuzsobnkapreruenjemonvysledovaniektorvUznamnskutocnosti.Prkladomje opakovanUvUskytrovnakhoidentifiktorarubriky,cojed=kazomvzni  kucykluatedanevyhnutnostibuihadaalternatvnypostuprieenia,aleboukoncirieeniedanhoproblmu prirodzenesprslunUmvysvetlenm. ; }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   @"=Kadsamostatnpravidlom=emavlastn(U) 0 8 dynamickymenitenprioritu,8z8z 0 8 semaf;rsituacneovplyvujcijehopouitenos,8z8z 0 8 akcncasumoujcusituacnereagovanavUsledokvyhodnoteniapredpokladu,8z8z 0 8 sp=sobvysvetlovania/zd=vodovaniavyhodnoteniaapriradeniapropozicnej  hodnotyd=sledku(pozrivysvetovacmechanizmus),8z8z 0 8 postavenie(lohu)priaproximatvnom(kvantitatvnomajkvalitatvnom)  odvodzovan(pozriaproximatvnainferencia), 8z8z com=ezjednoduivytvranieBZ,prispiekahiemuporozumeniujejobsahuapriblisprvaniesaodvodzovaciehoprocesukimitovanejpredlohe.Okremtohozjednoduujetvorburiadiacejinfratruktryinferencnhomechanizmuasledovaniejejobsahu..b4 p`$Roman-WPType 1 " }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   @h vdyniiupriorituakozsobnkpreruenpravidiel ,  }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   proceszodpovedajcisprvaniusasystmu,ktorUsapozorovateovijavako propozicnU  prejav znalost.  (Smithovahypotzainteligentnhosprvania.)  *V$XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS  Ӏ  2    ݀XXXXOnekategorickUchpravidlchsapojednvavkapitolevenovanejaproximatvnemuusudzovaniu.#XXX+X#  *V$XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS  Ӏ  6    ݀NarozdielodpodmienokvzjomneodlenUchvpredpokladeindexom,odlenie  predpokladovvyznacujeme'hornUmindexom'prirodzencslovztvorke. P G }G 2 }  }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   @ ^ Pozorvaknapecifickpostaveniezsobnkapreruen.   *V$XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS  Ӏ  7    ݀Problmytohtodruhuniesvdytakevidentnakovuvaovanomjednoduchom  prpade.Monosipredstaviobdobnnevyslovovanzvislostimedzientitami,ktorsadostvajdovzjomnhovzahuprostrednctvomurcitejsekvencieprodukcnUchpravidiel.VtedyjedetekciaprcinynekonzistentnUchvUsledkovajejodstrnenienrocnejia. c΄T  w }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   + vyhodnocovanpredpokladupravidla,vktoromsadetekujepodmienka  komplementrnakpodmienkevpredpokladeinho,resp.inUchpravidiel : w *V$XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXr  }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   Trebasiozrejmi,edoterazuvaovanstratgieodvodzovaniasreflexioubuiexplicitne  formulovanUchaleboimplicitnevyplUvajcichsvislostimedzientitami.Ajimsadaj  priradihrany,ktorbyboliobohatenmp=vodnhosvislhoA/ALEBOgrafu.  *V$XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS  Ӏ  3    ݀XXXXHociideouniformnpredpokladytvorenibakonjunkciamipodmienok,ajtakzabezpecenietoho  vyadujehlbiuvahu.VoveobecnostijevUhodn,pokiaudostupndajetoumouj,poksisaibaprostrednctvomnichpredpokladfalzifikova.Aksatonepodar,nasledujedoplovaniechUbajcichdajov.#XXX+X#  .b4 p`$Roman-WPType 1 ? *V$XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS  Ӏ  13    ݀Podrobnejievkapitolevenovanomkomunikacnmumodulu. 5 *V$XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS  Ӏ  8    ݀bastotosp=sobujestratuzrozumitenostiobsahuBZ,akostivcinnostivysvetovacieho  mechanizmuES(pozriviaom)anapokonvedieajkneprimeranUmaneprirodzenUmnrokomprizskavanareprezentciiznalostapriprpadnommodifikovanobsahuBZ.!"xxxxx'xxxPCCxxxxxPxxxxkkxkdddd22PPdxdxdxx`CddCCdxxddddddxxxxxxxCCCCxxxxxxxxxxxxxxddCCxxxxxdxxxxxxxxxxxxxxxxxxxxxxxdddd܅xxxxxxxxxxxxxxxxxxxxxxxxx]dxxxxxxxxxxxxxxxxxxxxPPxxxxHxxxxxxxxx }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   . x *V$XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS  Ӏ  9    ݀Oprednostiachtejtoalternatvyvporovnanspredolousadpresvedcinapravidlch  P2.1aP2.2zodseku4.1.4.Akbysapredpokladprvhovnegovanejpodobezaclenilakokonjunktdopredpokladudruhho,konfliktnUprpadjejednoduchorieenU.Voveobecnostibyvakpocetskutocnost,ktorm=uplatnosd=sledkuporuijespravidlatakvysokU,euplatovanietohotoprstupubybolomimoriadnenepraktick.PretojevUhodnejmuplatnivakcnejcastipravidlaP2.2akciu,ktor,pokiaupravidloP2.1sp=sobilopotvrdenied=sledku,tentod=sledokfalzifikuje prpadnemonot;nnejinferencie 󀄀pozriviaom, & v alebo,vopacnomprpade,nastavsemaf;rtak,esazabrniinterpretciipravidlaP2.1. p *V$XXXXHXr^X # }GU"XXXXHX }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   @={meno_rmca}  G *V$XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS  Ӏ  4    ݀Niektorautorhovoriavtomtoprpadeo Booleovskejprahovejfunkcii . G *V$XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS  Ӏ  4    ݀Niektorautorhovoriavtomtoprpadeo Booleovskejprahovejfunkcii .    *V$XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS  Ӏ  12    ݀ProblematikouinterakcieESsvonkajmprostredmsazaoberetepodkapitola  venovanexternUmdajovUmaprogramovUmmodulom.́0~0 W  Level 1 Level 28H|OfP Level 3FFhWa6 Level 4R RFW' Level 5|1Q//~(73GU$ Oh!XXXXHX  TR;6&3'6& [ALL OTHERS]  3'Tr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS  C ( ~$ Figure  1  6666'dxdxyz{A<< CF(73GU$ Oh!XXXXHX  TR;6&3'6& [ALL OTHERS]  3'Tr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS  C   *V$XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS  Ӏ  7    ݀Problmytohtodruhuniesvdytakevidentnakovuvaovanomjednoduchom  prpade.Monosipredstaviobdobnnevyslovovanzvislostimedzientitami,ktorsadostvajdovzjomnhovzahuprostrednctvomurcitejsekvencieprodukcnUchpravidiel.VtedyjedetekciaprcinynekonzistentnUchvUsledkovajejodstrnenienrocnejia..b4 p`$Roman-WPType 1W ? *V$XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS  Ӏ  13    ݀Podrobnejievkapitolevenovanomkomunikacnmumodulu. w *V$XXXXHXr^X` hp x (#%'0*,.813  }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   Loklnezoznamyobjektov,ktorvzniklizidentifiktorovtUch,ktorUchrubrikyvyhovujkvantifikovanejpodmienke,svyuitenv0 8 sekvenciipodmienokvpredpoklade88 0 8 avakcnejcastidanhopravidla.  }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   0 8 TOBJEKTysauplatnnavetkUchzodpovedajcichIOBJEKToch,8z8z 0 8 IOBJEKTysatandardneuplatnnavetkUchbezprostrednUch(ocestudlky1  vzdialenUch)SOBJEKToch.  < }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   lensasertvnymiznalosaminiejemonprodukovaefektvneaakceptovatenrieiaceprocesy. 0 }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS    8 Asociovanm budemerozumieoperciu,ktorvyplUvazpoznatku,eniektor ntice  objektov(javov) (n>=2) sazvykvajsvcoucimenoufrekvenciouspolocne(ne)vy  skytova .Toznamen,emedzientitamim=ujestvova urcit (neznme,nedeterminis  tick,ciinakneurcen) svislostialebozvislosti .   8 VprpadepozitvnejasociciejedinUprvokaleboichzoskupenievdanejntici  m=esp=sobiupriameniepozornostinainUalebozoskupenieinUch,ktorsavnejvyskytuj.VprpadenegatvnejasocicieideoobdobnUprocesstUmrozdielom,eodnegatvneasociovanUchenttsanaopakpozornosodvracia. W.b4 p`$Roman-WPType 1 V }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   @ r sstavnhoregistrovaniaasledovaniavetkhoco  @r BOLOVYKONA  @Yr JEUZNME  @r SAMVYKONA  @'r bOJEMONVYKONA  @r bOSAMUS0VYKONA   }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   ObjektyreferencovanvprodukcnUchpravidlchmajmnohvlastnosti,vzbya  lohy,ktorUchreprezentciaibavasertvnejpodobejeneprpustneneefektvnaapriloklnomvyhodnocovan(propozicnejinterpretcii)predpokladuniesani  dobrezohladniten.  { *V$XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS  Ӏ  5    ݀JednoduchUmprkladomumoujcimilustrovauplatovaniesemaf;rovspravidlz  odseku4.1:InferencnUmechanizmusimitujcisprvanievodicabliacehosaautomkdopravnmusemaf;rubymalmapovoleninterpretovasemaf;rmiprodukcnhopravidla  lenpravidlP1.1,P1.2aP1.3.PravidloP1.4vtejtosituciinemvUznam.KebysansledneuplatnilopravidloP1.2,nslednemzmyseluplatniibapravidloP1.4zuvedenUchpravidielibajehointerpretciabysamalasemaf;rompripusti. Taktocinn >  odvodzovaciepostupysadajzabezpecidynamickUmprestavovanmhodn=t,naktorsasema;rypravidielodvolvaj .Vdanejsituciibysatodalozabezpeciakcnoucasou  b pravidlaP1.2.  }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   Produkcnpravidloje kategorick vtedyalenvtedy,keijejeho  +0 8 predpoklad p nazkladedostupnUchdajovjednoznacnepropozicnevyhodnotitenU,  t.j.podmienkm pi vystupujcimvpredpokladejemonojednoznacnepriradi  kategorickpropozicnhodnotuvnaomprpadeuvaovanhodnoty NEZISTEN,  PRAVDA,NEPRAVDAaNEZNME ,8:8: +0 8 d=sledok d jednoznacnevyhodnotitenUnazkladepropozicnejhodnoty,ktor  nadobudolpredpoklad;akbyhodnotad=sledkubolaimplikovatenvyhodnotenmviacerUchodlinUchpredpokladov,ktorinterpretciounadobdajliacesapropozicnhodnoty,takjestvujejednoznacnUdeterministickypredpisurceniajehovUslednejkategorickejhodnoty..b4 p`$Roman-WPType 1<6X9`+Courier1 p,Roman-WPBoldType 1q.:9 p`0Roman-WPItalicType 1.D9 p:Roman-WPBold ItalicType 1dA( Ap`$WP MathAType 1Gr Ap`>WP TypographicSymbolsType 1Pb>Ap`6WP IconicSymbolsAType 1  }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   KadUdizjunkttvorenUkonjunkciamivomsavyskytujcichpodmienok,ktorUpovyhodnotennadobudnepropozicnhodnotuPRAVDA,sp=sobujevtakomprpadepriradenietejtohodnotyajd=sledku.  }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS     Pokiapreurcitrozhodnutiestac,keiubovonneprzdnapodmnoinakardinality  M,1MN,elementrnychpodmienokpinadobudnepropozicnhodnotuPRAVDA,  potomhovormeokvantifikovanejmnoinepodmienok.  5 *V$XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS  Ӏ  8    ݀bastotosp=sobujestratuzrozumitenostiobsahuBZ,akostivcinnostivysvetovacieho  mechanizmuES(pozriviaom)anapokonvedieajkneprimeranUmaneprirodzenUmnrokomprizskavanareprezentciiznalostapriprpadnommodifikovanobsahuBZ. b }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   @  NAJMENEJM , NAJVIACM a PRVEM 󀄀z( p 1, p 2,..., p n)podmienok. x }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   (1)0 8 vnprvkovejmnoinepodmienoksauvaujvetkymtice,8z8z (2)0 8 tiesapropozicnevyhodnotiaakouniverzlnekvantifikovan,a8z8z (3)0 8 akaspojednaznichnadobudlapropozicnhodnotuPRAVDA,takajp=vodnUvUraz  kvantifikovanUkvantifiktorom NAJMENEJMzN nadobudnettohodnotu.  }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   +vUraz NAJMENEJM(p1,p2,...,pn) nadobudnepravdivostnhodnotu   PRAVDA vtedyalenvtedy,keizuvedenUch N podmienokpocettUch,ktornadobudn  hodnotuPRAVDAjerovnUalebovcne M ,   NEPRAVDA vtedy,keipocetpodmienokshodnotouNEPRAVDAjevc NM,    NEZNMA vovetkUchostatnUchprpadoch,  }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   +vUraz NAJVIACM(p1,p2,...,pn) nadobudnepravdivostnhodnotu   PRAVDA vtedyalenvtedy,keizuvedenUch N podmienokpocettUch,ktornadobudn  hodnotuPRAVDAjeaspo1anajviac M apocetpodmienok,ktornadobudnhodnotu  NEPRAVDAjeaspoNM, NEPRAVDA vtedykei  0 8 pocetpodmienokshodnotouPRAVDAjevcne M ,8z8z 0 8 vetkypodmienkynadobudlihodnotuNEPRAVDA,8z8z  NEZNMA vovetkUchostatnUchprpadoch,  }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   +vUraz PRVEM(p1,p2,...,pn) nadobudnepravdivostnhodnotu   PRAVDA vtedyalenvtedy,keizuvedenUch N podmienokpocettUch,ktornadobudn  hodnotuPRAVDAjeprve M avetkyzostvajcepodmienkymajhodnotuNEPRAVDA,   NEPRAVDA vtedykeipocetpodmienokshodnotouPRAVDAje  0 8 vcne M ,8z8z 0 8 menne M apocetpodmienokshodnotouNEPRAVDAjevc NM, 8z8z  NEZNMA vovetkUchostatnUchprpadoch.. T *V$UXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS  Ӏ  5    ݀IchschopnosrozhodovamedziviacerUmialternatvnymiobjektami,civahami.  }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   dostupnos,nrocnos,cenu,spoahlivos,diskriminacnUcinok C ׀dajov,vedajiecinky(napr.nevyhnutnoszastaviprevdzkuskmanhosystmu,jehopotencilnudetrukciu)anebezpecenstvoati.ichzskavania  *V$dXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS  Ӏ  6    ݀Prklad:Primedicnskomdiagnostikovanzfaktu,epacientbolockovanUprotiurcitUm  infekcnUmochoreniamsadoprvneneusdi,eimunizciouvylcenchorobnjednotkynetrebauvaova. } }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   Situacnezabrnipouitiupravidiel,ktorUchinterpretciavzhadomna  zisten/odvodenfaktystratilazmysel  C .  x *V$XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS  Ӏ  9    ݀Oprednostiachtejtoalternatvyvporovnanspredolousadpresvedcinapravidlch  P2.1aP2.2zodseku4.1.4.Akbysapredpokladprvhovnegovanejpodobezaclenilakokonjunktdopredpokladudruhho,konfliktnUprpadjejednoduchorieenU.Voveobecnostibyvakpocetskutocnost,ktorm=uplatnosd=sledkuporuijespravidlatakvysokU,euplatovanietohotoprstupubybolomimoriadnenepraktick.PretojevUhodnejmuplatnivakcnejcastipravidlaP2.2akciu,ktor,pokiaupravidloP2.1sp=sobilopotvrdenied=sledku,tentod=sledokfalzifikuje prpadnemonot;nnejinferencie 󀄀pozriviaom, & v alebo,vopacnomprpade,nastavsemaf;rtak,esazabrniinterpretciipravidlaP2.1.  }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS    0 8 poiadavkuexhaustvnehovyhodnoteniavetkUchpravidielstotonUmd=sledkom,   t.j.poiadavkuvyhodnocovaniaetenevyhodnotenUchpredpokladov p(i) ,ajkeisau  d=sledku d priradilahodnota,8z8z   0 8 priorituvyhodnocovaniajednotlivUchpravidielstotonoud=sledkovoucasou, 8z8z  0 8 sp=sobvykonvaniaakcnejcastivyhodnotenUchpravidiel . : }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   @{=vyhodnocovaniebynemalospavlastnU("vedaj")inferencnUproces % }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   @ postupnUminterpretovanmnadvzujcichprodukcnUchpravidiel .  }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   8 8 8X88SptnUchodasptnreazeniejehypotzami(ciemi)riadenUodvod  zovacproces,vktoromsazisujeaodvodzujelennevyhnutnUpocetfaktovpotrebnUchprepotvrdeniealebovyvrtenieurcenejhypotzy. XX 8 8 8X88 Priamychodapriamreazeniejedajmi(faktami)riadenU  odvodzovacproces,ktorUumoujegenerovavetkymonplauzibilnhypotzyzozadanUchdajov.   }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   @+charakteristikyrieenUchproblmov ,  }GU"XXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   @+poadovandetailnosrieenhoproblmu , G }GU"XXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   +rozsahpoadovanUch/prpustnUchkonovvyhovu  jcichelanmusprvaniusasystmu ,7[C[X[7[C[X[q]SSg?xxx,,=XxT5bCblXb7BmPmmT?vPvlv76[C[X[6[C[X[@t,I5IIu+I5IIW!7(7h7?I ;CMX8x5TX ;(;lh;7Tv*N5NlN7X 7(7h7X 7(7h7@ q/g5gMg8x #CXy.L8LL`T %CXӠ3S=S&S  j)C1CCj Tl'H1HlH7 6v=vM&v8x h+_1_M_8xT0Z=Zl&Z71S=S&S~ 1S=S&S@P2%2J2t TQ6%6lJ67 =&k(C1CCT{,R8RlR7 v1l8lMl8xNA[BoldOff][Cell][ + }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   @Vproceseinferencietistentitam=eby viacnsobne asociovan. L }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   @[~  kategorick (booleovsk),ci nekategorick    @p#~ DOPORUbENIE  + }GU""fzzzn\z\+\CCbbb@@bB;\\zB+++CCC\++\\z\\z\\bXXwz\zzz(C\\\߷zBL`b  *V$XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS  Ӏ  11    ݀Akciakomplementovaniasajavreflexiouuitocnhokognitvnehoprocesu "akto  neidetak,sksmetoopacne" .  }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   JestvujemonosnahraditakpravidljedinUmzoveobecnenUm(generickUm),vktoromnamiestoreferencovaniakonkrtnychindivdubudevystupovaobdobaurcitejpremennej? P *V$XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS  Ӏ  10    ݀Vzahmechanizmuhradlovaniaakognitvnychprocesovjepredmetomobjasovania.  }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   Presunpozornosti jejav,ktorUnastvaibakei naliehavosvyhodnocovaniaurcitUch  (asocicioudoporucenUch)hypotzprekroc iststanoven medzuprah .    * }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   @={meno_rmca}   }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   @u^ Ideomechanizmus,ktorUnazveme hradlovanie.   }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   @~  wi:=wi+wj󀄀(wi*wj) 󀀀pre wi>0,wj>0   @~ wi:=wi+wj󀄀(wi*wj)pre wi<0,wj<0   @~ apre wi>0,wj<0, resp. wi<0,wj>0,   @N~ wi:=(wi+wj)/(1min(|wi|,|wj|) HWW *V$XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS  Ӏ  11    ݀xxx ~ }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   detekovaniesplneniavetkUchpodmienokvcelomsystmeprodukcnUchpravidiel,  ktorodkazujnahodnotutejistejrubrikyurcithormca.   }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   @~  wi:=wi+wj󀄀(wi*wj) 󀀀pre wi>0,wj>0   @~  wi:=wi+wj󀄀(wi*wj) 󀀀pre wi<0,wj<0   @~ apre wi>0,wj<0, resp. wi<0,wj>0,   @~  wi:=(wi+wj)/(1min(|wi|,|wj|)   }"fxdd/dIIkkkEEkH@ddH///IIId//ddddddk``d+IdddȅHSik  }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   0 8 vetkyreferencovanrubrikymajuhodnotu (pokusohradlovanienevyvolva  tedaiadnyproceszisovaniaetenezistenUchhodn=t)a8z8z 0 8 celpodmienka,vktorejsareferenciavyskytuje,jesplnen .  | }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   +0 8 KvantifikovanvUrazy,tedavUrazysnepriamymreferencovanmobjektov,sa  m=upouiajvakcnejcastipravidiel.   }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   + vUbere dvochaleboviacerUch hypotz zniektorejdajovejtruktryagendy(nievak  zsobnka),keisadetekujekomplementaritapodmienokvimzodpovedajcichpredpokladoch:  }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   +vUberemedziahlUch (niecieovUch,koreovUch) hypotz zniektorejdajovej  truktryagendy(nievakzsobnka),ktormkomplementrnulohuvpredpokladeinUchpravidiel:      *V$XXXXHXr^X` hp  2 }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   @W SvislUgrafzodpovedajciasertvnejcastiBZnazvene oblasznalost .V& 8Document[8]Document Style0..8` ..` V8Document[4]Document Style.. .   }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   vUbere dvochaleboviacerUch hypotz zniektorejdajovejtruktryagendy(nievak  zsobnka),keisadetekujekomplementaritapodmienokvimzodpovedajcichpredpokladoch:  }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   TUmsazamedzuje spontnne zadvaniedajov,hocipouvatesivpriebehuodvodzova  niaspomenulnaistskutocnos,ktorvpredolomsystmuneoznmil,alebojurozpoznalvdynamickysameniacejrealite.  }GU"X # }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   nepriame,implicitn,referencovanierubrkindivduovUchobjektovaleboichtried.  K }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   JednUmzosp=sobovoetreniatakejtosituciejepripustenie  viacnsobnUchtruktragendy.  Y }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   Keimagendaviacerozloiek,jenevyhnutnrozhodn,zktorejsamnasledne  vyhodnocovanentitavybra.  s }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   Ooblastiznalostmonotiehovoriakoozoskupenpravidielahypotz,medzi  ktorUmivcasecinnostisystmuvznikajvzbynazkladeobochsmerovreazen,hradlovania,asociovania,komplementovania,alebovykonaniaakcizd=sledkovejcastipravidiel .Opravidlch,ktorsanachdzajvoblastiznalosthovorme,es silne  viazan . V }GU"XX . }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   Vonvzby0 8 sadefinujpritvorbeBZmedzidvomialeboviacerUmientitami(predovetkUm)  zr=znychoblastznalost (nesvislUchgrafov),8:8: 0 8 pokiasauplatnia sp=sobujvloenieviazanejentitydozodpovedajcejtruktry  agendy,ktortandardnemnajniiuzovetkUchmonUchprirt (ttostratgia  vonejvzbyzodpovedtomu,eapovyhodnotenvetkUchzmysluplnUchpravidielzjednejoblastiznalostisapripaprechoddoinejoblastimtobyreflexiousstredeniapozornosti,ktorzabrauje"tekavostimysle",t.j.preskakovaniuz"tmynatmu"), 8:8: 0 8 zabezpecujjednosmernUmechanizmus(vzmysle"priamychod")prenosuriade ]]  nia ,tUmtedaajsmerusudzovania(neuplatujsaprisptnomreazen),Z Z 8:8: 0 8 jemondefinovamedzioblasamivobochsmeroch (medzirovnakUmiajr=znymi E E  hypotzami), ajvrmcijedinejoblasti,badokoncaajvzbuhypotzynaseba  B B  (pretoevonvzbamnajniiuprioritu,vUznamtohtokontruktuspocvavzabezpecenvyhodnoteniatakejtohypotzypotom,covetkyostatnvUznamnentityvdanejoblastiboliuvyhodnoten,mtod=leitUdopadprizabezpecovannemonot;nnehousudzovaniapozrivialom). "AIP[rﳈE?0404/Nmpϟ@2BP@LL   }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   Stratgieinferencieovplyvujvkladaniehypotzdoagendy(prpadneinUchpoiadavieknazskaniedajov)atUm ovplyvuj(zefektvuj)mechanistick met;dyriadenia  inferencie.Okremtoho,ezabezpecujvurcitomrozsahu cielenos rieiacichpostupov,  sajprostriedkomimitovaniacinnUchkognitvnychpostupovcloveka.Monohovori,eumoujvytvrakznalostiamtermovhoajasertvnehotypu operatvnnadstavbu ,  t.j. racionlneovplyvovcinnosinferencnhomechanizmu,atUmajsprvaniasa  ES .3|@J)  }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   Akvyhodnocovanieniektorejzpodmienoksp=sobilovytvorenieloklnehozoznamu  objektov,taktensazachovadoplnhovyhodnoteniacelhopredpokladu.   { }GU"XXXXHXr^X` hp x "nnnnn#nnnI==nnnnnInnnnbbnb\\\\..IIz\n\n\nnX=\\==\zznn\\z\\\\nnnnnnn====nnnnnnnnnnnnnn\\zz==nnnnn\zznnnnznnnnnnnnnnnnnnnnnnn\\\\zzzzzzzzzzzznnnnnnnnnnnnnnnnnnnnnnnnnV\nnnnnnnnnnnnnnnnnnnnIInnnnuzBznznnnnnznnnV 8Document[6]Document Style8..V 8Document[5]Document Style0..  }GU"XXXXHXr^X` ; }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   0 8 odkazovanaentity,ktorvtedyeteniespresneznme,8:8: 0 8 nahradzovaindividulneodkazygenerickUmi,t.j.nahradzovapotencilnevek  mnostvokonkrtnychreferencovanzovebecnenUm(hromadnUm)odkazom, 8:8: 0 8 vyhadvaentity,oktorUchnem=ebyvopredznme,civyhovuj  pecifikovanUmpoiadavkm,podmienkm, 8:8: 0 8 vyhadvafaktykorepondujcevlastnostiamentt.   }GU"XXXXHXr^X"````````@55`````@u````UU`UPPPP((@@kP`P`P``M5PP55Pkk``{{PP{kPPPP```````5555``````````````PPxxkk55`````Pokk````k````````{{```````````PPPPkkkkkkkkkkkk`````````````x````````````KP````````````````````@@````fk:rk`k`````k```  }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   +0 8 PrvkvantifikovanpodmienkaimplicitnereferencujeIobjektyzodpovedajcej  triedy,resp.SobjektyzodpovedajcehoIobjektu ,avak nadvzujcepodmienky  predpokladuureferencujobjektyzvytvorenholoklnehozoznamu ,pokia  vznikol.(Akbynevznikol,jetoprznakomtoho,euprvpodmienkanebolasplnenatedaecelUpredpokladjevd=sledkutohonesplnenU.) 3 }GU" ' }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS  g }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   +0 8 Loklnezoznamyvznikajcevd=sledkuTNZexistujibadocasne ,pocas  vyhodnocovaniapravidla,potomzanikaj. MonoichvakodovzdaexternUm  procedramalebodajovUmtruktram.Monoznichtievytvranovdynamickobjekty (pozriakciuA1vyie).Akonhleje loklnyzoznamvytvorenU,  stvasanezvisloudajovoutruktrou .Aksapocasjehoexistencie,alebopojeho  uchovan,dynamickyzrualebopridobjektdotriedy,zktorejzoznamvznikol,nesp=sobtozmenujehoobsahu.  }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   +0 8 Podmienky vpredpokladejeprpustnaj viacnsobnekvantifikova .Monoteda  vytvoriimplicitnreferencietypu 8z8z 0 8 < MENO_RMCA > , { MENO_RMCA } ,8z8z 0 8 <> , {{ MENO_RMCA }} ,8z8z 0 8 <<< MENO_RMCA >>> , {{{ MENO_RMCA }}} ati.8z8z 0 8 Sp=sobvyhodnoteniaacinokkvantifikovanUchpodmienokjerovnakUakovpredolom.Avak kadnsobnoskvantifikovaniavytvrasvojvlastnUloklnyzoznam. ww TiealenieszvislnaporadviacnsobnekvantifikovanUchpodmienok,aninapoctekvantifikci.  H }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   PodmienkasapostupnetestujeskadUm Iobjektom patriacimdotriedyuniverzlne  kvantifikovanhoTobjektu.Generujesapritom loklnyzoznam objektovvyhovujcich  danejpodmienkeakeisa8 8 nenatrafnaobjekt,ktorUpodmienkunespluje ,celkvantifikovanpodmienka  jesplnenpriradsajejpropozicnhodnota PRAVDA ,88 0 8 detekujeaspojedenprpadobjektu,ktorUnevyhovujepecifikovanej  podmienke ,kvantifikovanpodmienkajenesplnenpriradsajejhodnota NE    PRAVDA aloklnyzoznamzanikne,8:8: 0 8 nenatrafnaiadnyobjekt,ktorUpodmienkenevyhovuje,aleasponajedinU,o zz platnostiktorhosanedrozhodn ,takkvantifikovanpodmienkajeneroz ww   ww  hodnutenpriradsajejhodnota NEZNMA aloklnyzoznamzanikne. { }GU"XXXXHXr^X` hp x "|qnddddfĐn×rcnksX7SNNggCCNN77//Tmmw}\ { }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   +0 8 ZoznamyvytvorenTNZsam=upouiajvtruktrachPZaAZ .Pouitieje  analogickakovakcnejcastipravidiel.  }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   +0 8 Pokiavetkypodmienkypredpokladusrovnakokvantifikovan,poradie  podmienokjekomutovatenavUslednpropozicnhodnotapredpokladuakoajvUslednUobsahloklnehozoznamuniejezvislUnaporadpodmienok . Vprpade  vyskytur=znekvantifikovanUchpodmienok,ichporadieniejevpredpokladekomutovatenavUsledokjehovyhodnoteniajezvislUnaporadpodmienok.   }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   PodmienkasapostupnetestujeskadUm Iobjektom patriacimdotriedy existencne  kvantifikovanho Tobjektu.Generujesapritom loklnyzoznam objektovvyhovujcich  danejpodmienkeakeisa0 8 natrafnaobjekt,ktorUpodmienkuspluje ,tensazaraddo loklnehozoznamu ;  pokracujesavakialejtak,abyvetkyobjektysplujcepodmienkusazaradilidoloklnehozoznamu neprzdnyloklnyzoznamimplikujepriradeniepropozicnej  hodnotyPRAVDAexistencnekvantifikovanejpodmienke ,8:8: 0 8 przdnyloklnyzoznamindikuje ,emohlinastadvaalternatvneprpady{{8:8: 0 8 /0X8:8:bol detekovanUaspojedenobjekt,ktorUvprslunejrubrikemhodnotu xx NEZNMA ,cosp=sob,e kvantifikovanpodmienkanadobudnehodnotu uu  NEZNMA ,` ` X:X: 8 8 /0X88 iadnyobjektnevyhovujepecifikovanejpodmienke ,cosp=sob,e kvantifi K K  kovanpodmienkajenesplnen,nadobudnehodnotuNEPRAVDA .  }GU"  }GU"XXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS  "XXXXXXXX;11XXXXX;lXXXXNNXNIIII%%;;bIXIXIXXF1II11IbubXXppIIpbIIIIXXXXXXX1111XXXXXXXXXXXXXXIInnbb11XXXXXIfubbXXXXbXXXXXXXXppXXXXXXXXXXXIIIIbbbbbbbbbbbbXXXXXXXXXXXXXnuuXXXXXXXXXXXXDIXXXXXXXXXXXXXXXXXXXX;;XXXX^b5ibXbXXXXXbXXX"u^NCQddȧ(CCdr2C28ddddddddddCCrrrdzNdzoȐC8CtdhdoYoYCdo8Co8odooYNCodddYO4Oh&CCCCdDDDCDDDodddddȐYYYYYN8N8N8N8oddddooooddoddddzodddYYYYoYYYYddddddooN9N9N8N9do88888ooooddȐYYYoNoNoNoNCCCooooooȐdYYYo8oYoNCddodoYN99dNVCdIId|bEEm2222ffd//dd2f2'xxxxCrx"u^CCRdd$CCdq2C28dddddddddd88qqqYzoCNzoozzC8C^dlYdYdYCdd88d8dddfCN8ddddY`g`l2CCCCdDDDCDDDdYYYYYYzYzYzYzYC8C8C8C8ddddddddddYddddcodYYYYYYYdzYzYzYzYddddddddC9C9C8C9Ndz8z8z8z8z8ddddddCCCoNoNoNoNz8z8z8dddddddzYzYzYdz8dCoNz8dddddzYC99dN3XVCYUUbmb82m8822ZZ55dd2Z8']yx]CqbV/8Document[2]Document Style 2A.3  Ԁ   V& 8Document[7]Document Style0..0` ..`  d }GU"XXXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   *0 8 Loklnezoznamyvznikajcevd=sledkuTNZexistujibadocasne ,pocas  vyhodnocovaniapravidla,potomzanikaj. MonoichvakodovzdaexternUm  procedramalebodajovUmtruktram.Monoznichtievytvranovdynamickobjekty (pozriakciuA1vyie).Akonhleje loklnyzoznamvytvorenU,  stvasanezvisloudajovoutruktrou .Aksapocasjehoexistencie,alebopojeho  uchovan,dynamickyzrualebopridobjektdotriedy,zktorejzoznamvznikol,nesp=sobtozmenujehoobsahu.  }GU"XXXHXr^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   0 8 operovasozoznamamiobjektovnamiestomanipulovania(postupne)s  jednotlivUmiobjektami, 8z8z 0 8 testovamnoinyobjektovvzhadomnapodmienky,covzhadomnavlastnosti  objektovslivytvraniuzoznamovtUchznich,oktorUchsazisilo,evyhovujdanUmkritrim, 8z8z 0 8 dynamickynarbasmnoinamiobjektov,ktorniesznmevcasevytvrania  BZ. zU :Right Par[1]Right-Aligned Paragraph Numbers..2I.3  Ԁ..0.."u^PPbxxȻ+PPx_}.PPPPxRRRPRRRxxxxxkkkkk]C]C]C]Cxxxxxxxxxxxxxkkkkkkkkxxxxxx]D]D]C]DxCCCCCxxkkk]]]]PPPxkkkCk]Pxxxk]DDxNgPxXXxuSS<<<<zzx88xxtbttYtkYbttttb5,5KPWGPGPG5PP,,P,|PPPR5>,PPtPPGMRMW(5555P7775777PtGtGtGtGtGkkGbGbGbGbG5,5,5,5,tPtPtPtPtPtPtPtPtPtPtGtPtPtPtPtOYPwGwGwGkGkGkGkGtPbGbGbGbGtPtPtPtPtPtPtPtP5.5.5,5.>tPb,b,b,b,b,tPtPtPtPtPtPtk5k5k5Y>Y>Y>Y>b,b,b,tPtPtPtPtPtPttPbGbGbGtPb,tPk5Y>b,tPtPtPtPtPbG5..tPN(GD5GDDNWN,(hhW,wwhh,((HHr**PP(H,'Ja`J5ZN"u^55CPP|"55Pl(5(,PPPPPPPPPP55lllPbbktbbtt5GkYktbtbPYtbbYY>,>KPWPPGPG,PP,,G,tPPPP>>,PGkGG>@R@W(5P55P7775777PbPbPbPbPbPkkGbGbGbGbG5,5,5,5,kPtPtPtPtPtPtPtPtPYGbPtPtPtPYGtPbPbPbPbPkGkGkGkGtPbGbGbGbGtPtPtPtPtPtPtPtP5.5.5,5.GkGY,Y,Y,Y,Y,kPkPkPkPtPtPkb>b>b>P>P>P>P>Y,Y,Y,tPtPtPtPtPtPkYGY>Y>Y>tPY,kPb>P>Y,YGYGtPtPtPbG5..tPN(GD5GDDNWN,(hhW,wwhh,((HHr**PP(H,'Ja`J5l`"u^((1<:A((l((<)))()))<W5W5W5W5W5kPP5I5I5I5I5(!(!(!(!W((Z((<)))()))CW5@PP 55P[(5(,PPPPPPPPPP55[[[Ptkttkb||>P|kt|b|tYkttttk5,5]PSPYGYG5PY,5Y,YPYYG>5YPtPPG?*?S55y55P7775777YtPtPtPtPtPttGkGkGkGkG>,>,>,>,tY|P|P|P|PtYtYtYtYtPtPtY|P|PtPtPbYtPtPtPtGtGtGtGtYkGkGkGkG|P|P|P|P|P|P|Y|Y>.>.>,>.P|Yk,k,k,k,k,tYtYtYtY|P|PttGtGtGY>Y>Y>Y>k5k5k5tYtYtYtYtYtYttPkGkGkGtYk,tYtGY>k5tPtPtY|PtYkG>..|PNkkD5P;;PcN88iiW(wwhi(((RRP%%PP(R('````5[`"u^((2<0A(>HPH)%__P)mm__)%%BBi''II}%B)'DYXD1SH"u^91;IIz11IT%1%)IIIIIIIIII11TTTIjbjjbZrr9IrbjrZrjRbjjjjb1)1UILIRARA1IR)1R)zRIRRA91RIjIIA:&:L11o11I2221222RjIjIjIjIjIjjAbAbAbAbA9)9)9)9)jRrIrIrIrIjRjRjRjRjIjIjRrIrIjIjIZRjIjIjIjAjAjAjAjRbAbAbAbArIrIrIrIrIrIrRrR9*9*9)9*IrRb)b)b)b)b)jRjRjRjRrIrIjjAjAjAR9R9R9R9b1b1b1jRjRjRjRjRjRjjIbAbAbAjRb)jRjAR9b1jIjIjRrIjRbA9**rINbb?1I66I[H33``P%mm_`%%%KKI""II|%K%'XXXX1TX"u^G=J\\%==\i.=.3\\\\\\\\\\==iii\zzpG\zpfzz=3=k\_\fQfQ=\f3=f3f\ffQG=f\\\QH0H_#====\???=???f\\\\\QzQzQzQzQG3G3G3G3f\\\\ffff\\f\\\[pf\\\QQQQfzQzQzQzQ\\\\\\ffG4G4G3G4\fz3z3z3z3z3ffff\\QQQfGfGfGfGz=z=z=ffffff\zQzQzQfz3fQfGz=\\f\fzQG44\NzzN=\CC\rY@@xxd.wx...^^\++\\.^.'nnnn=in"u^==M\\'==\|.=.3\\\\\\\\\\==|||\ppzpp=Qzfzpp\fppffG3GV\c\\Q\Q3\\33Q3\\\\GG3\QzQQGI^Ic.=\==\???=???\p\p\p\p\p\zzQpQpQpQpQ=3=3=3=3z\\\\\\\\\fQp\\\\fQ\p\p\p\p\zQzQzQzQ\pQpQpQpQ\\\\\\\\=4=4=3=4QzQf3f3f3f3f3z\z\z\z\\\zpGpGpG\G\G\G\Gf3f3f3\\\\\\zfQfGfGfG\f3z\pG\Gf3fQfQ\\\pQ=44\N.QN=QNNYdY3.wwd3ww3..SS11\\.S3'UonU=|n"u^3Gf\\3==\i.=.3\\\\\\\\\\==iii\zzzzzG\zppzfpzzpp=3=i\i\\Q\Q=\f33\3f\\\GG3fQz\QG@0@i#====\???=???\z\z\z\z\z\zQzQzQzQzQG3G3G3G3f\\\\ffffpQz\\\\pQ\p\z\z\z\zQzQzQzQ\zQzQzQzQ\\\\\\ffG4G4G3G4\z\p3p3p3p3p3ffff\\zGzGzGfGfGfGfGp3p3p3ffffffzpQpGpGpG\p3fzGfGp3pQpQ\\fzQG44\NzzN=\CC\rY@@xxd.wx...^^\++\\.^.'nnn=in"u^%%-77\V%%7>%7777777777>>>1eRIIOC=OO%+OCbOO=OI=COOhOOC%%47<17171%777V7778%+77O771595<%%c%%7&&&%&&&7O1O1O1O1O1bII1C1C1C1C1%%%%O7O7O7O7O7O7O7O7O7O7O1O7O7O7O7O6=7R1R1R1I1I1I1I1O7C1C1C1C1O7O7O7O7O7O7O7O7%%%%+O7CCCCCO7O7O7O7O7O7bOI%I%I%=+=+=+=+CCCO7O7O7O7O7O7hOO7C1C1C1O7CO7I%=+CO7O7O7O7O7C1%O7N1/%1//6<6GG<RRHG22O77a^2i'3CB3%>6"u^+%,77n\%%7?%7777777777%%???7fOIOOICVV+7VIhOVCVO=IOOnOOI%%@797=1=1%7=%=\=7==1+%=7O771++9%%S%%7&&&%&&&=O7O7O7O7O7nOO1I1I1I1I1++++O=V7V7V7V7O=O=O=O=O7O7O=V7V7O7O7C=O7O7O7O1O1O1O1O=I1I1I1I1V7V7V7V7V7V7V=V=++++7V=IIIIIO=O=O=O=V7V7nOO1O1O1=+=+=+=+I%I%I%O=O=O=O=O=O=nOO7I1I1I1O=IO=O1=+I%O7O7O=V7O=I1+V7NII/%7((7D6&&HH<RRHH88777]a8i'BBBB%?BV? 8Document[3]Document Style.. 21.3  Ԁ   "u^11>IIzr11Ic%1%)IIIIIIIIII11cccIZZbjZZjj1AbRzbjZjZIRjZzZRR9)9EIOIIAIA)II))A)jIIII99)IAbAA9;L;O%1I11I2221222IZIZIZIZIZIbbAZAZAZAZA1)1)1)1)bIjIjIjIjIjIjIjIjIRAZIjIjIjIRAjIZIZIZIZIbAbAbAbAjIZAZAZAZAjIjIjIjIjIjIjIjI1*1*1)1*AbAR)R)R)R)R)bIbIbIbIjIjIbZ9Z9Z9I9I9I9I9R)R)R)jIjIjIjIjIjIzbRAR9R9R9jIR)bIZ9I9R)RARAjIjIjIZA1**jIN%A?1A>>HPH)%__P)mm__)%%BBi''II}%B)'DYXD1cX"u^A8CSS"88S_*8*.SSSSSSSSSS88___SxoxxofASoxfx]oxxxxo8.8aSWS]J]J8S].8].]S]]JA8]SxSSJB+BW 88~88S9998999]xSxSxSxSxSxxJoJoJoJoJA.A.A.A.x]SSSSx]x]x]x]xSxSx]SSxSxSf]xSxSxSxJxJxJxJx]oJoJoJoJSSSSSS]]A0A0A.A0S]o.o.o.o.o.x]x]x]x]SSxxJxJxJ]A]A]A]Ao8o8o8x]x]x]x]x]x]xxSoJoJoJx]o.x]xJ]Ao8xSxSx]Sx]oJA00SNooG8S==SgQ::mm[*||mm***UUS''SS*U*'dddd8_d"ddddd dddC88dddddCzddddYYdYSSSS**CCoSdSdSddP8SS88SooddSSoSSSSddddddd8888ddddddddddddddSS}}oo88dddddStooddddodddddddddddddddddddSSSSooooooooooooddddddddddddd}ddddddddddddNSddddddddddddddddddddCCddddko , = , < , <> , >= , <= .&^!'"" +0  Intervalovrelcia 󀄀 operand1opertoroperand2 ,vktorej'D#)"" 0  0""operand1jealternatvne(?$*"" 0  0""0` "" identifiktorrubrikyrmca ,prehodnotuktorejplatnumerickydtovUtyp,)<%+` "` " 0  0""0` "" identifiktorrubrikyrmca ,prehodnotuktorejplatdtovUtypnumerickU *'&, interval(vyjadrenUdvojicouhodn=t),` "` " 0  0""0` "" numerickUvUraz ,vktoromsavyskytujeaspojedinUidntifiktorrubriky  rmcasnumerickUmdtovUmtypom,` "` " 0  0""0` ""individulny identifiktornumerickejfunkcie alebonumerickUvUraz,v n ktoromsavyskytuje,pricom zjehoargumentovjeaspoidentifiktor Y rubrikyrmca ,snumerickUmoboromindividulnych,resp.dvojchodn=t, D  alebodvojicutUchtohodn=t, ` "` " 0  0""operand2jealternatvne h"" 0  0""0` "" kontanta ,tvorendvojicouhodn=treprezentujcichinterval, e` "` " 0  0""0` ""aleboniektorUzprpadovoperand1,pokiajejhodnotazodpovedintervalu, P ` "` " 0  0""opertorjealternatvne 9 "" 0  0"" 0` ""> (doln_hranica_1jemeniaakodoln_hranica_2azrovehorn_hranica1 6  jevciaakohorn_hranica_2), ` "` " 0  0""0` "" = (rovnosobochhranc), ` "` " 0  0""0` "" < (analogickyprpadu > ), ` "` " 0  0""0` "" <> (keiintervalymajprzdnyprienik), ` "` " 0  0""0` "" >= (keiintervalymajjednuspolocnhranicnhodnotuadruhhranicna { hodnotaintervalu_2levintervale_1), ` "` " 0  0""0` "" <= (analogickUspredolUm),O` "` " 0  0""alebosybolysvUznamom "" 0  0""0` "" je_prvkom (hodnotalevovntriintervalu),#s` "` " 0  0""0` "" hranic_s_intervalom (intervalymajspolocnibajedinzhranicnUch ^ hodn=t), ` "` " 0  0""0` "" nasleduje (keihranicadolnhranicaintervalu_1jerovnhornejhranici 2 intervalu_2,aleboplatrelcia <> ,pricomtieplat,edolnhranicainter  H  Hvalu_1 > horn_hranica_intervalu_2),` "` " 0  0""0` "" predchdza (analogickyakovpredolom).` "` " +0  Mnoinovrelcia 󀄀 operand1opertoroperand2 ,vktorejw"" 0  0""operand1jealternatvner"" 0  0""0` "" identifiktorrubrikyrmca ,prehodnotuktorejplatmnoinovUdtovUtyp,o ` "` " 0  0""0` "" vUrazsmnoinovUmioperciami ,vktoromsavyskytujeaspojedinU Z! idntifiktorrubrikyrmcasmnoinovUmdtovUmtypom,E" ` "` " 0  0""operand2jealternatvne/#!"" 0  0""0` "" mnoina ,,$|"` "` " 0  0""0` ""aleboniektorUzprpadovoperand1,%g #` "` " 0  0""opertorjeniektorUzrelci(vlastn,nevlastn) podmnoina, resp. nadmnoina, &P!$ rovnos, resp. nerovnos mnon, prvokmnoiny .&M"%""   (Analogickyprezoskupenia("bag")azoznamy.) '8#& +0  Reazcovrelcia 󀄀 operand1opertoroperand2 ,vktorej) %("" 0  0""operand1jealternatvne*&)"" 0  0""0` "" identifiktorrubrikyrmca ,prehodnotuktorejplatreazcovUdtovUtyp,+'*` "` " 0  0""0` "" vUrazsreazcovUmioperciami ,vktoromsavyskytujeaspojedinU ,'+ idntifikHHtorrubrikyrmcasreazcovUmdtovUmtypom,-(,` "` " 0  0""operand2jealternatvner.)-"" 0  0""0` "" reazec ,o/*.` "` " 0  0""0` ""aleboniektorUzprpadovoperand1,` "` " 0  0""opertorjeniektorUzrelci podreazec, resp. nadreazec,rovnos, resp. nerovnos   reazcov."" +0  Propozicn(logick)relcia 󀄀 operand1opertoroperand2 ,vktorejh"" 0  0""operand1jealternatvnec "" 0  0""0` "" identifiktorrubrikyrmca ,prehodnotuktorejplatpropozicnUdtovUtyp,` ` "` " 0  0""0` "" vUrazslogickUmioperciami ,vktoromsavyskytujeaspojedinUidntifiktor K  rubrikyrmcaspropozicnUmdtovUmtypom,6 ` "` " 0  0""operand2jealternatvne p "" 0  0""0` "" propozicnkontanta ,m ` "` " 0  0""0` ""aleboniektorUzprpadovoperand1,X ` "` " 0  0""opertorjerelcia rovnosti, resp. nerovnosti .A "" 0   ""   Poznmka:pecifickUmjeprpadpodmienkypropozicnhotypukeiobaoperandynadobudnhodnotuNEZNMA.Vzvislostinaaplikcichjepotrebnrozhodn,cisavyhodnotenmtakejpodmienkymjejpriradihodnotaNEZNMAaleboPRAVDA.4.1.30  KvantifikovanpodmienkyR""   Majmemnoinur=znych(elementrnych)podmienok pi .Nechjejejkardinalita N . %u t|5555:*&j  `@@"t ""                  ""  KvantifikovanUmmnoinmpodmienokzodpovedajajzpisysoznmymikvantifiktormi o    z(p1,p2,...,pn) ,resp. y(p1,p2,...,pn) . B!   Univerzlnekvantifikovanmnoinapodmienokzodpovedprpadu,vktorom M=N , #f! t.j.vetkUch N elementrnychpodmienokmusbysplnenUch,abykvantifikovan(zloen) $Q" podmienkanadobudlahodnotuPRAVDA.Existencnekvantifikovanmnoinapodmienokzodpovedprpadu,vktorom M=1 ,t.j.stac,keiubovonzpodmienok pi jesplnen,aby %%!$ kvantifikovanmnoinanadobudlahodnotuPRAVDA.  VasercichvzahujcichsakmnostvupraktickUchaplikcijevzhadomnaexpresivituaodvodzovaciucinnosvUhodnpouvaajiaietypykvantifiktorov.PritvorbeESsamonostretnnajmskvantifiktormityput|)))):*&j  `@@g.""t ""            ""  SmantikauvedenUchkvantifiktorovvyplUvazichvzahukuniverzlnemu(budemepsa .A*.  PRE_VETKY ),resp.kexistencnmu(budemepsa EXISTUJE )kvantifiktorupredi  H  Hktovejlogikyprvhordu.Plat  PRE_VETKY=PRVENzN ,resp. PRE_VETKY=NAJMENEJNzN , m a  EXISTUJE=NAJMENEJ1zN . A  NazkladetUchtovzahovmonoodvodismantikukvantifiktorov   NAJMENEJMzN , NAJVIACMzN a PRVEMzN .  7    Smantikakvantifiktora NAJMENEJHvHHuH (  4      ׀MzN (vsladesintuitvnymvUznamomslova    najmenej )jemonpecifikovatakto:   b|0 b  `@"zb ""                  ""  AnalogickykvzahumedziuniverzlnymaexistencnUmkvantifiktoromvprediktovejlogike1.rdu(negciuzapemevtvare NON ) )   NON[PRE_VETKY(p1,p2,...,pn)]=EXISTUJE(NONp1,NONp2,...,NONpn)   monopsa  NAJVIACM(p1,p2,...,pn)= (!"(1) Q 0    =NAJMENEJ(NM)[(NONp1),(NONp2),...,(NONpn)] <""   PRVEM(p1,p2,...,pn)= (!"(2)  ^ 0    =[NAJMENEJM(p1,p2,...,pn)&NAJVIACM(p1,p2,...,  pn)] . I""   VzhadomnatrojhodnotovpropozicnvyhodnocovanietaktokvantifikovanUchmnonelementrnychpodmienokplat:b|0 b  `@ ,"z"zb ""H                      , (, HH, (, Hb|0 b  `@ "b ""                                    ""b|0 b  `@ ""b ""                                 ""  Poznmka:Niejezriedkav,keivoviacerUchpravidlchsareferencujetistmnoinapodmienok( p 1, p 2,..., p n)srovnakUmialeboliacimisakvantifiktormi.VtedyjevUhodn  priraditakejmnoineidentifiktorasnmjupamta.Mnoinasadnslednereferencova,hociajsodlinUmkvantifiktorom,vpredpokladochr=znychpravidiel.Prednostinepriamehoodkazovanianakvantifikovanmnoinyelementrnychpodmienoksaprejavujokreminhovkontexteskvalitatvnymimet;damiaproximatvnehoodvodzovania(pozrivialom).4.1.40  Priorityvyhodnocovaniapodmienok 9""   VniektorUchvUvojovUchprostrediachsavyuvamonospriradijednotlivUmpravidlmapodmienkmvichpredpokladestatickalebodynamick priorituvyhodnocovania .TUmito #" prioritamijemonovplyvovapostupnosvyhodnocovaniapodmienokapravidiel.  VaplikacnUchoblastiach,vktorUchjeiaducezohadoval|:*&j  `@ @ +""l ""               ""tomvekUvUznam.PrioritamijednotlivUchpravidielapodmienoksadsituacneovplyvovapostupnoszskavaniaprslunUchdajov.OkremtohoprioritytieumojaspozcastiimitovapredpokladanUsleduvaovaniaclovekazar=znychokolnost.  NailustrciumajmejednoduchUprkladdvochpravidiel,vktorUchspriority |/*/ vyhodnocovaniapodmienokuvedenvpodobereferencovaniametarubriky'statickej(priamej)  hodnotypriority',znacme [SP:] .Zapredpokladu,ecmjevyiauvedenhodnota,tUmje  vyiaprioritavyhodnocovaniapodmienky(pripomnamemonoszskavaniaajdynamickymenitenejhodnotypriorityzprslunUchmetarubrkatribtovvrmcoch [DP:] )jemon n vysledovapostupnosvyhodnocovaniapodmienokapravidiel.Pravidlo2.1: AK 0  0` "" M` "` " 0  0"" NAJMENEJ3 ( 6 "" 0  0""0` ""0 ` "` "Auto.zvuk_prevodovky=kovovU[SP:30],  " " 0  0""0` ""0 ` "` "Auto.radenie_rUchlostnej_pky=obtiane[SP:50],  " " 0  0""0` ""0 ` "` "Auto.nik_oleja_z_prevodovky=no[SP:100],  " " 0  0""0` ""0 ` "` "Auto.lomky_kovu_v_prevodovke=no[SP:1]  " " 0  0""0` ""0 ` "` "Auto.rozbeh=nerovnomernU[SP:20])  " " 0  A 0""Auto.pouvate je_prvkom_mnoiny (vodic_zaciatocnk,vodic_amatr,technic ^  H ^  HkU_laik)[SP:40] "" 0  A 0"" NAJMENEJ1 (2"" 0  0""0` ""0 ` "` "Cesta.cie=mimo_mesta_pobytu[SP:200],  " " 0  0""0` ""0 ` "` "Cesta.vzdialenos50km[SP:200],V " " 0  0""0` ""0 ` "` "Pocasie_nepriazniv=PRAVDA[SP:200])  " "  TAK 0  Auto.pouitie:=neprpustn("" Pravidlo2.2: AK 0  0` ""~` "` " 0  0""Auto.tartuje_dobre=PRAVDA[SP:90] "" 0  A 0""Auto.chod_motora=prirodzenU[SP:80])P"" 0  A 0""Auto.stav_pneumatik=dobrU[SP:200];"" 0  A 0""Auto.stav_svetelnUch_zariaden=dobrU[SP:90]&v"" 0  A 0""Auto.stav_signalizacnUch_zariaden=dobrU[SP:50] a""  TAK 0  Auto.pouitie:=prpustn L""   Vtomtoprklade(nesnasabyvernoureflexioureality)hodnotamipriortsavyjadrujepotencilnypostupvyhodnocovaniapodmienokpredovetkUmvzhadomnaobanoszskavaHHniapotrebnUchdajovakoajpredpokladatensekvenciuuvaovania.Trebasivimn,ezisovanielomkovkovuvprevodovkemnajniiuprioritu,keiezisovanietohtofaktujenrocnankladn.Zrovemmedvepravidl,ktor,pokiaichpredpokladypovyhodnotennadobudnpropozicnhodnotuPRAVDA,vedkprotichodnUmd=sledkom.Natomtomiesteprenechvamenavahucitateasp=sobrieeniapotencilnekonfliktnejsitucie.4.1.50  Semaf;rpravidla+Q&*""   Semaf;rpravidlaje(spravidlajednoduch)podmienka,ktorejfunkcioujepripustivprpadejejsplnenia,alebozabrnivprpadenesplnenia,interpretovaniupravidla.Vyuitiesemaf;rovm=ebymnohostrann.Nasledujprkladyichuplatovania. .). Їl|0:*&j  `@ @ 0 "l ""            ""@Mat =  Jetoodrazomreality,vktorejsanedvyhnsituacnejnekonzistentnosti.ScasnpouitieprotirecivUchpravidielbyviedlobuikpatologickUmjavomvcinnostiIMaleboknekorektnUmvUsledkomodvodzovania.NeelansituciasaoetrtUm,e0  tvorcaBZ semaformivyznacpravidlpatriacedokonzistentnej"koly"tedapatriace  C  dojednejzkateg;rivzjomneneprotirecivUch, "" 0  pouvateBZ nazkladesystmompredloenUchinformciojednotlivUch"kolch" )  volpredanUbehESniektorznichjehorozhodnutiesaprejavtUm,eibavjednomzreprezentovanUchkateg;ripravidielbudepodmienkasemaf;rasplnen,copripustichinterpretciuascasnezabrniinterpretciuinUch. "" l|J:*&j  `@ @"0 "l ""         ""@Mat n Jeprostriedkom0  umoujcimuprednostniurcitstratgiuodvodzovania,R"" 0  sstredipozornosibanaurcitcasBZ,O"" 0  reagovanianadynamickzmenystavuskmanejrealitypovedzmemonitorovanUch L stavovrealityHQHHH (  5      .I"" l|:*&j  `@ @I"""l ""            ""  Zmyseluplatovaniasemafatohtotypusadilustrovanamedicnskomprklade:AkktosibolockovanmimunizovanUprotiurcitUmochoreniam,taknemvUznaminterpretovapravidl,ktorsatUchtoochorentUkaj. %c # Ї4.1.60  D=sledkovcaspravidla""   Vrozsahupredkladanejkoncepciereprezentcieznalost,t.j.keiprodukcnpravidlsapouvajvkontexteznalosttermovhotypu,anapecilne(riadiace)prpadyjed=sledkovcasjadraprodukcnhopravidlatvoren identifiktoromrubrikyrmca . U RubrikesavzvislostinavUsledkuvyhodnoteniapredpokladu priraiujehodnotavslade @  sjejdtovUmtypom.  + {   Pokiahodnotad=sledkujedeterminovanibajedinUmpredpokladom,operciapriradeniahodnotyjetrivilna.Voveobecnosti,akoubolovinejsvislostiuveden,jevakprpustn,  M abyrovnakUidentifiktorrubrikyrmcasavyskytovalvrolid=sledkuviacerUch,svojimipredHHpokladmisaliacichpravidiel.TUmsareflektujeskutocnos,erovnakUcie/hypotzasad   dosiahn/potvrdir=znymisp=sobmi.     Rozoberiemetentoprpadpodrobnejie.MajmenasledovnUsystmpravidiel   p(1)d v    p(2)d _    ...  p(k)d 1  vktoroms p(i) vzjomnesaliacepredpokladyHhHH[H (  6      ׀pravidla,ktorimplikujrovnakUd=sledok. S Predpokladyspodadohovorutvorenkonjunkcioupodmienok pi . >   Uvedensstavapravidieljeekvivalentomzpisu  p(1)vp(2)v...vp(k)d ,  ktorUjev dizjunktvnejnormlnejforme(DNF) .Zhadiskareprezentcieasertvnychzna  H  HlostrozclenenieDNFdozodpovedajcehopoctusamostatnUchpravidielmradprednost.b|c0 b  `@K*"<b ""                                          ""  tandardnprincpypriradeniapropozicnejhodnotypredpokladu p(i) nazkladevyhod *J&* H *J&* Hnoteniapodmienok pi ad=sledku d nazkladevyhodnoteniapredpokladov p(i) vprehadnej +5'+ podobeuvdzanasledujcatabuka.*34 dddd dd dd dd dd YV6\,d ,t +  /555  /@ .  p(i) 45655!*z555 4 @rjd H659!*z 0  5655 pHakaspojedin podmienka pi nadobudla  hodnotuNEPRAVDA,tak predpoklad     p(i) nadobdatisthodnotu 4665! 65 4akaspojedinU predpoklad p(i) nadobu  H  HdolhodnotuPRAVDA,takd=sledoknaHHdobdasvojupozitvnuhodnotupodasvojhodtovhotypu H659!  p 665 pHakiadna podmienkapi nenadobudla  I  hodnotuNEPRAVDA,aleaspojednanadobudlahodnotuNEZNMA,tak predpoklad p(i) nadobdahodnotuNEZ   H   HNMA 4665! 65 4akiadny predpoklad p(i) nenadobudol  I  hodnotuPRAVDA,aleaspojedennadoHHbudolhodnotuNEZNMY,takd=sledoknadobudnehodnotuNEZNMY F6555!  p 665 Fakvetky podmienkypi nadobudli b  hodnotuPRAVDA,takaj predpoklad p(i)  M nadobdattohodnotu 46655!8655 4akvetky predpoklady p(i) nadobudli b  hodHHnotuNEPRAVDA,takajd=sledoknadobudnenegatvnuhodnotupodasvojhodtovhotypu1'% 0   6655 1  Uvedenprincpyspodkladompretvorbuprocedrvyhodnocovaniapredpokladovpravidielapriraiovania(vemicastolenpropozicnej)hodnotyd=sledku.Kv=liminimalizcirozsahuodvodzovaniasataktoprocedryrealizujtak,ebezsnahynahradzovahodnotyNEZISTENpokajsanajprvnazkladeudostupnUchfaktovmonosdetekovaniahocilen0  jedinejnesplnenejpodmienkyvpredpokladepravidlaatUmhofalzifikova(priradi ^ muhodnotuNEPRAVDA), ["" 0  jedinhosplnenhopredpokladu(nadobdahodnotuPRAVDA)ztUch,ktormaj D totonUd=sledok. A""   VpecifickUchsitucichsam=esta,euvedenUprincpzhadiskaformlnejlogikykorektnUnereflektujeimplicitnpoznatky.Nailustrovanieuvaujmedvaprpady.  (1)TvorcaBZzskaododbornkadanejproblmovejoblastiplatnUpoznatok,ktorUsjehoodobrenmkorektnereprezentujevpodobepravidla0  p(1)vp(2)d "#"" vDNFtvare.Niejevakzriedkavosou,keitentoodbornk,ktormujesamozrejm,ezroveplatajpovedzme0  (p(1) d)&(d(p(1)) ,% &"" tedavzah ekvivalencie medzi p(1) a d ,ttoskutocnosneuvedie,baanimunenapdne. t&!' Nslednesapotomzist,ed=sledok d bolvrozporesovzahmirealitypozitvne _'"( odvodenUnazkladepriradeniapropozicnejhodnotyPRAVDApredpokladu p(2) ,hoci p(1) bol J(#) falzifikovanU.Vzniktedaproblm,ktorUjenevyhnutnoetriHjHH~H (  7      . 5)$*   (2)Uvaujmetoistpravidlostouistouekvivalenciouakovpredolom.Zformlneho *n%+ hadiskajezrejm,esad=sledku d moepriradinegatvnahodnotavtedyalenvtedy,kei  obapredpoklady p(1) a p(2) sfalzifikovaten.Falzifikciapredpokladu p(1) m=evak  spocvanapodmienke pj referencujucejdaj,ktorUsaobjektvnenedspoahlivozisti.  (Zisovaniem=emapovedzmedetruktvnupovahu,t.j.urcitpokodenieskmanhosystmu.)Pragmatickym=ehrozinebezpecenstvo,evrozporesoskutocnosousa p(1) ne Z H Z Hfalzifikuje,opatrnckysamupriradpropozicnhodnotaNEZNMY.TUmsapotvrdenied=sledku d stanezvislUmibanavUsledkuvyhodnoteniapredpokladu p(2) .Potvrdsaibaak . ~ tentopredpokladnadobudnepropozicnhodnotuPRAVDA.Jetotiejednazmonost,ktorm=evieskodvodeniuneadekvtnychvUsledkov.  OetrenietakUchapodobnUchprpadovsadzabezpeciniekedynasyntaktickejrovnilogickhoformalizmu,naprklad(a)0  rozrenmpredpokladovpravidielovetkynegcieskutocnost,ktorbymohlipritireci   platnostiodvodzovanhod=sledku󀄀zpraktickUchaspektovjetozvcaneefektvneHpHHH (  8       "" (b)0  vhodnUmpouitmakcivakcnejcastipravidiel(pozrinasledujciodsek4.2.2)apod   H   Hmienoktvoriacichsemaf;rypravidielHrKHHKH (  9      .{ ""   Najmvzhadomnaneistoty(nespoahlivos)zskavaniapotrebnUchdajov,inoumonosoujeobohatenietandardnUchprostriedkovformlnejlogikyprostriedkami,ktorumouj vhovavierohodnossplneniapodmienok,predpokladovatUmajd=sledkov 6 pravidiel .TojevakuproblematikanekategorickUchpravidielaaproximatvnejinferencie, !q ktorspredmetompozornostiviaom.  OkremtUchtohadskjeiaduceumonipouvateovisystmumodifikovatandardnUsp=sobpriraiovaniahodnotyd=sledku,kuktormuvedieviaceropredpokladov p(i) .Vzvis . H . HlostinapovahejednotlivUchaplikcimalobybymonpecifikova:b|0 b  `@!"b ""                        ""  Tietopecifikcievyadujkomentr.   !3    tandardnesavyhodnocovaniepredpokladovprerupodetekovanprvhopredpokladu, "! ktorUnadobudolpovyhodnotenpropozicnhodnotuPRAVDA("McCarthyovskU"princp).Jestvujvakaplikcie,vktorUchjevUhodnzpohadupouvateazistivetkyargumenty(fakty),ktorpotvrdzuj/dokazujplatnosd=sledkuajkeizformlnologickhopohadutouniejepotrebn.VtedyjevUhodnpripustimonosloklnealebogloblne(vdanejBZ)nastavizmenutandardnejstratgienaexhaustvnevyhodnocovanie.Loklnezmenybysamalidapriamovolipripecifikovanpravidla,alebobymalibysituacneovplyvnitenprosHHtrednctvomakciakcnejcastipravidiel(prostrednctvomsemaf;rov),akoajakciamiz & v  AP , AZ .  _   IndividulnepriradeniehodnotyprioritykadmupravidluumujepecifikciuocakvanejpostupnostivyhodnocovaniapredpokladovpravidielstotonUmd=sledkom.ProcesvyhodnocovaniatUchtopriortbymalmaobdobnvlastnostiakovAP,keisaumoujezskavahodnotunazkladestatickejadynamickejprioritydedenia,resp.odvodzovania.To   znamen,eajkpravidlubysamalidapriradinasledovndvadaje statickpriorita: cel_cslo,    dynamickpriorita: R.p.     Poznmka:StretvamesaspravidlastUm,eR.pvyplUvazpriorityodvodzovaniarubrikyrmca CELOK ,ktorzodpovedd=sledkovejcastipravidlapozrivpredolom"odvodenie" k vmetarubrikepriortvyuvanUchAPmet;dami.>1!' bdp> (x 0  0""Sp=sobvyuvaniapriort:"" 0  0""AKpravidlompecifikovandynamickprioritu, "" 0  0""TAK "" 0  0""0` ""AKdajR.pjeznmy, ` "` " 0  0""0` ""TAKsapouije, ` "` " 0  0""0` ""INAK ` "` " 0  0""0` ""0 ` "` "AKjepecifikovanstatickpriorita,  " " 0  0` ""0 ` "` "TAKsapouijejejhodnota, " " 0  0""INAKsapouijetandardnhodnota. "" 0  0""AK0` ""niekokopravidielstotonoud=sledkovoucasoum! ` "` " 0  0""0` ""rovnakakokoveknadobudnutprioritu, ` "` " 0  0""TAK0` ""prvvporadsavyhodnotpravidlo,ktorhopredpokladobsahujepodmienku V#" snajvyouprioritou. ` "` " 0  0""Vprpade,eanitaktoniejemonvybrajedinpravidlo,monopostupovaubovone,najcastejievporadusporiadaniapravidiel,ktorsastaliaktulnymi.&J"&"" >9!' bdp> ($(   Poznmka:Poradievyhodnocovaniapravidielm=emavmnohUchsitucichvekUdopadnaprocesinferencie.VyplUvatozuplatovanUchriadiacichakcipotencilneprodukovanUchvprocesevyhodnocovaniapredpokladovpravidiel.AkojeuzdoterajiehovUkladuzrejm,sprievodnUmprejavomvyhodnocovaniam=ebyiniciovaniemnostvanadvzujcichakciaprocesovvliacomsaporad.Znichznacncinkym=umapovolenajnepovolenakcieakcnejcastipravidiel. .*/   tandardnesavykonanieakcnejcastiviaekpropozicnejhodnotepredpokladu,t.j.vykoHHnajsalenakcietUchpravidiel,ktorUchpredpokladnadobudolhodnotuPRAVDA.Prunvolitenostistratgiebymaliumoovagloblnealeboloklneaajsituacnpotlacenietakejtotandardnejmonostipozrivnasledujcom.4.1.70  AkcncasprodukcnUchpravidiel& v""   Akcncas konzekventupravidlaje fakultatvna .Pokiajevakdefinovan,m=eby  I tvorenrozsiahloupostupnosouakciodjednoduchUchpovelovapriradenhodn=trubrikmrmcov,semaf;rompravidiel,resp.riadiacimdajovUmtruktram,apovolanierozsiahlUchprocedr(tie,okreminho,mouvkonecnomd=sledkuzabezpecitieistcinnostiakoostatnspomenutakcie).  Ilustrciouspaniar=znychmonUchakcisnapr.nasledovntypypovelov: prirai,   prestav,zru,rob(volanieprocedry),poui_stratgiu,vytvor_objekt,zru_objekt,uk,vyhadaj,zap,export,import,vlo_BZ,odlo_BZ ain. \    Akciesavykonvaj bezprostrednepointerpretciijadradanhoprodukcnho G pravidla (ajkeivprpadeviacnsobnUchpredpokladovsaneddefinitvneurcihodnota 2 d=sledku).Spravidlasapritomuplatujetandardnstratgia,ktorpripavykonanieakci m ibavprpade,epredpokladpravidlanadobudolpointerpretciipropozicnhodnotuPRAVDA.PodaaplikacnUchpoiadaviekmsavakumonimodifikciatejtostratgie.  Niejeobansipredstavi,eprvevtedy,keipredpokladpravidla nenadobudne  ) propozicnhodnotuPRAVDAm=ebyiadcevykonatomuzodpovedajceakcie.M=espritomoakcie,ktorsaliapodatohocittohodnotajeNEPRAVDAaleboNEZNMA.Pretojecastocelnspomenuttandardnstratgiumodifikova.Jednouz  takUchmonostjepodmieovanievykonaniajednotlivUchakcivlastnou spacoupodmien  H  Hkou ,ktorm=e,alenemus,zahrovaajpropozicnhodnotuvyhodnoteniapredpokladu k pravidla.Spaciepodmienkysam=uodvolvanapr.naobsahbzyfaktovaobsahriaHHdiacichdajovUchtruktr,t.j.infratruktryinferencnhomechanizmu.  PrkladomjednoduchUchspacchpodmienokreferencujcichpropozicnhodnotupredpokladusvojhopravidlasjednoduchnvetiaaichkombincie.M=ubytvorenpovedzmesymbolmi P (ravda), N (epravda), X (=neznme),ktorspredradenjednotlivUmakcim.  J Ilustrciouskontruktyako P:akcia_1,N:akcia_2,P/X:akcia_3,X:akcia_4,P/N:akcia_5, !5  X/N:akcia_6 apod.Akciesapotomvykonvajselektvnevzvislostiodpropozicnejhod "! H "! Hnoty,ktornadobudolpredpoklad.KebytobolapovedzmehodnotaNEZNMA,zakciuvedenUchvilustrciibytoboliibatretia,tvrtaiesta.Spaciemechanizmytohtotypusprostriedkomumoujcimsituacnpecifikovanie"smeru"odvodzovaniavzvislostinainterpretciipredpokladupravidla.  PokiavurcitejaplikciipouitieuvedenUchspacchpodmienokniejepostacujenacielenspanieakciatUmnavyvolaniezodpovedajcehostavurieeniaproblmu,vtedysam=upouiajspaciepodmienkyinhotypu,prpadneajvkombinciisdoterazuvaovanUmi.Spravidlasajednojednoduchpodmienkovkontruktyreferencujcenajmobsah riadiacichdajovUch(infra)truktr ,zktorUchvyplUvajednakaktulnystavrieenia +Q&* problmu,prpadneajjehoprehist;ria(pozriviaom). p Vprincpemsojednoduch +<'+ podmienkovkontrukty,ktorUchb|0 b  `@V0"-b ""H .). HH.). Hlebobymoholvyvola(najmprepouvateasystmuakopochopitenU)neelanUrozsahazameranieodvodzovania.JednUmzosp=sobovpotlaceniatohojavujenahradenie docasn,  pracovn,ibapreaktulnupotrebuvyhodnocovaniaspacejpodmienky 󀄂prvereferen  H    Hcovanejhodnotyrubrikyrmca,ktorjevtomtookamihu NEZISTEN aibaodvoditen, o hodnotou NEZNMA . Z   Akcieakcnejcastid=sledkupravidla(popritUch,ktorspriradenrubrikmrmcov)svhodnUmiprostriedkamijednakzmysluplnhoovplyvovaniaodvodzovaciehoprocesuanajmudrovaniakonzistentnostibzyfaktov.VUznamnoujeajmonoszabezpecovatUmtosp=sobommechanizmynemonot;nnejinferencie.  P   VyuvanieakcizjednoduujeajpostupntvorbuamodifikovanieBZ. Akciamije  :  monnamiestopridvaniariadiacichpodmienokdopredpokladuprodukcnUchpravidielsituacneazloklnehopohadu,t.j.pritvorbetohoktorhopravidla(armca),zabezpecikonzistentnosbzyfaktov.AkcieumoujobspotrebureprezentciuvetkUchmonUch   predvdatenUchokolnost,ktorbymohlipotencilnesvedcivneprospechd=sledkupravidla,   vjehopredpoklade.TUmajnevyhnutnosichexhaustvnehovyhodnocovaniapriinterpretcii z  zodpovedajcehopravidla.  JetovajsladesfenomnominteligentnUchprocesov.Tiescielen,nepoadujvyhodHHnocovanievetkUchmonUchdajov,najmtUchcozodpovedajzriedkavUmavUnimocnUmokolnostiam.Szvcazamerannaco"najlacnejie"potvrdzovanied=sledkov.Nadruhejstrane,s(majby)vdypripravenvprpadedetekcieskutocnostivylucujcejuodvodenUd=sledok,odstpiodneho.Tozodpovedfenomnunemonot;nnehousudzozovania,ktorU @ sadimplementacnezabezpeciajakciamiprodukcnUchpravidiel. 4.20  Odvodzovanie(inferencia) ""  ""                  ""*t|)))):*&j  `@@PT!"ht  PodstatutohoilustrujemenatrivilnychprodukcnUchpravidlch,ktorocosiobohacuj !.  prkladyzodseku4.1.>1!' bdp> $# 0  AK farbasvietiacejlampysemaf;rajezelen"""" %B!% 0  A vcestenieje prekka 0h""&-"&h"h" 0  TAK pokracuj.# """(P3.1) '#' 0  AK farbasvietiacejlampysemaf;rajecerven"""" )$) 0  A niesomv mimoriadnejsitucii ,*%*"" 0  TAK stoj.# """(P3.2) r+&+ 0  AK nakriovatkejeaspojednoznasledujcich:F-(-"" 0    chodec,dopravnU_prostriedok,poruen_vozovka, neprehadn_situcia ,1.)."" 0  TAKprekka .# """(P3.3) /j*/ Ї0  AK nakriovatkejeaspojednoznasledujcich:"" 0  0""dym,vemi_zl_viditenos,v_blzkosti_sa_hrajce_deti,rUchlo_sa_pribliujce_vozid  H  Hlo,klzk_vozovka,"" 0  TAKneprehadn_situcia .# """(P3.4) m 0  AK somjednoznasledujcich:policajn_auto_s_cinnUm_vUstranUm_zariadenm,0@ "" A  H A  Hhasicsk_auto_s_cinnUm_vUstranUm_zariadenm,zdravotncke_auto_s_cinnUm_vUHHstranUm_zariadenm,skromnU_dopravnU_prostriedok_vydavajcim_vUstran_znameHHnie_a_veziem_ohrozenho_cloveka, N"" 0  TAK somv mimoriadnejsitucii .# """(P3.5)  8  >9!' bdp>     DruhzpodmienokpravidlaP3.1jed=sledkompravidlaP3.3.VpravidleP3.3jepod e  H e  Hmienka,ktorjed=sledkompravidlaP3.4.Jetedazrejm,epropozicnhodnotad=sledku O  P3.1jepodmiemieneninterpretcioupravidlaP3.3,ktorhointerpretciam=esivyiada 9  ajinterpretciupravidlaP3.4. #   Poznamenvame,esstavatUchtoilustracnUchpravidielsinenrokujplnos,napokonanizialekanevycerpvavetkysitucie,sktorUmisavodicnakriovatkestretva:anijednalampanesvieti,blikoranov,blikzelen(napr.vRaksku),blikcerven(napr.vUSA),niejezretenerozlitenfarbasvietiacejlampy(prisilnomslnecnomosvite),hocissemaf;ryvcinnostipolicajt,vojenskhliadka,aleboinoprvnenosobaregulujeprejazdcezkriovatkuamnostvoinUch.  Prkladilustrujeprincpodvodzovaciehoinferencnhoprocesu,ktorUjetvorenUt|)))):*&j  `@@"t ""            ""Dvazkladnpostupy stratgiesptnhoapriamehoreazenia 󀄀odvodzovanias  pecifikovanvtabukenanasledujcejstrane.  Kspusteniuhypotzou,cieom,riadenmuodvodzovaniu sptnUmreazenm dochdza }  pourcen inicilnejhypotzy .M=etourobipouvateES(tojeprirodzenUprpad),m=e h!  tobyajtandardnepreddefinovan(akodefault,preprpad,esipouvateneviesmporadi),castojevakgenerovannazkladevhodnejriadiacejstratgie(pozriviaom).  PokiagenerovaniehypotznembynhodilatUmajneefektvne,zodpovedajcestratgieichvUberubymalibypodloenznalosami.SvUhodousapritomuplatujpoznatHHky termovho typu.Tieumoujzohadovanie vzjomnUchsvislostmedzihypotzami %G!% aznichvyplUvajcichcelnUchpoiadaviekuprednostovaniapodcieov (zisovanie &2"& faktov),ktorumoujhypotzyusporadva,generalizovaadiskriminova. '#'   Akocitateurciteocakva,kspusteniuodvodzovania priamymreazenm dochdza ($( vtedy,keiskdispociivUchodziedajeajepotrebnodvodid=sledky,ktorznichvyplUvaj. PrsneponmanpriamereazeniespocvaibanadanUchapriamymchodom *%* odvodenUchdajoch. NepripasatedaodvodeniechUbajcichdajovsptnUmreazenm, v+&+ covmnohUchprpadochm=evieskukonceniuprocesupriamehoreazeniapredodvodenmpropozicnUchhodn=td=sledkovaktulnychpravidiel.Keisapripriamomreazenpripustodvodzovanieajsptnmreazenm,potomuhovormeokombinovanejmet;deodvodzovania. /l*/ *W:; ddd t 34W,d ,t +  /555  /@D +  SPTNTCHOD 45655!X555 4@e PRIAMTCHOD H659!X 0  5655 H Defincia:urcujesapropozicnhodnota I d=sledkupravidlaapretosa zisujespl 2 H 2 Hneniejehopredpokladovejcasti.    Postup:odd=sledku(hypotzy,ciea)k   predpokladuakpodmienkm,tUmkdajom,ktord=sledokpotvrdzujalebovylucuj . 4665!q  65 4 Defincia:sznmedaje(fakty, I informcie)referencovanvpredpokladepravidlaaurcujesapropozicnhodnotajehod=sledku.     Postup:vychdzasazpodmienoka   tedapredpokladupravidlaanazkladetohosad=sledokpotvrdzujealebovylucuje. F5555!X   665 F@*(  SPTNREAZENIE 45655!; 555 4@b PRIAMEREAZENIE F6555!;  0  5655 p F Defincia:Keivyhodnocovan   podmienkavpredokladejesamaodkazomnad=sledokinhopravidla,nadvznetovyvolajjehointerpretHHciusptnUmchodom.Vznikajcipostupiniciovaniainterpretciepravidielpokracujedovtedy,kUmsanenatrafinapravidlo,ktorhopredpokladjeuvyhodnotenUalebojetvorenUpodmienkamiodvolvajcimisalennapriamozskatendaje. 46655!655 4 Defincia:KeiodvodenUd=sledok,ako   referencovanhodnotavpredpokladeinhopravidla,iniciujejehointerpretHHciu.Vznikajcipostupinterpretovaniaajprpadnychialchnadvzujcichpravidielpokracujedovtedy,kUmodvodenUd=sledokuiadneialiepravidlokinterpretciineiniciuje,alebokUmsanesplnkritriumukonceniatohtoprocesu. 1'%  0 p  6655 1  Pouitie termovUchpoznatkov umoujeajpripriamomreazenzohadovanie   vzjomnUchsvislostmedzifaktamiavzjomnUchsvislostimedzihypotzami .Toje  predpokladomuprednostovaniaarozvjania(vzmyslepodrobnejiehopecifikovaniaichvlastnost)jednotlivUchhypotzvodvodzovacomprocese,akoajzohadovaniaichvzHHjomnUchsvislostaichsyntzydogloblnejchcelkov.  Nezvisleodpouvaniaznalostitermovhotypu,uplatovanie situacnhokombinovania 9   priamehoasptnhoreazenia jevmnohUchaplikcichvemivUhodn.Hocitokladie $!t! zvUennrokyna riadenieodvodzovaniaazodpovedajceriadiaceinfratruktry ,dobre "_" vUvojovprostrediatvorbyEStoumouj.Poskytujpouvateovimonosurcicikombinovanieobochsmerovjeprpustn,akoaj,vnegatvnomprpade,ktorUzmonUchsmerovjepovolenU.  Zhrme:t|5555:*&j  `@@/"'t ""H                      .*0 HH.*0 H  MajmeabstraktnUprkladprodukcnUchpravidiel,naktorUchbudemesledovaprocesysptnhoapriamehoreazenia:  X  (1)  A&BM k (2)  CM T (3)  D&BN =  (4)  E&BP & v (5)  C&GR  _ (6)    HR  H Ѐ(7)  E&F&GQ k Ѐ(8)0  MXT"" Ѐ(9)  NX =  (10)  PY & v (11)  QY  _ (12)  N&RZ H  H H  H   X   NaObr.4.2jeznzornenU A/ALEBOgraf zodpovedajciuvaovanUmpravidlmav    Tab.4.3a4.4snaznacenprocesyzodpovedajcesptnmu,resp.priamemureazeniu.Prisptnomreazensavychdzazpotrebypotvrdihypotzu Y ,pripriamomreazenzfaktu,   epodmienka B jesplnen.   0  0""0` ""0 ` "` "0 " " X0h""0h"h"Y0""0p""Zhp"p" 0  0""0` ""M0 ` "` "0 " "N0h""0h"h"P0""0p""Q0p"p"0 ""R " " A0  0""B0` ""0 ` "` "C0 " "0h""D0h"h"0""E0p""0p"p"F0 ""0x " "G0 x"x"H  T " " @IaObr.4.2  ZTab.4.3a4.4jemonvysledovapostupjednotlivUchcinnostzodpovedajcichobomsmerominferencie.Zrovesilustrcioupotrebyimplementova riadiacedajov L'"& truktry ,ktorevidujdynamikuprebiehajcehodvodzovaciehoprocesu. 7(#'   VuvaovanUchpravidlchsavyskytujniektorsrovnakUmd=sledkom,resp.spredpokladomobsahujcimrovnakpodmienky.Tosp=sobuje,evjednotlivUchkrokochodvodzovaniam=usastaviacerpravidlscasnepredmetominterpretcie.Tievytvrajobsah konfliktovejmnoiny .Pretokonfliktovej,leboibajedinzpravidiel,ktorsastali +-'+ kandidtmiinterpretcie,jemonvnasledujcomkrokunaozajinterpretova.  -)- B_a  HB_a  H*W<= ddd t :;W,d ,htd ,* td ,Ht +  /555  0/ @O XXXXHYPO X TZA 2565! p555 2@ )  BZAFAKTOV 2565!X565 2 @FKONFLIKTOVMNOINA 45655!X565 4 VYBRANPRAVIDLO H659!X 0 0 5655 H@XY 066!65 0@h .  066!66 0@MPY  @MQY 4665!h66 4@ qQY H659!  665 H@XY@XQ 066! 65 0@h .  066! 66 0@KE&F&GQ 4665! 66 4@$o E &F&GQ H659!   665 H@XY@XQHH |   066!`  65 0@ * EPRAVDA 066!  66 0@KE&F&GQ 4665!  66 4@$oE& F &GQ H659!    665 H@XY@   x  H x  H |   066!@ 65 0@ * EPRAVDA@q ) FNEPRAVDA@c ) QNEPRAVDA 066!@ 66 0@MPY 4665! 66 4@qPY H659!   665 H@XY@fP 066!X 65 0@ * EPRAVDA@q ) FNEPRAVDA@c ) QNEPRAVDA 066! p66 0@LB&EP 4665! 66 4@p B &EP F6555!   665 hFЄ 2665!p655 2@ * EPRAVDA@q ) FNEPRAVDA@c ) QNEPRAVDA@ * BPRAVDA@ * PPRAVDA@ * YPRAVDA 2665!X665 2@O 46655!p665 4@s#XXX+X#Ԉ1'%p 0 h  6655 1@aMa*y>? ddd htd * td Ht <=y,d ,htd ,* td ,Ht +  /555 9 h/@~XXXX ZISTI 2565!1555 2@ )  BZAFAKTOV 2565!1565 2 @FKONFLIKTOVMNOINA 45655!1565 4 VYBRANPRAVIDLO H659!1 0 h 5655 H@VA 066!a!65 0@ * BPRAVDA 066!a!66 0@cLA&BM a! @sLB&DN )y" @LB&EP 4665!A#66 4@ qQY H659!a!  665 H@XD 066! Y&65 0@ * BPRAVDA@a ) ANEPRAVDA 066! Y&66 0@sLB&DN A% @LB&EP 4665! Y&66 4@$o E &F&GQ H659!A%  665 H@aE@   !"q) H !"q) H |   066!"9*65 0@ * BPRAVDA@a ) ANEPRAVDA@c ) DNEPRAVDA@c ) NNEPRAVDA 066!#+66 0@LB&EP 4665!Y!(66 4@$oE& F &GQ H659!Y!(  665 H@x@   %!. H %!. H |   066!&!/65 0@ * BPRAVDA@a ) ANEPRAVDA@c ) DNEPRAVDA@c ) NNEPRAVDA@ * EPRAVDA@ * PPRAVDA 066!(9$266 0@MPY %Q - @KE&F&GQ 4665!%!.66 4@qPY F6555!%Q -  665 F@x@ 2665!+Q&5655 2@ * BPRAVDA@a ) ANEPRAVDA@c ) DNEPRAVDA@c ) NNEPRAVDA@ * EPRAVDA@ * PPRAVDA@ * YPRAVDA 2665!.9*:665 2@KE&F&GQ 46655!9*%4665 4KeieQjepredpokladompravidla,ktorhod=sledokjeznmy,netrebavyHHhodnoHHcova#XXX+X*#1'%Y-(8 0   6655 1@I:aXXXXTab.3a4sptnapriamereazenie#XXX+X\6#Ԉ /1+< -Oa  ч 4.30  Stratgieodvodzovania ""    PriameasptnreazenieszkladnUmistratgiamiodvodzovania .KadUprzdny  expertnUsystmakoajvUvojovprostredietvorbytUchtosystmovzabezpecujeaspojednuznich.  PrednosoutUchtoprostriedkov,bavlastnenanekladenpoiadavkajemonostvorbyr=znychiach(rozvinutUch)stratgiinferovania.Tojepredpokladtoho,abyproblmovozameran(dedikovan)expertnsystmymohliadekvtnereagovanae|3#b ( t `@` c e ""         ""ktorvyplUvaj0  zpovahyrieenejlohyliasastratgieuplatovannapr.prianalytickUchlohch,kei   samajinterpretovafaktycipotvrdzovahypotzy,odtUchloh,ktormajgeneratvnupovahu(syntza,kontruovanie,t.j.vytvorenienovho,etenereprezentovanhoobjektu,civzahumedziobjektamivsladesdanUmipoiadavkamiaohraniceniami), "" 0  zoelanhosp=soburieenialohy,napr.vinterakciialebobezinterakciespouvateom @ ЄvprvomzuvedenUchprpadovnapr.zpozciecinnhoasistentaalebouciteaajhodnotitea,avdruhom,cisajednoznalostninterpretciuobsahuurcitejdtabzyalebooonlinemonitorovaniestavovsledovanhosystmu,povedzmechemickejprocesuvyadujcehozsahodbornka), "" e|3#b ( t `@` tc ` c e ""         ""ktorvyplUvajz0  casovUchohranicenkladenUchnavyrieenielohy,n"" 0  odbornostipouvateasystmu(tenm=ebyvdanejoblastiznalec,ktormustac k npovei,alebomenejsksenUprofesionlvyadujcipodrobnejievedenie,alebodokoncaplnylaikvyadujciaelementrnepodrobnostirieiacehopostupunaosvojenieponkanhorieenia, "" 0  postaveniapouvatea,ktorUm=ebyvlohetvorcusystmu,vofunkciioverovatea #"s  jehosp=sobilost,civpostavenjehofinlnehopouvateasliacousaodbornosou, "" e|3#b ( t `@` (c ` tc e ""            ""ktorm=ubynapr.0  technokratickejpovahyvyadujceminimalizovanie"nkladov"nazisovaniefaktov, )$( exhaustvnehovyhodnocovaniaprodukcnUchpravidiel,neurcitostvodvodzovand=sledkov,prpustnUchakci, "" 0  kognitvnej(poznvacej)povahyvyadujcemaximlnepriblichovaniesasystmu N,'+ imitovanejpredlohe,t.j.imitovaniusp=sobilostcloveka. "" %   /m*.   R=znymdruhomstratgisadajpriradiliacesapriorityatUmajsituacnezabezpecovapoadovansprvaniesasystmu.VnadvzujcomsazaobermeniekokUmicastopouvanUmistratgiami,ktorsadajpomernejednoduchorealizovasyntaktickUmiprostriedkami.II  ZkladnestratgiereazenhovyhodnocovaniaprodukcnUchpravidiel,akotovyplUvaajzTab.4.3a4.4,naznacuj potrebu =   w|))))=-)j ( M `@@tP w ""                           ""b|0 b  `@" tP b ""                  ""  AgendajejednUmzurcujcichprostriedkovrealizcieprocesovzodpovedajcich zobrazeniug(sk) stavuinferencienamnoinunslednUchakci(operci)a funkcief({ok}) ,  ktorslednevyberjednuznich(pozriclnok1.4,str.19).4.3.1Agenda G   Vzvislostinasp=sobejejkontrukcie,m=eobsahova(okreminho)informcieol|/:*&j  `@ @S&" " l ""                  ""l|@:*&j  `@ @+" S&" l ""               ""̀  Uveden,smantickysaliaceprpadyurcovaniacieovapostupov,majodlinUdopadriadiacicinoknainferencnUproces.Pretojeprirodzenaosvedcenorganizova/truktro |/*/ vaagendupodavUznamuvnejregistrovanUchpoloiekv |/*/  pecializovanUch,svojimurcenmipovahouliacichsadajovUchtruktrach (napr. |/*/ zsobnk,front,zoznam,vektor,strom,bitmapaati.),ktor*0  vzhadomnasvoje charakteristickvlastnostiimplicitnepodmieujprpustn  sp=sobyichpouitia ,"" 0  m=ubyvzjomne(ajdynamicky) prioritneusporiadan ,"" cosadsvUhodouuplatnipripodmieovanprocesovodvodzovania.  AgendasavoveobecnostiskladzviacerUchdajovoriadiacichtruktr.b|80 b  `@ "P b ""            ""Rieisatopriradenmvzjomnesaliacich(dynamickymenitenUch)priortjednotlivUmtruktramagendy.Uplatujesapotomriadiaciefekttejznich,ktormvdanejsituciinajvyiuprioritu.  Nasledujceclnkysazameriavajnaviacerkonkrtnetruktryagendy.OkremtUch,ktorsvnaivzujcalomuvdzan,monosipredstaviajr=znein.VyplynietoajzrozboruniektorUchrozvinutUchstratgiodvodzovania,ktorspredmetompozornostivdruhejcastitUchtotextov,napr.vsvislostisnemonot;nnymodvodzovanm,rozkladomproblmovnapodproblmy,uplatovanmkvalitatvnychmodelov,propagovanmohranicujcichpodmienok,rieenmsstavyanalytickUchrovnc,globalizciouciastkovUchvUsledkov,uplatovanmodvoduovacchmakrokrokovapod.pozriviaom.4.3.2Zsobnkpreruen 0   Ttoriadiacadajovtruktrasauplatujenajmpririadensptnhoreazenia(monojuvakuplatniajvinUchtypochstratgilohch).  Ksptnmureazeniu,akouvieme,dochdzavtedy,kei*0  sapropozicnevyhodnocuje podmienka vpredpokladeprveinterpretovanhopravidla, n ktor saodvolvanad=sledokinhoetenevyhodnotenhopravidla (referencovanU k d=sledokmetehodnotuNEZISTENT) "" 0  avdanejsitucii(podaAPaleboinejaktulnejstratgie)hodnotum=enadobudnod ?  vodenm. ""   SpustsatedainferencnUprocessptnUmreazenm.  Vyhodnocovaniepredpokladuprveaktvnehopravidla savtedymusprerui. #^!  t|,)))):*&j  `@@("P  "P t ""               ""  Zapamtsad=sledok,ktorhopredpokladsavyhodnocuje,predpoklad(m=eichbyviac),ktorhovyhodnocovaniejepreruenapodmienka,vktorejsanatrafilonanezistenhodnotu.Jetopotrebnpreneskorieobnoveniedokoncenievyhodnocovaniapreruenhopravidla.  M=esavaksta,ed=sledok,ktorUsaprvezapamtal,nadobudnehodnotunazkladeinhonepreruenhopredpokladupokiaichmniekoko.Vsvislostisostratgiamipriradeniahodnotyd=sledku,ktorubolivpredolomspomenut,nemusnevyhnutned=jskdokonceniuvyhodnocovaniapreruenhopredpokladu. .5*. l|N:*&j  `@ @, "l ""               ""b|S0 b  `@ ", "b ""               ""  Bezprostrednepoukoncenrekurzvnehoprocesupreruovanb|R0 b  `@!""b ""            ""  Voveobecnostitto postupnosnemmonot;nnupovahu :pridokoncovan @ vyhodnocovaniapreruenhopredpokladutistaleboniektorznasledujcichpodmienokm=uoptovnevyvolanovpoiadavkuprerueniakv=lireferencovaniuinhoetenevyhodnotenhod=sledku.  PoradiejednotlivUchpoloiekzsobnkazodpovedpostupnostivnorovanUchpreruenvyhodnocovaniapravidiel("prehadvaniedohbky").PrpustnUpostupodstraovaniatUchtopoloiekzozsobnka(vynorovanie)zodpovedtandardneiadcejpostupnostidokonceniapreruenejinterpretciepravidiel. t|^5555:*&j  `@@"4""t ""                ""  Netandardnesavakdsituacnepripustipodapotriebaplikcieajinpriorita.  Poznmky:  UspomnanUprpadneelanhoprocesuinferencieprivyhodnocovanpredpokladovpodmieujcichvykonanieakcivd=sledkovejcastipravidielsadzabezpeci   neprpustnosoupreruovanichvyhodnocovaniaatedaajzabrnenmvkladania $# prslunUchpoloiekdozodpovedajcehozsobnkapreruen.  v% $ l|b:*&j  `@ @#+"4"l ""                  ""4.3.3Prioritnfrontyastratgiaasociovania ,(,   InUmitypmidajovoriadiacichtruktragendym=uby (prioritn)fronty .Dajsa .). vyuinaregistrovanier=znychskutocnost.Naprkladnazaznamenanie poiadaviekpou |/*/   vateasystmuvyhodnotinmzvolenapodavUznamuprpadneuprednostovan  hypotzy. InUmimonosamisrealizciakonfliktovejmnoiny,registrovanievetkUchtUch  faktov,ktorsdostupn,alenebolieteprimeranUmsp=sobomvyuit.Bstrednoutmoutohtoodsekujeinmonaplikciaprioritnejfronty.Menovite,podpora stratgie m asociovania . X   PredtUmvaketestrucnpoznmkakregistrovaniupouvateomurcenUchhypotz,ktormsystmpotvrdialebovyvrti.IchzoznampecifikovanUspravidlanazaciatkucinnostiESamodifikovatenUajvpriebehujehocinnostisaregistrujebuivporadurcenompouvateom(poradieimplikujepriorituichvyhodnocovania),alebovyplUvajcomzpriradenUchhodn=tpriort.Vobochprpadochje(prioritnU) front vhodnoutruktrou  7  registrujcoudanUzoznam.Ttotruktrammae|e3#b ( M `@$t>Pe ""         ""msazabezpecujekonzistentnosodvodzovaciehoprocesu.(Vopacnomprpadebyvznikalineprehadnaneelansitucie:bezdokonceniapreruenejinterpretcieniektorhozpredtUmaktivovanUchpravidiel,bezzretenejsvislostibysainicializovalovyhodnocovanieinho.)Pokiaincasagendysvojouprioritoutomunebrni,apri j b|Z0 b  `@%"t>Pb ""            ""  Aterazktme asociovanie.   t|5555:*&j  `@@&$""t ""                                 ""endram  Poznatkyoasociatvnychvzbchsadajjednoduchoreprezentova:+*0  v pecifickejrubrikeg&!%"" 0  0""asociujcehormca (Rmec.asociuje:) sauvedieneprzdnyzoznamasociovanUch b'"& entt ,naktorjevhodnvspojitostisprveaktivovanUmrmcomsistou _(#' naliehavosoumyslie,resp.zuvaovaniavylci;dsatozabezpecinaprklad AZ J)$( akciami jednakvrubrikeCELOKOM,aleajvinUchrubrikch,pricomm=esajedna 5*%) ajoasociovanie,ktorjepodmieovanpodmienkamiodkazujciminahodntyviacerUchrubrktohoisthoaleboajr=znychrmcov,prpadneajpodmienkamireferencujcimiobsahniektorejdajovoriadecejtruktry, "" 0  0""asociovnhormca(Rmec.asociovanU:)sauvedie neprzdnyzoznamasociujcich -+)- entt ,ktorzavpredolomuvedenUchokolnostasp=sobovm=uvieskjeho .(*. asociovaniu, "" +0  produkcnUmpravidlom ,ktorvprpadesplneniapodmienkyvUskytuasociujcicho  aleboasociujcichentt,vyvolprocespozitvnejalebonegatvnejasocicie;m=ektomud=jstUm,e aktasociovania buitvorpriamo d=sledkovcas jadrapravidla,aleboje } obsahom akcnejcastiprodukcnhopravidla. h""   VkadomzuvedenUchprpadovoperciaasociovaniasp=sobzaradeniezodpovedajcichenttdoprioritnhofrontuvagende.Ttoskutocnosmonointerpretovaakow|t5555=-)j ( % `@@'< w ""               ""systmuvyhodnocova,resp.nevyhodnocovaentitynazkladepoznatkuoichasociatvnychvzbch.  Vprpadekategorickhopozitvnehoasociovaniasaasociovanentitastvapredmetompotencilnehoneskoriehovyhodnocovania,resp.prinegatvnomsajejvyhodnocovaniestvabezpredmetnUm,cosavakm=ezruikv=liinUmskutocnostiam,napr.uplatnenminejstratgie.  Keiasociovanienemkategorickpovahu,t.j.keisvislosmedziasociujcimaasociovanUmmibaurcitvierohodnos,vtedysajednotlivUmasociovanUmentitmpriradtzv. vhaasociovania .Hodnotatejtovhyspravidlazuzavrethointervalu[1,1]musby 3 prirodzenepecifikovanvtUchzlokchreprezentcieznalost,ktorasociovaniem=uvyvola.t|5555:*&j  `@@(z" < t ""            ""  Priopakovanomibapozitvnomaleboibanegatvnomkategorickomasociovanpostavenieasociovanhoobjektusavprioritnomfrontepriebenenemen.JehoidentifiktorjezaradenUdozodpovedajceho zoznamudoporucenUch,resp.nedoporucenUch objektov.Keivakv  f priebehuinferenciedochdzaajkpozitvnmuajknegatvnemuasociovaniu,vtedyjenevyhnutnvzvislostinapovaheaplikcierozhodnovUslednompostavenasociovanhoobjektu(zostanenapr.doporucenUm,keihrozprpadnnebezpecenstvozozanedbaniaasporzpozitvneasociovanhoobjektu,resp.keitopouvatevyaduje,vopacnomprpadesavyhodnotenienedoporuc).  Priopakovanomnekategorickomasociovan,bezohadunatocipozitvnomalebonegatvnom,postavenieasociovanhoobjektusavprioritnomfrontem=epriebenemeni.JetourcovanvUsledkomvhodnenavrhnutejfunkcie,ktorpostupne"kumuluje"hodnotyjednotlivUchvhasociovania(zhoraajzdolalimitovanhodnotamizodpovedajcimikategorickmuasociovaniu).OkamitahodnotakumulovanUchvhvyjadrujcichnaliehavos,(silu,cinnos)asociovaniajeurcitoukombincioupostupnepribdajcehodn=tindividulnychvh.  VUpoctovUproceskumulovaniavhasociovaniam=ebyzaloenUnapomernejednoduchUchempirickUchfunkcnUchzvislostiach.Napr.keisatietovhyvyjadrujnumerickouhodnotouzuzavrethointervalu[1,1],monopouinasledujceiteracnzvislosti: .). Ї3w|5555=-)j ( % `@@)I <w33w|5555=-)j ( % `@@)I <w ""                     ""3kde wi napravejstranepriradeniajedoterajiahodnotakumulovanejvhyasociovania, wj  _  zodpovedvhe,sktorouentitabolaprveasociovana wi naavejstranejeaktualizovan  J kumulovanvhaasociovania.  V prioritnomfronte poda priebenejkumulovanejvhyasociovania savhodnUmme    3    3chanizmommenporadieasocovanUchentt.  tandardnejeprioritafrontuasociovanUchobjektovvagende niianetruktraregis   3   3trujcahypotzypouvatea .Toznamen,ekvyhodnocovaniuasociovanejentity(vemi   castostohypotzy)dochdzaibakeiszsobnkpreruenafrontpouvateovUchhypotzprzdne.Netandardne,keisystmrealizujeajkognitvnutechniku presunuzamerania a  pozornosti ,dsa dynamicky zabezpecipoadovan zmenapriority truktrsliacich L odvodzovaniunazkladeasociciamidoporucenUchhypotz.l|:*&j  `@ @*"I <l ""            ""VUznam,cisilaasociciejevyjadrenzodpovedajcoukumulovanouvhou,ktorm=enado33budnvyiuhodnotunejedefinovanU prahnaliehavosti .Vtedyavaklenvzhadomna  naliehavhypotzym=ed=jskzvUeniupriorityprslunhofrontu.  OpakomnaliehavUchsasociovanhypotzy,ktorUmsanepripisujevekUvUznamichkumulovanvhaasociovaniajenzka,neprekracujehodnotu prahupozornosti .Vpriebehu j inferenciem=edochdzakznacnmumnostvuasociovan,pricomnievetkyasociovanentitysamusiajavizaujmavUmi.Prejavsato nzkouhodnotou ichkumulovanej vhy > asociovania .Prahpozornosti,zdolaohranicujcihodnotytUchtovh,slizabrneniuich )y vyhodnocovania:slitedanaracionlne odfiltrovanie mlovUznamnUchobjektov.(Na  d poiadaniepouvateabyvaksystmmalpredloiinformciuovetkUchasociovanUchob33jektochaposkytnmonosouprpadneurciznichtie,ktorsielvyhodnoti.)4.3.4Stratgiahradlovania $#   haoustratgiou,sktorousamonostretnvniektorUchprzdnychES,resp.vUvojovUchprostredich,jemonosvytvraniainhocelnhosp=sobuaktivovaniahypotz(d=sledkovjadrapravidielvzmysleichzaradeniadoplnuvagende,podobneakopriasociovan)atUmspusteniazodpovedajcejinferencie.w|))))=-)j ( % `@@+.""w ""            ""(Vanglickomnzvoslovsastretvamespojmom gating.)  .).   Princphradlovaniaozrejmenienaprklade.MajmevsystmeprodukcnUchpravidielnasledovntrinavzjomsaliacepravidl   p1,1&p1,2&...&p1,rd1 k   p2,1&p2,2&...&p2,sd2 T   p3,1&p3,2&...&p3,td3 . =    Nechrovnakaleboliacesapodmienky p1,i,p2,j,p3,k ,ktorsprvkamir=znych  a predpokladov,odkazujnahodnotutejistejrubrikyrmcaoznacmejuR.r.Povedzme,epodmienkymajnasledovnpodobu   p1,i:R.r>100,     p2,j:R.r>150,     p3,k:R.r>200.      Nechsaprocesinferencienachdzavsitucii,vktorejvetkytrid=sledkymajhodnotuNEZISTENTavyhodnocujesapodmienka p2,j vpredpokladedruhhopravidla.Nechhodnota D  R.r je 175 .Vtomprpadespodmienky p1,i,p2,j splnen,kUmpodmienka p3,k nieje. /   Stratgiahradlovaniapripropozicnomvyhodnocovanpredpokladudruhhozpravidielmvtomtoprpadezansledokvloenied=sledku d1 (nievak d3 󀄀zodpovedajca S podmienkavjehopredpokladeniejesplnen)doprslunejriadiacejtruktryagendy.Ttozlokaagendy,obdobneakopriasociovan,registrujeentity(hypotzy),ktorbymohlibyvhodnnavyhodnotenie.  Narozdielodmechanizmuasociovania,ktorUvyadujezodpovedajcureprezentciupoznatkovnarovnitermovaleboaserci, mechanizmushradlovanianevyaduje  deklarovanie takUchpoznatkov.Hradlovanie,pokiazodpovedajcimechanizmusjevytvore } nUajehofunkciajepovolen(vrmcivobyprslunUchstratgi),zabezpecujeinUracionalizacnUproces:t|5555:*&j  `@@,""#t ""               ""  UvaujmepodmienkutvorenvUrazom,vktoromsavyskytujeniekokoidentifiktorov(ajrozlicnUchrmcov),napr.0  Ri.rx*(Rj.ry󀄀Rk.rz)>100 .k&!%""   Prizisovanmonostihradlovania(zisovan,cisadvytvoripriepust)medzidvomipravidlaminazkladepodmienokreferencujcichrovnakUidentifiktorrubriky,povedzme ()x$(  Rj.ry ,khradlovaniudchdzaibaprisplnenobochnasledujcichpodmienok: *a%) 7b|0 b  `@-x0"#""#b ""         .). 88  Nazvertohtoodsekueteniekokopoznmok.  Vyhodnocovaniehradlovacchpodmienoksauskutocujeibaprepotrebyprpadnhozaradeniasvisiacichhypotzdoagendy.Vcase,keid=jdekvyhodocovaniutakejtohypotzym=evakbyhodnotarubriky,ktorsp=sobilajejvUber,uin(zodpovedajcapodmienkaunemusbysplnen).Toaleneznamen,evokamihugenerovania(naplnovania)hypotzyneloooprvnenakciu.  StratgiahradlovaniaslisituacnmuacielenmurozirovaniupriestoruprehadvaniapouitenUchpravidielazrovezniujerozsahexhaustvneho(vzmysleslepho,nez88d=vodnenho)postupu.UplatujesaspravidlalenprivyhodnocovanpredpokladovvjadreprodukcnUchpravidiel.  ZodpovedajcimechanizmusspocvanaanalUzetruktryjednotlivUchpravidiel,t.j.nazisovantoho,cisavnichnevyskytujreferencienarovnakhodnotyvlastnostobjektov.VprpaderozsiahlychsystmovprodukcnUchpravidielm=evyvolvacasovonrocnavpriebehupouvaniasystmuneelanprocesy.DsatoobsprslunUmpredspracovanmBZ,ktorprezbiehaniesystmuposkytujeinformcieovUskyterovnakUchidentifiktorovvprodukcnUchpravidlch.  Zvycajne,pokiasanepecifikujeinak,prioritavyhodnocovaniahradlovanUchpoloiekjeniianefrontuobsahujcehoentityurcennavyhodnocovaniepouvateomsystmu999C9 (  10      . )y 4.3.5Stratgiakomplementovania=y==y= (  11       4 w|))))=-)j ( % `@@."w ""            ""CCJehoposlanmjedetekovavsystmeprodukcnUchpravidiel komplementrnepodmienky  [ tak,ktorbyvkonjunkcii tvorilinesplnitenUpredpoklad . F PrkladyDnesplnitenUchpodmienokD:   R.s&NONR.s,  S   R.s>100&R.s=100&R.s<100,  <   R.s="pravotocivU"&R.s="avotocivU"  R.s=PRAVDA&R.s=NEPRAVDA.    "!   Ttostratgiasauplatujeprib|0 b  `@/)""b ""            ""  @Mat *V%) Ї8  AK    8  referencovanrubrikaaktivovanhopravidlaumhodnotuapodmienka,ktornauodkazuje,niejesplnen,    8  TAK k   8  0   AK T"" 8  0  komplementrnapodmienkavpredpokladeinhopravidlasp=sobujefalzifikciupredpokladu(tvorenhoibakonjunkciamimijednoduchUchpodmienok), "" 8  0   TAK  _"" 8  0  d=sledkusapriradhodnotazodpovedajcafalzifikovanmupredpokladu, "" 8  0   INAK  1 "" 8  0  d=sledoksazaraddotruktryagendy,ktorregistrujepravidlskomplementrnymipodmienkami, "" 8      b|0 b  `@0"b ""               ""  @Mat b 8  8   prioritnUvUberavyhodnocovaniehypotzyvrolikomplementrnejpod  ] mienky vr=znychpravidlch vUraznezefektvujeinferencnUproces (proces F vUberusasastaneefektvnejmkeisavrmci,ktorUobsahujerubrikuzodpovedajcuaktvnejhypotzevytvorpecifickrubrikaobsahujcazoznamrmcov(pravidiel),vktorUchhypotzavystupujevkomplementrnejloherubrikuvytvratvorcaBZaleboprogrampripredspracovanBZ),  Vb|0 b  `@1 ""bVVb|0 b  `@1 ""b ""               ""V@Mat   WW8  8  tentovUbermsp=sobi prioritnvyhodnotenieprvetejentity,ktor !  vystupujevovzjomnekomplementrnychpodmienkch jeto "!  diskriminuWWjca(rozliujca)entita ajejprioritnvyhodnotenietvorvemi #"  cinnstratgiurUchlehorozhodovania medzialternatvnymihypotzami.$# 4.3.6Stratgievyvolanakciamid=sledkupravidla A'"&   AkciamizpravejstranyprodukcnUchpravidieljemonovplyvovaprocesinferencie )d$(  bezprostredne,nsledne, alebo sprostredkovane . )M%) Y+Y 8  Bezprostrednovplyvovanie spocvavtom,eakciapriamo vklad, resp. *8&*  odstraujepoloky vniektorejzotruktragendy.+3'+    [+[8  Nslednovplyvovanie spocvavtom,eakciasp=sobzmenuhodnotyrubriky ,(, niektorhormcaatjereferencovanvpredpokladeniektorho,ciniektorUchpravidiel,nslednepotomvzvislostialeboajnezvisle(umonitvorcoviBZ .*. vobu!)odsplneniapodmienky,vktorejsarubrikasozmenenouhodnotoureferencuje,sad=sledokpravidlavlodoagendy.(JednsaostratgiupodobnhradlovaniustUmrozdielom,esam=euplatniajnezvislenasplenpodmienkyaibavtedy,keiakciasp=sobujezmenuniektorejhodnoty.)    + 8  Sprostredkovanovplyvovanie sadvyvolaakciouvedcoukzmenehodnoty T rubrikyniektorhormcareferencovanejvpodmienkepredpokladuniektor(ho/Uch)pravidiel,ktornslednem=eprostrednctvomhradlovacieho,komplementovacieho,aleboasociacnhomechanizmusp=sobizodpovedajcezmenyvobsahuprslunUchtruktragendy.      PrioritavyhodnocovaniaaktivovanUchhypotznazkladeakcid=sledkovejcastipravidlajespravidladanprioritouzodpovedajcejtruktryvagende,t.j.prioritouasociovania,komplementovania,alebohradlovania(vposlednomprpadesatotUkabezprostrednho,resp.sprostredkovanhoovplyvovaniainferencie).  Poznmka:Pouvatealebovonkajieprogramovprostrediesystmum=uspontnenastavihodnotyniektorUchrubrkrmcov.Taktoskutocnosm=epodazvolenejstratgievyvolabuibezprostrednspusteniepriamehoreazenia,aleboiniciovapodobnUmechanizmusakoakcienapravejstranepravidiel.4.3.7StratgiavyvolanspontnnezadanUmi/zmenenUmidajmi  ]   NiektoraplikcietovyadujazodpovedajcetypyESumoujvpriebehuodvodzovania spontnnezadvaniedajov (narozdielodpoadovanUchnazklade AP ).Jeto  nevyhnutnpredovetkUmvprpadoch,keisystmvrelnomcaseavspriahnutomreimespolupracujesexternUmfyzickUmprostredm,povedzmevrolimonitora,ciregultoraurcithoprocesuwwww (  12      .Ajvnespriahnutom(offline)reimepriscinnostisosvojimpouvateom  tom=ebyvUhodnavniektorUchaplikcichanevyhnutn.Beztejtomonostimpouvateibatritandardnmonostizadvaniadajov:yy(a)0  spontnne󀄀priinicializciicinnostiES,A"" (b)0  napoiadaniesystmu,keivpriebehuinferencievyadujesituacnezadakonkrtny/ +{ daj/e, "" (c)0  spontnne,keisapouvaterozhodneniektorUzpredolezadanUchdajovz  N akUchkovekd=vodovmodifikovaktakejcinnostisam=erozhodnspravidlavtedy,keinamiestosystmompoadovanhodajareagujevhodnUmpovelomoznamujcim "!! systmu,epoadujezmenuniektorhozp=vodnezadanUchdajovybyyby (  13      .# """   BezrozreniatUchtotandardnUchmonost,dodatocnzadvaniedajovbysadalo $# uskutocniapoukonceninferencnhoprocesu.zzl|:*&j  `@ @2+"`'l ""         *k%) |  |VobochprpadochbyzadaniezodpovedajcichdajovmohlovUznamnUmsp=sobomovplyv||nirieiaciproces.Bolabytoneelanvlastnossystmu,ktorUmvniektorUchaplikciachnevyhnutnepripustispontnnezadvaniedajovpraktickykedykovekvpriebehuinfe||rencie.Najmkeipouvatejepozorovateomasprostredkovateomdajovzmeniacejsarealityaneodkladnepotrebujespoznadoporucenia(rieenia)systmu(povedzmeprpadletovhodispeceranaletisku,lekraprichirurgickomzkrokuati.).  VofflinereimesaspontnnezadvaniedajovumoujevhodnUm(preruovacm)povelom,naktorUsystmmreagovaakonhlemutoprebiehajciprocesumon.NslednejepripravenUzadvandajenacta.  NaspontnnezadandajemusbyESsp=sobilUsituacnereagova.Vprpadepoiadavoknarieeniavrelnomcasejestvujvariantnmonostiaichkombincie:0  zodpovedajcenastavenie/prestaveniepriortdajovoriadiacichtruktragendy, "" 0  priradinajvyiuprioritustratgiipriamehochoduavkontextestUmajostatnUmstrat   |   |gimodvodzovania, "" 0  nastavenie/prestaveniesemaf;rovprodukcnUchpravidielaprpadneajpriortci   podmienokakcivakcnejcastipravidiel "" tovetkoprirodzenesprihliadnutmnasp=sobynastavovaniapriortAZakcivmetarubrikchrmcov.  Spontnnezadandaje,najmtie,cosavpriebehurieeniamenia,m=eprezachovaniekonzistentnejcinnostiESvyvolapoiadavkurozsiahlUchzmienvbzefaktovadajovoria||diacichtruktrachagendy.4.3.8Stratgiavonejvzby +   Vpodkapitole4.2,prirozborepriamehoasptnhoreazenia,boloukzan,evzbymedzipodmienkami(atUmajtermami)vjednotlivUchpravidlchmonovnmaoptikouA/ALEBOgrafu.Tamuvaovanmuilustracnmuprkladuzodpovedal svislUgraf .     NemalabybyobananipredstavanesvislhoA/ALEBOgrafuzodpovedajcehocelej k aservnejcastiBZ,tedaBZtvorenejviacerUmitakUmigrafmi.Tozodpovedrelnymprpa񼼼dom,vktorUchreprezentujemevUsekysveta(imzodpovedajceobjekty)bezbezprostrednUchvzjomnUchpodmienenost,ciinUchsvislost.w|5555=-)j (  `@@3%!"w ""            ""(Poznmka:Anglickformulciam=eznie"knowledgeisland".)l|:*&j  `@ @4,""%!"l ""               ""  Majmenasledujciprklad:BZ,vktorejsreprezentovanznalostipotrebnprediagnostikovanieaopravuporchauta,dsanapr.cleninaproblematikumechanikymotora,palivovejsstavy,mazacejsstavy,brzdnhosystmu,elektrickhosystmuai.Vtakom .*. prpademedziprodukcnUmipravidlamizodpovedajcimijednotlivUmagregtomautanemusiabybezprostrednvzby.Tedanebudjestvovaanihranymedzizodpovedajcimigrafmi.Ztohonsledneplynienesvislosgrafovzodpovedajcichauton;mnymtruktramBZ.  Keipostupneoznacmemnoinyhypotz,referncivpodmienkchpredpokladupravidielareferencivakcichd=sledkovejcastipravidielsymbolmi H , Pi a Aj ,potom oblasznalost  T jetvorentakUmzoskupenmprodukcnUchpravidielarmcov,prektoraspovjedomprpadeplat   HPic0 prevetkyi  J   HAjc0 prevetkyj  5    PiPjc0 prevetkyi,j,kdei=j     PiAjc0 prevetkyi,j,   tedajestvujeaspojedenneprzdnyvzjomnUprienikuvedenUchmnon.t|5555:*&j  `@@5"at ""                        ""  Doterazuvaovanstratgieodvodzovanianeumouj prenosriadeniamedzijednot  livUmioblasamiznalost .Napriektomusadstretnsaplikciami,ktortom=u  vyadova.PretojecelnpripustivytvorenieurcitejvzbyajmedzinesvislUmigrafmi.Hovormeim von(slab)vzby . h t|5555:*&j  `@@6/"a"at ""                                                      .).   IlustracnUprklad,vktoromsymbol VV reprezentujevonvzbu, VA vzbuasociciou  asymbol" := "zodpovedpriraiovaciemuprkazu:  *yDE ddd htd * td Ht >?y,d ,t +  /555 o /(1)A&BM g (2)A&CN,F:=10  P (3)D&EP, VV (X)  9 (4)P&(F=10)Q,G:=5  $ (5)H&GR, VA (S)   (6)J&KS 45655!  555 4Ѐ(7)T&LW,Q1:=4 g Ѐ(8)T&VX  P Ѐ(9)(Q1>2)Y  9 (10)X&UY, VA (Y3)  " (11)K1&K2Y3   (12)N&RZ1'%   0  5655 1  Ttosstava(abstraktnUch)produkcnUchpravidieljetvorenzdvochoblastznalost.Prvejzodpovedajpravidl(1)a(6)a(12),kUmdruhejpravidl(7)a(11).  Vimnimesi:Medzipravidlami(1)a(2)jestvujevzbahradlovanmvd=sledkupodmienky A ,prtomnospodmienky T vpravidlch(7)a(8)vytvratiehradlo.Akcia e   F:=10 vpravidle(2)vytvravzbunapravidlo(4)aobdobneakciev(4)a(7)vytvraj P  vzbyna(5),resp.(9).Pravidlo(6)jescasouprvejoblastiznalostiibavd=sledkuasociovaniahypotzy S vpravidle(5),obdobnepravidlo(11)vd=sledkuasocicievpravidle $t (10)zdruhejoblasti.Pravidl(3)a(4)svovzbevd=sledkusptnho(prpadne)ajpriamehoreazenia.Obdobnesviazanpravidl(2),(5)a(12)vprvejoblastia(8),(9),(10)vdruhejoblasti.Kebyvpravidlch(1)a(2),resp.(7)a(8)spolocnpodmienkymalipovahukomplementov,vzbymedzinimibyvzniklivd=sledkustratgiekomplementovaniaazrovebysasvysokouprioritouuprednostovalovyhodnocovaniekomplementrnychpodmienok.Medziprvouadruhouoblasouznalostijepecifikovanjednosmernvonvzbazsluhoupravidla(3).4.3.9Prioritytruktragendyavolitenosstratgi @   VpriebehurieeniaproblmovjevdajovoriadiacichtruktrachagendyregistrovanUchspravidlaveaentt,najmhypotz(netrivilneBZm=uobsahovatisckyzloitopreviazanUchpravidielaobjektov).Podokoncenvyhodnocovaniaprveaktulnejhypotzy,  5  nslednUinferencnUprocesvyadujevUberialejznich. b|0 b  `@7"'"#b ""            ""   Priradenmpriorttruktramagendysatentoproblmriei. E'"'   PreodlincharakteristikyaplikciESm=ubyvyhovujceodlinpriradeniapriortzlokmagendy.Rozdielysaprejavujnajmvssvislostisreimomprce,menovite,ci aplikciavyadujepromptnodozvunaspontnnezadvandaje .KUmaplikciam *P%* povahukonzultacn/poradenskarealizujesavdial;govomreimesaktvnympouvateom,castosastretvamesklesajcoupostupnosoupriortuvedenUchzloiekagendyakojetouvedenvavomstpcinasledujcejtabuky.Vprpade p aplikciESvspriahnutomreime , (- avrelnomcase(napr.primonitorovanciriaden),tedakeisavyadujepromptnrekciasystmu,zrejmesastvanevyhnutnUmpredovetkUmzvUeniepriorityspontnnezadanUchdajovna,resp.nadrovezsobnkapreruen.Klesajcapostupnosusporiadaniapriort x/*0 bymohlazodpovedaobsahupravhostpcanasledujcejtabuky:*WFG ddd t DEW,d ,t +  /555  /@o) DIAL:GOVTREIM 45655!*z555 4@AaMONITOROVAC0REIM F6555!*z 0  5655 Fzsobnkpreruen(sptnreazenie),komplementovanie,frontpouvateovUchpoiadaviek(nmpecifikovan,plnovan,hypotzy),priamereazenie,hradlovanie,akcncaspravidiel,spontnnezadandajevpriebehuinferencie,asociovanie,vonvzby 46655!5 655 4spontnnezadandajevpriebehuinferencie,priamereazenie,zsobnkpreruen(sptnreazenie),akcncaspravidiel,komplementovanie,hradlovanie1'%A  0  6655 1  HocisavprpadespriahnuthoreimuvrelnomcasenievemiocakvapouitieinUchneuvedenUchriadiacichstratg,aniinsanevylucuj.  Uvedenprpadypriraiovaniapriortzlokmagendy,atUmprvkomstratgiodvodzovania,bysadalipovaovazatandardn.AleobdobneakovprpadevetkUchdoterazspomnanUchtandardov,ajpriraiovaniepriortzlokmagendybymalobyvrukchtvorcuBZamalobybyhociajdynamickymenitenna globlnej (precelBZ) ajloklnej t  (prejednotlivcastiBZapojednotliventity) rovni nastavenm prpustnosti/nepr _  v pustnostiuplatovaniajednotlivUchvyiespomnanUchinferencnUchstratgi.  J w|))))=-)j ( % `@@84<w ""            ""Keiniektorinzlokaagendynadobudnevyiuprioritu,m=evzniknneelanUstavrieeniaproblmu.MnostvociastocneinterpretovanUchpravidielavd=sledkutohoajaktivovanUchenttzostvavnedefinovanomstave.Naviacjestvujepotencilpreteceniazsobnkaavznikucyklu.w|))))=-)j ( % `@@9N(<4<w ""               ""  Princpspocvavtom,esavytvor hierarchizovansieagiend ,castolenvpodobe (*$) stromovejtruktry.KadUvrcholsiete(stromu)jelinernprioritntruktrazloiekauton;mnejagendy.R=znymvrcholomm=uzodpovedaodlinzlokyanerovnakpriority.Taktotruktrovanviacnsobnagendamumoovasituacntraverzovaniezodpovedajcehografu(napr.zmenoupriortvrcholovgrafu)atUmajzmenupriorityriadiaciehocinkujednotlivUchzsobnkovpreruen. ;/*0 Їt|5555:*&j  `@@: "t ""                              ""  Nazvertohtoclnkupoznmka:  PopriagendeialouvemivUznamnouscasouinfratruktryinferencnhomechanizmuje protokol, ktorUbymalregistrovakadUvUznamnejkrokvcelomproceseinferencie.Na   tomtomiesteibakv=liplnostiprvejcastitextovuvdzamettiinformciu.Tmou protokol    sazaobermevdruhejcastitUchtotextovvsvislostistmami,ktorsazaoberajpotencilnoupotrebouodvolvasanapredchduajcipriebehprocesuodvodzovania.TypickUmprkladomtohojenapr.nemonot;nnainferencia. % m 4.40  Nepriamereferencovanieentt O""   VUkonn(rozvinut)vUvojovprostrediaaprostrednctvomnichvytvorenES,najmtie,ktorumoujvcasezbiehaniagenerovaobjektyaichtriedy,poskytujprostriedkynat|)))):*&j  `@@;" "t ""            ""Stokontrukty,ktorsadajuplatni podmienkchpredpokladupravidiel,v 1 akcichAP,AZaakcnejcastipravidiel,vofunkcichaleboprocedrach ,pri .~ nepriamomreferencovanrubrkobjektov/tried,prpadneajinUchzdrojovdajov.Vcasevytvraniakontruktov,t.j.pritvorbeBZ,umouj t|5555:*&j  `@@<*""t ""                           ""   Jednsatedaomonosvytvrania symbolovUchkontruktovnahradzujcichskutocn +g&* identifiktoryrubrkrmcovreprezentujcich(T,I)objekty ,ktorsadajvnmaa ,R'+ pouvaakoprostriedok nepriamehoodkazovania .Svojouodvodzovacoucinnosoua ,=(, monosamistomimoriadnevUznamnprostriedkyvUrazneobohacujceazefektvujcetvorbuBZajichuplatovanie.EfektvnesajpriprehadvanpotrebnUchdajov. .*.   NailustrovanieaozrejmenieproblematikymajmejednoduchUprklad:NechjelohouESpom=cprivUberevhodnUchadeptovnazostaveniefakultnhobasketbalovhomuskhotmu.Adeptimusiasplovanasledujcekritria:muivysokminimlne175cmspriemernUmprospechomniehormne1.5.ProdukcnUmipravidlmijemonidentifikovajedincovsplujcichuvedenpodmienky.Problmvakspocvavtom,edoterazpredstavenprostriedkytvorbypodmienokvpredpokladejadraprodukcnUchpravidielumoujreferencovaibarubrikyindivduovUchrmcov,prpadnetried.AkovakzabezpecireferencovanievetkUchposluchcovfakultyvpodobevhodneskontruovanho generickho  _ produkcnhopravidla ?Veikebyjestvovalaibamonosodvolvasaibanakonkrtne  J indivdua,bolobyzrejmpotrebnvytvoritokoprodukcnUchpravidielkokojeposluchcov.PravidlrovnakejformyajobsahubysaliliibaodlinUmireferenciaminzvovIobjektov.Nevhodnostakhoprstupusaprejavetevcmipripredstave,ekadorocnenajmenejraz,bybolopotrebncaspravidielaktualizova(niektortudentiabsolvuj,novnastupuj).  UporovnaniesklasickUmiprocedurlnymiprogramamiurcitevediekpresvedceniu,ebysajednalozviacerUchaspektovokrajneneefektvnypostup.Vzniktedaprirodzenotzka:l|:*&j  `@ @="-l ""            ""  Odpoveijepozitvna.VUchodiskomje nepriame,implicitn,referencovanie entt, ! ktorUmsvenovannasledujceclnky.4.5.1Technikanachdzaniazhody w t|)))):*&j  `@@>8""-"-t ""                  ""  KonkrtnouformouTNZ(zviacerUchmonUch)skombincie univerzlne alebo "!  existencnekvantifikovanUchpodmienok vpredpokladepravidiel,resp. vUrazovvakcich, #" funkcich,aleboprocedrach . $#   VnadvzujcomvUkladebudeme0  univerzlnekvantifikovanU Tobjektzapisovapomocouztvoriek {} vtvarej&!%"" ae|3#b (b `@?)"-8""-eaae|3#b (Kb `@?)"-8""-e ""         ""a0  existencnekvantifikovanU Tobjektpomocouy8tvoriek <> vtvare"*r%)"" e|3#b (Kb `@@-"-)"-e ""         ""b0  b  Bcinokpodmienkys univerzlne kvantifikovanUmobjektomjenasledovnU:c -*)-  .*. Їt|5555:*&j  `@@A"t ""                                          ""  PredpokladpravidlajevoveobecnostitvorenUviacerUmipodmienkami.Vprpadepotrebyvetkysmbykvantifikovan.b|0 b  `@B""b ""            ""TompodstatnUvUznam,lebocinoknadvzujcej,cinadvzujcichkvantifikovanUchpodmienoksam=evzahovaprvenatakUzoznam.    Uvedenrozoberiemeailustrujemenavyienacrtnutomprklade.Uvaujemepritommnoinutudentov(tudentiek)reprezentovanUchhierarchizovanoutruktrourmcovuvedenUchvtabukenanasledujcejstrane.  Vtomtoprpadeaplikcia univerzlnekvantifikovanejpodmienky vtvare N   {TUDENT_MFF}.priemernU_prospech<=2 , !"  sp=sobiprehadanievetkUchIOBJEKTovtriedyTUDENT_MFF,pricom,akozrejm,prevetkyjepodmienkasplnen.Produktomaplikciepodmienkyjevytvorenienasledovnholoklnehozoznamu:  (Marek,Fero,Mia,Eva,Dita,Vanda,Miro,Pao).  Modifikovankvantifikovanpodmienkavtvare  {TUDENT_MFF}.priemernU_prospech<=1.5  *>&* niejesplnen,lebouprvUobjektjejnevyhovujepretoaninevytvoriadnyloklnyzoznam. {/*/ Ї*WLM ddd t FGW,d ,t +  155" =  1TUDENT_MFF{([]vek:)([]vUka:)([]pohlavie:)([]priemernU_prospech:)} 4565!  55 4 H659! 5  565 pHTUDENT_NM{(je_podtriedou:TUDENT_MFF)([]vek:)([]pohlavie:)([]priemernU_prospech:)} 4665! 65 4TUDENT_UI{(je_podtriedou:TUDENT_MFF)([]vek:)([]pohlavie:)([]priemernU_prospech:)} H659!  p 665 8HMarek{(je_prvkom:TUDENT_NM)(vek:23)(vUka:189)(pohlavie:musk)(priemernU_prospech:1.8)} 4665!65 4Fero{(je_prvkom:TUDENT_NM)(vek:22)(vUka:174)(pohlavie:musk)(priemernU_prospech:1.2)} H659! 8 665 8HMia{(je_prvkom:TUDENT_NM)(vek:23)(vUka:162)(pohlavie:ensk)(priemernU_prospech:1.5)} 4665!65 4Eva{(je_prvkom:TUDENT_NM)(vek:25)(vUka:159)(pohlavie:ensk)(priemernU_prospech:1.4)} H659! 8 665 8HDita{(je_prvkom:TUDENT_UI)(vek:21)(vUka:170)(pohlavie:ensk)(priemernU_prospech:1.7)} 4665!$%65 4Vanda{(je_prvkom:TUDENT_UI)(vek:22)(vUka:172)(pohlavie:ensk)(priemernU_prospech:1.5)} F6555!$% 8 665 hFMiro{(je_prvkom:TUDENT_UI)(vek:23)(vUka:189)(pohlavie:musk)(priemernU_prospech:1.3)} 46655!*%,655 4Pao{(je_prvkom:TUDENT_UI)(vek:24)(vUka:179)(pohlavie:musk)(priemernU_prospech:1.1)}1'%*%, 0 h  6655 1 S/*2   Priuplatovan existencnekvantifikovanejpodmienky vzniknasledujcisp=sob  vyhodnocovaniapodmienky:t|5555:*&j  `@@C"mt ""                                                ""  Neprzdnyloklnyzoznamvyhovujcichobjektovsazachov adoplnehoukon M  M ceniavetkUchcinnostsvisiacichsprvevyhodnocovanouzlokouprodukcnhopravidla.  Vuvaovanomprkladeexistencnekvantifikovanpodmienkatvaru  <TUDENT_MFF>.priemernU_prospech1.5   jesplnenvytvorloklnyzoznam(Fero,Mia,Eva,Vanda,Miro,Pao). u   DoterazbolispomnanibakvantifikovanTobjekty.Kvantifikciasamdarozriajna IOBJEKTy. H   BcinokkvantifikovanUchpodmienokviacich 3 b|0 b  `@D$"m"mb ""                  ""t|)))):*&j  `@@Ev+"m$"mt ""                     ""Poukoncenvyhodnocovaniapravidla,pokiasavhodnouakciouzvycajnevakcnejcastipravidlanezabezpeczachovanieloklnehozoznamu,tentozoznamzanikne.  Vprpadesekvenciedvochpodmienoktvaru  ~/*/ <TUDENT_MFF>.priemernU_prospech1.5&{TUDENT_MFF}.pohlavie=musk,  <TUDENT_MFF>.priemernU_prospech1.5&<TUDENT_MFF>.pohlavie=musk   sanaloklnyzoznamvytvorenUprvoupodmienkou(Fero,Mia,Eva,Vanda,Miro,Pao) k aplikujenasledujcapodmienka.VprvomprpadeniejepredpokladsplnenU,lebovzoznamesavyskytujobjektynevyhovujcedruhejpodmienke.Pretozanikajloklnyzoznam.VdruhomprpadejevakpredpokladsplnenU,lebodruhpodmienkajesplnen.VUsledkomjenovUzoznam(Fero,Miro,Pao).  `   Kebysapredpokladvdruhomprpaderozrilopodmienku  <TUDENT_MFF>.vUka>=175     celUpredpokladbybolsplnenUazrovebysavytvorilnovUloklnyzoznamtvaru(Miro,   Pao).     PoilustracnUchprkladochuveimeradzoveobecujcichprincpov.b|0 b  `@F~",b ""                     ""b|0 b  `@G"",~",b ""                     ""b|0 b  `@Hq/","",b ""                                    "" z/*/ ЇTakevuvaovanomprkladevUsledokvyhodnoteniacinokpredpokladuvtvare0  <<TUDENT_MFF>>.priemernU_prospech<=1.5"" 0  &<TUDENT_MFF>.pohlavie=musk "" 0  &<<<TUDENT_MFF>>>.vek<=23 "" 0  &<<TUDENT_AI>>.pohlavie=ensk ,= "" akosamonopresvedci,budepropozicnhodnotaPRAVDA.Vpriebehujehovyhodnovyhodnocovansavytvorianasledovntriloklnezoznamy0  <TUDENT_MFF>.pohlavie=musk :(Marek,Fero,Miro,Pao),  "" 0  <<TUDENT_MFF>>.priemernU_prospech<=1.5 "" 0  &<<TUDENT_AI>>.pohlavie=ensk :(Vanda), "" 0  <<<TUDENT_MFF>>>.vek<=23 :(Marek,Fero,Mia,Dita,Vanda,Miro).] "" b|0 b  `@I"1b ""            ""0  Ilustrciaspocvajcanapredchdzajcejukke: "" 0  A1:   Vytvor(T)Objekt<<TUDENT_MFF>>.priemernU_prospech<=1.5VYZ y  y NAMENAN0  y 0  A2:  0    <TUDENT_MFF>.rbr7:=<TUDENT_MFF>.Rbr7+10 . 4"" l|:*&j  `@ @Js%"1"1l ""                  ""  KvantifikovanUpriraiovacprkazvA2sp=sobuje,enepecifikovanhodnotarubrikyrbr7sazvUio10vkadomIobjektezozoznamu,ktorUvznikolztriedyTUDENT_MFFnazkladevyhodnoteniajedenrzkvantifikovanejpodmienky,tedaibauobjektovzozoznamu(Marek,Fero,Miro,Pao). ")r$( b|0 b  `@Kq/"1s%"1b ""            "" /*/ Їb|0 b  `@L "bb|0 b  `@L "b ""                           ""  UvedencinkyaplikciekvantifikovanUchpodmienoksjednouzmonost.DoteraznebolzverejnenUiadnaveobecneprijatsyntaxezpisukvantifikovanUchpodmienokanicinokichaplikovaniaavyuvaniavr=znychimplementacneajvUrazovUmiprostriedkamisaznacneliiacichsystmoch.  TUkasatoajvetkUchostatnUchprostriedkovnepriamehoreferencovaniauvdzanUchvtejtokapitole.4.5.2Nepriamereferencovanieainterpretciareazcov )y   Met;danepriamehoreferencovaniazodpoved nepriamemuadresovaniu .Vyaduje L pouitievhodnUchdajovUchtruktr,ktorajsdynamickymenitenUmobsahomsnositemirelnychadries,t.j.nzvovobjektov,ktorsastvajpredmetomzujmu. Priamym   odkazovanmnaobsahpodpornUchtruktrsanslednenepriamozskavapotrebnreferencia. PodpornoutruktroumoebyajvhodnenavrhnutUrmec,resp.systmrmcov.    Dohovor:Vialombudemeuvaovaibapodporntruktruvpodobermca.Naznaktoho,esajednonepriameodkazovanie,t.j.enereferencujemerubrikupodpornhormca,aleobjektzodpovedajcijejhodnote,budemepsa  \PomocnU_ rmec  RMEC .pomocn_rubrika\.relna_rubrika . 3   Tojeialsp=sob,ktorUmmonoobspotrebupriamehoreferencovaniaobjektov,najmvprpade,keivcasepsaniaprslunhopravidla,aleboinhokontruktu,anipresnenepoznmeoktorUobjektvcaseinferencnhoprocesup=jde.  Aktedavytvormepodmienkuvtvare  \O!soba!!SOBA!.meno\.priemernU_prospech<=1.5 , $# interpreterpravidlaavcasevyhodnocovanianajprvsituacnenahradreazec \O"soba""SOBA".meno\  h&!% skutocnUm,prveaktulnymmenomobjektu(dsanjsvrmci,ktorUpredanUprpadjepomenovanU Osoba avjehorubrikenazvanej meno ).AkbyobsahomO$soba$$SOBA$.menobolo <(#' Marek,takvzniknepodmienkavtvare ')w$(   Marek.priemernU_prospech<=1.5 , *J&* tedatestovalobysa,cipriemernUprospechtudentatohtomenavyhovujepecifikovanejpodmienke.  Nezriedkasavyskytujprpady,keinepriameodkazymajcosispolocn.Vnaom .). prpadebysmemohlinaprkladspresni,eMarekjetudentomodboruAI(niejemonvylcivUskytrovnakUchmienvr=znychpecializciachaveobecnevr=znychs=vislostiachakombincich).TedamohlobybyiaducimnjsreferenciuTUDENT_AI:Marekapsa  zodpovedajcikontruktvtvare  "TUDENT_AI:"\Osoba.meno\.priemernU_prospech1.5 , >  cobypointerpretciimalovrti  TUDENT_AI:Marek.priemernU_prospech1.5 .  4  Reazec "TUDENT_AI:" sazvykvanazUva kore nepriamehoreferencovania.     UvedenUsp=sobnepriamehoreferencovaniam=esapouiajvakcnejcastipravidla,napr.A1: "TUDENT_AI:"\OSOBA.meno\.rbr7:="TUDENT_AI:"\OSOBA.meno\.rbr7+10 . G   ProstriedkomialiehozvyovaniaprunostivytvraniaavyuvaniaBZjekombinovanienepriamehoreferencovaniaaTNZ.UplatujesavsvislostisovstupnovUstupnUmioperciami,ciuvzhadomnacieovhopouvateasystmu,alebovzhadomnaexternsoftvrovprostredie.Nepriamereferencovaniemusvakvdyby vnoren doTNZ,nikdy & naopak.  Naprkladkvantifikovanpodmienkatvaru  <"TUDENT_:"\RMEC.rubrika\>.priemernU_prospech1.5  | vprpade,eRMEC.rubrikaobsahujeakosvojuhodnotureazecMFF(resp.AI)sp=sob N najprvnahradeniepredolejpodmienkytvarom  <TUDENT_MFF>.priemernU_prospech1.5   Z resp.  <TUDENT_AI>.priemernU_prospech1.5  !,  aichprslunvyhodnotenievyieuvedenUmsp=sobomTNZvedievuvaovanomprpadetudentovMFFkvytvoreniuzoznamov(Fero,Mia,Eva,Vanda,Miro,Pao),resp. $# DD(Vanda,Miro,Pao).  F7FZuvedenhobymalobyzrejm,eTNZumoujevykonvar=znevUznamnprocesy:G Gb|0 b  `@M/"S'b ""G/*/  G                           /*/ GG4.5.3Technikatromfov    EteinUsp=sobnepriamehoreferencovaniaobjektov,ktorUsazvykneuplatovavovUvojovUchprostrediachjemet;da,ktornazveme technikatromfov (vonUanezvznU l prekladanglickhovUrazu"wildkard"lebosymbol ? ,resp. ?? ,nahradzuje cokovek ,akoby W tromfomnahradzovalubovonkartu).VzvislostinapouvanUchvUrazovUchprostriedkoch B  (prpustnUchkontruktov)vUvojovUchprostredm=emar=znupodobu.Prejednoduchos,nievaknakorprincpu,zachovmeibadoterajiunotciu.  Keijenaprkladpotrebntestovaubovonobjektymajcerovnakvlastnosnezvisleodtoho,doktorejtriedypatria,pouijesasymbolnahradzujciichmeno,napr.lispovskUsymbol ? ,povedzmevtvare     ?.priemernU_prospech <=1.5 .     BcinoktohtokontruktuspocvavprehadanvetkUchobjektov,ktormajatribt priemernU_prospech ,ichtestovanievzhadomnadanpodmienkuavytvoreniezoznamu a  mienvyhovujcichobjektov.  Pouitiepodmienkyvtvare  ?.? <=1.5 W  byviedloknajdeniuvetkUchobjektov,ktormajatribtshodnotoumenioune1.5a + prirodzeneajvytvoreniuzoznamuvyhovujcich mien.atribtov .    Podmienkatvaru  ?.priemernU_prospech= ?   njdevetkyobjektysatribtompriemernU_prospech,ktormajprvejedin,ubovon U hodnotuavytvorprslunUzoznam.Vprpade,ebypodmienkamalatvar  ?.priemernU_prospech= ??   a viedlobytoknjdeniuvetkUchobjektovsatribtompriemernU_prospech,pricomby !5  vyhovovalitieznich,ktorvprslunejrubrikemajubovonUpocethodn=t,vrtanehodnotyNEZISTEN.HH  UvediemeetejednudvojicuprkladovnailustrovanierozmaniH #" HtUchmonostpouitiasymbolu ? (vzvislostinasyntaktickUchpravidlchkonkrtnehovUvojovhoprostredia): % $   RMEC.atr="pokazenUje?valecmotora"  ^'"&   RMEC.atr="pokazenUje??valecmotora" . G(#'   Vobochprpadochsaobsahrubrikytestujevocireazcunapravejstranepodmienky.Vprvomprpade,testuvyhovujereazecobsahujcivpozciivUskytu ? prvejedinUdaj(cslo +T&* aleboreazec),kUmvdruhomprpade,namiesteurcenomsymbolom ?? sam=evyskytova +?'+ ubovonUpocetdajov,vrtaneprzdneho.  UplatnenieuvedenUchnhradnUch(tromfovUch)symbolovvakcnejcastipravidiel, -)- I%  IobdobneakovpredolUchprpadoch,jetiemon. .). J%  J