WPCƈ y 0} 0x 0j 0j; 0 0}> 0 0 0n 0 0  0 00/ 0B_ 0U 0 0 0h 0  0 0 0C 0 0U.a % 0y 0 1 0 0vrE 0  0= 0F( 0Pn 1 0wS! 0[# B%&#B&Q' 0S' 0K)J=* B *-U<- D3- A M . 0 wm.0 22 0D4 ai48:@l<= D3AAfACaCCWC"EFHJLbN Smi V!}i! j!@jV!0j! k+W!k!-l!=n!Mp!]r!mt!}v!x!z!-{!=}!M!]!!0}!0!݂!m!}! zX" ^] )4.. . V 8Document[6]Document Style8..V 8Document[5]Document Style0..V/8Document[2]Document Style 2A.3  Ԁ   V& 8Document[7]Document Style0..0` ..` zU :Right Par[1]Right-Aligned Paragraph Numbers..2I.3  Ԁ..0..zh :Right Par[2]Right-Aligned Paragraph Numbers..` ..2A.3  Ԁ..0` ..` V? 8Document[3]Document Style.. 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  Ԁ. <  9`(CourierXR& 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 /CF:;ց0 W  Level 1 Level 28H|OfP Level 3FFhWa6 Level 4R RFW' Level 5hQ/(N2$q$ )!  TR{6&3'6& [ALL OTHERS]  3'Tr^X` hp x (#%'0*,.8135@8:<H?AXr7XXd7CZUS  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)(O3z$ )!  TR{6&3'6& [ALL OTHERS]  3'Tr^X` hp x (#%'0*,.8135@8:<H?AXr7XXd7CZUS  C (3$  TR{6&3'6& [ALL OTHERS]  3'Tr^X` hp x (#%'0*,.8135@8:<H?AXr7XXd7CZUS   dHP LaserJet IIP|>yxq~??χLJLJHP2P.PRSY,8t8t,0n - 0{(O(3C$ )!  TR{6&3'6& [ALL OTHERS]  3'Tr^X` hp x (#%'0*,.8135@8:<H?AXr7XXd7CZUS  C     0  ( ~$ Figure  1   @  (  XX>*!'*d>>*!'*d>H1H2H3H4H5H6H7H8H910111213141516171819202122232425262728"  .+ '++"&0 d d.b4 p`$Roman-WPType 1****'dxd(.2A<< CF(O3z$ )!  TR{6&3'6& [ALL OTHERS]  3'Tr^X` hp x (#%'0*,.8135@8:<H?AXr7XXd7CZUS  C   4V"r^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   1XXXX  @ +=o statickej reprezentcii,  @  =omodelistatickUchvzjomnUchvzieb(zaclenen)@s!=vopreddanUchobjektovreprezentovanhosveta.W  4V"r^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   1XXXX  @ +=Mvdydulnepostavenie:  @[=(1)jeindivduovUm,teda IOBJEKT omnejakejtriedy  @ 4=azrove@g=(2)jecasou(zlokou)aspojednhoindivduovhoobjektu.(#$  0    -C$r^X` hp x (#%'0*,.8135@8:<H?AXrCZUS      1      Ӏ1XXXX1 X1XVniektorUchliterrnychprameochsatermnbzafaktovnahradzujevUrazombzadajov(dtabza).  DruhUmztUchtoterminologickUchpojmovsavakzvycajneoznacujrozsiahlezoskupeniarovnorodotruktrovanUchdajovvdtabzovUchsystmoch.Tovakniejeprpadfaktov,ktorUmijedeterminovanUproblmrieenUexpertnUmsystmomacharakterizovanUajpostupjehorieenia.VprpadeESdanapostupnezhromaiovandajespravidlanemajaniuniformnpovahu,anizaclenenieatruktru.Ichobsahovr=znorodosaformlnamnohorakosmotivujekodlinmupomenovaniu.  -C$r^X` hp x (#%'0*,.8135@8:<H?AXrCZUS      2    1XXXX1 X1X  ӀUplatujsapritomobjektovoorientovanpohady,ktorvmnohomaproximujvlastnostivUvojovho  prostrediaNexpertObject.  -$r^X` hp x (#%'0*,.8135@8:<H?AXrCZUS      3    ݀1XXXX1 X1X  PrkladyindivduovUchobjektov:VojtechZamarovskU,autorknihyGrckyzzrak;FavoritBLA3344;  nzkonapovUkbel2990E52853poctacavmojejpracovni. 6 4V"r^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   1XXXX    @@Vtomtozmyslemvlastnosveobecngenerickpovahu.  -$r^X` hp x (#%'0*,.8135@8:<H?AXrCZUS      1      Ӏ1XXXX1 X1XVniektorUchliterrnychprameochsatermnbzafaktovnahradzujevUrazombzadajov(dtabza).  DruhUmztUchtoterminologickUchpojmovsavakzvycajneoznacujrozsiahlezoskupeniarovnorodotruktrovanUchdajovvdtabzovUchsystmoch.Tovakniejeprpadfaktov,ktorUmijedeterminovanUproblmrieenUexpertnUmsystmomacharakterizovanUajpostupjehorieenia.VprpadeESdanapostupnezhromaiovandajespravidlanemajaniuniformnpovahu,anizaclenenieatruktru.Ichobsahovr=znorodosaformlnamnohorakosmotivujekodlinmupomenovaniu.0000'dxd y 4V"r^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   1XXXX  @&=Tovyaduje dynamick reprezentciu,  @=t.j.reprezentciumeniacichsastavovmodelovanhosveta.Table_A  -$r^X` hp x (#%'0*,.8135@8:<H?AXrCZUS      2    1XXXX1 X1X  ӀUplatujsapritomobjektovoorientovanpohady,ktorvmnohomaproximujvlastnostivUvojovho  prostrediaNexpertObject.  4V"r^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   1XXXX  Symbolovoureprezentciouobjektubude rmec ,akoidentifikovatendajovtruktra  zodpovedajcaurcitmukvantupredovetkUmopisnUchznalost.  4V"r^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   1XXXX  Reprezentujekateg;riu(mnoinu)objektov,ktormaj(zisthopohadu)spolocn  urcujcevlastnosti.Prvkamitriedy(kateg;rie,mnoiny)sbuijejpodtriedy,tedatieTOBJEKTy,alebo indivduov objekty.  -$r^X` hp x (#%'0*,.8135@8:<H?AXrCZUS      3    ݀1XXXX1 X1X  PrkladyindivduovUchobjektov:VojtechZamarovskU,autorknihyGrckyzzrak;FavoritBLA3344;  nzkonapovUkbel2990E52853poctacavmojejpracovni.  4V"r^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   1XXXX  ReprezentujejedinecnUajednoznacnesvojimidentifiktoromodlitenUobjekt,ktorUpopri  tom,ejeprvkom TOBJEKT u,m=emasmsvojeindivduovprvky scasti .Tie  samsreprezentovanIOBJEKTami.  4z"r^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   1XXXX  VzvislostinakonkrtnejarchitektreES, bzafaktov (symbolovo BF )obsahujetruk  trovanzoskupenievetkUch,aleboznacnejcastifaktovkorepondujcichstUmtoinformciami. u 4V"r^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   e3P3#b (  `@nFe ::                  ::e3S3#b (  `@JFnFe ::            ::e3J3#b (  `@# FJFe ::                     ::e3=3#b (  `@F# Fe ::  4V"r^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   1XXXX    @@ 3Vlastnos  @@(napr.hmotnos,farba,vekos,intenzita,rUchlos,vek,trvanie,charakterati.)@@usam=etUkamnostvazleitost,tedasavzahujekmnohUm@@,(I,T,S)OBJEKTom.HW  4V"r^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   1XXXX    @@= 3Objekty,  @@%popritom,esa vzjomnezacleuj ,  @@$specifikovansvojimi vlastnosamti . ! 4V"r^X` hp x (#%'0*,.8135@8:<H?AXrCZUS   1XXXX@\ Fenomn vlastnos jetie konceptom ,tedajeajobjektom.<6X9`+Courier< 9+CourierBold<6X`#"Line DrawFull26X`#(Line DrawFull-LG<6X9`+"CourierItalic3Ha`' Line Printer.b4 p`$Roman-WPType 11 p,Roman-WPBoldType 1.:9 p`0Roman-WPItalicType 1w.D9 p:Roman-WPBold ItalicType 1HGr Ap`>WP TypographicSymbolsType 1<6X9`+Courier<6X9`+"CourierItalic,<6X`#(Line DrawFull-PE-6X`#(Line DrawFull-LG< 9+CourierBoldPb>Ap`6WP IconicSymbolsAType 1A( Ap`$WP MathAType 1-?xxx,,Xx+gg{q?xxx,,/Xxqm?xxx,,fXx]k?ddd,,Xd]T ?xxx,,Xx/Tk+HHH,,H!7[C[VX[S]? T5bCbXb7W!7(7Vh76[C[X[6[C[!X[@{y.L8LVL z-L8LL #CtXt,I5IVI5u+I5IITQv*N5NN7is4ddd,,d ! s4ddd,,d/Ts4ddd,,5d]kl2HHH,,vH\{r5ddd,,dTf{,R8RR7T %CXӠ C;C=X8x8bxNC|AK`"AIP[rﳈE?0404/Nmpϟ@2BP@LL "AIP[rﳈE?0404/Nmpϟ@2BP@LL "$0 W "$  "AIP[rﳈE?0404/Nmpϟ@2BP@LL "AIP[rﳈE?0404/Nmpϟ@2BP@LL "u^CCRdd$CCdq2C28dddddddddd88qqqYzoCNzoozzC8C^dlYdYdYCdd88d8dddfCN8ddddY`g`l2CCCCdDDDCDDDdYYYYYYzYzYzYzYC8C8C8C8ddddddddddYddddcodYYYYYYYdzYzYzYzYddddddddC9C9C8C9Ndz8z8z8z8z8ddddddCCCoNoNoNoNz8z8z8dddddddzYzYzYdz8dCoNz8dddddzYC99dN3XVCYUUbmb82m8822ZZ55dd2Z8']yx]Cqb"u^NCQddȧ(CCdr2C28ddddddddddCCrrrdzNdzoȐC8CtdhdoYoYCdo8Co8odooYNCodddYO4Oh&CCCCdDDDCDDDodddddȐYYYYYN8N8N8N8oddddooooddoddddzodddYYYYoYYYYddddddooN9N9N8N9do88888ooooddȐYYYoNoNoNoNCCCooooooȐdYYYo8oYoNCddodoYN99dNVCdIId|bEEm2222ffd//dd2f2'xxxxCrx"u^((1<:A((l((<)))()))<W5W5W5W5W5kPP5I5I5I5I5(!(!(!(!WtbttYtkYbttttb5,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^>5@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[`"AIP[rﳈE?0404/Nmpϟ@2BP@LL "AIP[rﳈE?0404/Nmpϟ@2BP@LL "$  "$  "AIP[rﳈE?0404/Nmpϟ@2BP@LL "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"|qnddddfĐn×rcnksX7SNNggCCNN77//Tmmw}\"xxxxx'xxxPCCxxxxxPxxxxkkxkdddd22PPdxdxdxx`CddCCdxxddddddxxxxxxxCCCCxxxxxxxxxxxxxxddCCxxxxxdxxxxxxxxxxxxxxxxxxxxxxxdddd܅xxxxxxxxxxxxxxxxxxxxxxxxx]dxxxxxxxxxxxxxxxxxxxxPPxxxxHxxxxxxxxxV& 8Document[8]Document Style0..8` ..` V8Document[4]Document Style.. . MNOQRTUVWXYZ[\]^_`abcdefg )!  TR{6&3'6& [ALL OTHERS]  3'Tr^X` hp x (#%'0*,.8135@8:<H?AXr7XXd7CZUS  C 0  1XXXX711XXdXXd70K% L K3.0  REPREZENTCIEZNALOST0TERMOVHOTYPU "" UKCZ  VpredchdzajcomodsekusmespomenulidvazozkladnUchzloiekmodulovtvoriacichjadrokadhoexpertnhosystmu: bzaznalost ( BZ )a inferencnUmechanizmus  k (vskratke IM ).ArchitektraexpertnUchsystmovpozostvazviacerUchialchzloiek.Z V nich bzafaktov (symbolovo BF )jetiescasoujadra.MetodikanadvzujcehovUkladu A  spocvaajnauvaovantejtozloky.  KadUkonkrtnyproblmjeholepiacihoriaformulcia,ciel/erieenia,vUchodzstav,prpadneajexplicitnevymedzenohranicujcepodmienkyvzahujcesanaprpustnrieiacepostupyaoperciejevymedzenUurcitUmiinformciami,urcitUmifaktami.Pocasrieeniaproblmuspravidlapribdajnovinformcie,menovitedajeucelenejieapresnejieopisujceproblmaprostredie(svet),vktoromsariei,aleajtak,ktoropisujdoterajpriebehrieen,jehoefektvnos,spenoscinespenospouitUchoperci,predpokladov,nhradnUchdajov.d3H2"b  ` @"]d ""               ""  ArchitektraESovplyvujeajto,ci BF J>JJ:J 8#  1      ׀jeibadynamickouscasou BZ ,alebojeto : samostatnUdajovUmitruktramivytvranUdynamickUprvokarchitektry.Vobochprpadochsavakjejobsah,pokiasapouvateomneaktivujejestvujciprogramarchivcie,poukoncenrieeniaproblmuzanik.Nezvislenaskutocnomsp=sobeimplementcie BF ,  beztoho,abytoovplyvovalokorektnosvUkladu,budemevialompredpoklada,eideosamostatnzlokuES.  Potomtouveden,pokracujceclnkytejtokapitolyzameriavajpozornosnajprvnaprostriedkyreprezentcieznalosttermovhotypuansledneznalostasertvnehotypu(v M rozsahuprodukcnUchpravidiel),tedanakcovprostriedkytvorby BZ JCPJJ;PJ 8#  2      .TUmsadostvame 7 kvUznamnUmotzkamimplementacnejrovnetvorby BZ (avsvislostistUmsavUklad "r ciastocnedotkneajobsahovhonaplovania BF apostupnecelho ES .  ]  3.10  Zkladnpojmy "!""   VUchodiskovUmivUrazmis pojem,koncept,jav,entita,objekt, ktorzhadiska $# vUkladu,alenkv=linemu,budemepovaovazasynonym.Pretoichaninebudeme % $ rozliovaanajcastejiebudemepouvatermn objekt . r&!% ЇUSUKt3D0000:*&j  `@@s"t ""               ""RmcomjereprezentovanUkadUznasledovnUchnamiuvaovanUchtypovobjektov:@ 8a objekttyputrieda (oznacme TOBJEKT )  _ b3E0 b  `@x"s"b ""               ""@q <a indivduovUobjekt ( IOBJEKT )6<66F6 8#  3      ׈   b3G0 b  `@"x"b ""               ""@s 7a objekttypuscassubobjekt ( S_OBJEKT ) E b370 b  `@G""b ""                  ""Schmatickymonopsa*hA?*B dh,dd ,dd ,dd ,dd +   #!s ENTITA Y#" POJEMOBJEKT =% $ KONCEPTJAV * !'q"&cc *RMEC * +%{ $ * B$#  =% $  &8&!% &TOBJEKT(trieda)prvky:TOBJEKTy(podmnoiny)aleboIOBJEKTy  p"!   #"   #"   #" IOBJEKT(indivdum)jeprvkomTOBJEKTu,prvky:SOBJEKTy  $& $   %?!%   %?!%   %?!% SOBJEKT(subobjekt)jetypomIOBJEKTuzrovejescasouinhoIOBJEKTuaprvkomTOBJEKTu,smm=emapodriadenibaprvkytypuSOBJEKT )^$)  KadU(T,I,S)objektm=ebyscasneprvkomviacerUchtried. +I'- Ї  Naobr.3.1jeuvedenUprklad,ktorUjeilustrcioumonUchvzahovmedzireprezentovanUmiobjektami.IdentifiktoryuvedenvekUmipsmenamizodpovedajTOBJEKTom,identifiktorysozaciatocnUmvekUmpsmenomzodpovedajIOBJEKTomaidentifiktoryzostavenlenzmalUchpsmenSOBJEKTom. ̀}"bLOVEK =       `     h      p      x  & v z"ENAMU     `     h       1  @IaTUDENT     `     h        @ 9aTUDENTSTUTUDENTUKTUDENTEEU     `     h      )y @ :aTUDENTPFTUDENTMFFTUDENTFF     `     h     @4aTUDENTMATUDENTNMTUDENTUITUDENTMIKONbATINA    h   Z @:@aJnPeterEvaKata     `  %u 0  0""0` ""RUKA ` "` "      `    "! ЀrukaJnrukaPetertrupPeternohaPeter̀  $#      `    krkPeterhrudnkPeterbruchoPeter  m&!% @HaObr.3.1  SymbolovU(linerny)prepis'hierarchickej siete 'zobr.3.1sadvyjadrinaprkladv +3'+ nasledujcejpodobe: .). Ї   krkPeter{(je_casou:trupPeter)};    hrudnkPeter{(je_casou:trupPeter)};  bruchoPeter{(je_casou:trupPeter)};  ruka_Peter{(je_casou:Peter),(je_prvkom:RUKA)}; d   ruka_Jn{(je_casou:Jn),(je_prvkom:RUKA)}; F  0  trup_Jn{(je_casou:Jn)};hlava_Jn{(je_casou:Jn)};( x""   trup_Peter{(je_casou:Peter)};hlava_Peter{(je_casou:Peter)};  Z  0  RUKA{(je_podtriedou:KONbATINA)};< "" 0  Jn{(je_prvkom:TUDENT_NM)};Eva{(je_prvkom:TUDENT_NM)}; "" 0  Peter{(je_prvkom:TUDENT_UI,MU)}; "" 0  Kata{(je_prvkom:TUDENT_UI,ENA)}; "" 0  TUDENT_MA{(je_podtriedou:TUDENT_MFF)};"" 0  TUDENT_NM{(je_podtriedou:TUDENT_MFF)};{"" 0  TUDENT_UI{(je_podtriedou:TUDENT_MFF)}; "" 0  TUDENT_MI{(je_podtriedou:TUDENT_MFF)}; ""   TUDENT_MFF{(je_podtriedou:TUDENT_UK)}; o 0  TUDENT_UK{(je_podtriedou:TUDENT)};Q""   TUDENT{(je_podtriedou:bLOVEK)}; 3 0  ENA{(je_podtriedou:bLOVEK)};MU{(je_podtriedou:bLOVEK)}; "" Tentolinernyzpissadzoveobecninapr.donasledujcejpodoby: IDENTIFIKTOR_RMCA{(identifiktor_rubriky:hodnota_rubriky), x   y#!      ` 0 0 " "(identifiktor_rubriky:hodnota_rubriky),b$"""      `     񀀀 ...}  K% # Vpresnejom(ajkeiniedetajlizovanom)BNFvyjadrenpeme RMEC::=IDENTIFIKTOR_RMCA{TELO_RMCA} (?$' IDENTIFIKTOR_RMCA::=REAZEC|Reazec|reazec{TELO_RMCA}::=(telo_rubriky)|{TELO_RMCA},(telo_rubriky)telo_rubriky::=identifiktor_rubriky:hodnota_rubrikyidentifiktor_rubriky::=reazechodnota_rubriky::=hodnota|hodnota_rubriky,hodnota  |-(, Poznmka:Obauvedenzpisybudpostupnerozren. N/*. Ї  Keisapociatocntruktrasietermcov,t.j.poctyrmcovavzbymedziniminemenia,meniasaibapoctyrubrk(zvaovanUchvlastnost)akonkretizujsaichhodnoty,hovormeb350 b  `@ "b ""               ""  bastojevakpotrebnrieiajproblmy,prektorniesvopreddanaspoznanvetkyobjektyreprezentovanhosvetaaniichvzjomnvzahy.TypickysatotUkalohgeneratvnychasyntetizujcich(napr.keisazostavujeplnurcitejcinnosti,vytvrareprezentacnmustvo,cikeisakontruujenovU,etenejestvujciatedanereprezentovanUobjekt).VtedyjenevyhnutnrtastUm,eobjektym=u+0  savyskytovavr=znychcasovomeniacichrelcich(vzahoch), "" +0  vpriebehurieeniaproblmuvznika,modifikovaarui. "" b3@0 b  `@" "b ""            ""VnejjeprpustnnaprkladpreradizaclenenieIOBJEKTuzjednhodoinhoTOBJEKTu,zcohoprirodzenevyplUvapotencilneradmnohUchialchzmien. 3.20  Vlastnostiobjektov "" GH% 6 HGt3I0000:*&j  `@@O.""t ""                                                            "" .*. Ї Generickvlastnos   *0  niejenositeomiadnejhodnoty, "" *0  muniformnposlanievrozsahucelhoreprezentovanho(modelovanho)sveta,t.j.  vrozsahucelejBZ. o"" Vlastnosjevtruktrermcareprezentovanrubrikou.Rubrikaje nositeomvlastnosti a A   zroverezervcioupamovhomiesta ,doktorhosa vkladhodnota danejvlastnostid. , | D:(Jestvovaniedanejvlastnostiajejhodnote,pokianiejelenpredpokladan,hovorme fakt ).Vlastnosmtedasvojepomenovanie(identifiktor)aajvlastn (meta)vlastnosti .  P  Metavlastnos tvor vzor (formu,abl;nu󀄂template,facet),ktorUurcuje  ;  *0  kardinalituhodnotyvlastnosti(KD) , & "" *0  dtovUtyphodnotyvlastnosti(DT) , "" *0  sp=sobnadobdaniavlastnosti(ZV) , "" *0  sp=sobnadobdaniahodnotyvlastnosti(AP) c(rozliujemevlastnosajejhodnotu) "" *0  akcie,ktorsamusiavykonaprizmenehodnotyvlastnosti(AZ) . ""  Konkrtnavlastnos vznikpriradenmgenerickejvlastnosti(T,I,S)OBJEKTu. TUm V povinnenadobdaajkardinalituadtovUtyp zodpovedajcejmetavlastnosti,nievak A sp=sobnadobdania,resp.dedeniahodnotyvlastnosti(pozrivialom). ,| Metavlastnostisreprezentovanmetarubrikami.Ichobsahomspecifikcie kardinality, O dtovhotypu , predpisovosp=sobochnadobdaniahodnotyrubrikyad=sledkovvyplU : F 5 FvajcichzprpadnUchzmienichhodnoty .Metarubriky % *0  umoujpridvakreprezentcideklaratvnychznalost implicitnepouvan  procedurlnezloky:situacnevyvolvanakcie ,"" *0  s dediten, pretojevUhodnvr=znychhierarchichpecifikovaichvco   najveobecnejej pozci.""  Kardinalitavlastnosti (KD),akoubolouveden,urcujeprpustnUpocethodn=tvlastnosti: U  jedinniekoko .(Naprkladvlastnostiakousvha:,vUka:,rodn_cslo:../../.../....,pripajibajedin @ hodnotu,kUmvlastnostiakoje_podtriedou,je_prvkom,rodicia:,srodenci:navtevovan_prednky:,,priatelia:,zujmy:,predpsan_lieky:,apod.svlastnostipripajceviacnsobnhodnoty.)  <  DtovUtyp(DT) charakterizujeaohranicujehodnoty,ktorvlastnossmienadobda: "! *0  prirodzen,cel,relne ,alebo komplexncslo bezalebosurcitUmohranicenm #" (ohranicenUmisnapr.hodnota,ktorsmienadobudnplanrnyuhol,pravdepodobnos,trigonometrickfunkcia l$# ati.),-%} $"" *0  cselnUinterval (povaujesazadajkardinality1),&f!%"" *0  cas (vzmysleusporiadanejpostupnostizoskupenUchcslicspriradenoucasovoujednotkou,prektorplatia 'Q"& liacesapravidlperiodicity),'<#'"" *0  dtum (podobnvlastnosti,akovpredolom),(%$("" *0  sradnice (vektor,opakohodnotaskardinalitou1,t.j.chpesaakojedinUdaj,hocisaskladz )%) postupnostidajov),*%*"" *0  pravdivostnhodnota (boolovsk,viachodnotov),+&+"" *0  reazec (ubovonU,mnoinapredefinovanUchvUrazov,vzorkareazca).,',"" Keisavlastnostiprirad dtovUtyp ,tenjeplatnUprecelBZ! S.).  >/*/ MedzivlastnosamijevhodnvyclenijednsosobitnUmpostavenm.Nazvimeju celok .  Osobitnostejtopecifickejvlastnostispocvavtom,enarozdielodibaurcitejindivduovejvlastnostireprezentovanejentityintegrujehodnotyinUchjejvlastnost, vzahujesanaentitu  akonacelok .HodnotatejtovlastnostijevUsledkomurcitho celkovho(vUslednho) o hodnoteniaobjektu .(Naprklad,keijereprezentovanUmobjektomvtk'sova',hodnotarubrikycelokvyjadruje Z skutocnos,esavproceserieeniaproblmu(hadaniaodpovedenaotzku)podarilorelneskmanUobjektidentifikovabuipozitvnealebonegatvneatobezohadunadruh,farbu,vekos,hniezdenieati.sovy.)  V Nahodnoturubriky celok sapotommonoodvolvanajmvsvislostisrozhodovanmvo   vetviacichmiestachrieiacehoprocesu.ZvUnimocnostipostaveniatejtovlastnostivyplUva,esanaunevzahujepoiadavkauniverzlnejplatnostijejdtovhotypu!Metavlastnosvlastnostimprirodzenesvojproajokvmetarubrike.RozrimepredchdzajciBNFzpisapeme telo_rubriky::=identifiktor_rubriky:[metarubrika]hodnota_rubriky  :   metarubrika::=(identifiktor:hodnta)|metarubrika,(identifiktor:hodnta) # identifiktor::=KD|DT|ZV|AP|AZ    Zniovanienrokovnapamovmiesta,naprcnostvorbydeklaratvnehoprogramu(BZ)apovahaproduktvneho(situacnho,voprednepredvdatenho)rieeniaproblmovvyadujeposkytovanieapouvanieprostriedkov,ktorumoujconajvciuefektvnosprizabezpecovansvisiacichpoiadaviek.Vtomtokontextesavnasledujcich(pod)kapitolchzaobermevlastnosamiobjektov,sp=sobamiakotietonadobdajhodnotu,d=sledkami,ktorm=uvyplynzozmientUchtohodn=t,dedenmmetavlastnost,vlastnostaichhodn=t. 3.30  Hodnotavlastnostasp=sobyichnadobdania &"" 3.3.1pecifickainicilnehodnotyvlastnost  Zavediemenajprvdvepecifickhodnoty:TABULKA NEZISTEN .}" NEZNMA . N"! Absenciaobsahu(hodnoty)k" hodnota u bolazisovan , 9#" prslunejrubrikyek"avak,nezvisleodprciny $$t# zodpovedmuurcitUsymbol|o" nepodarilosajuurci .  %] $ (hociajprzdnyznak)  Keisaproblmzacnariei,t.j.keisainicializujecinnosESavyuvaniezodpovedajcejBZ,obsahyjednotlivUchrubrkrmcov(hodnotyvlastnostobjektov)buiv=becniesznme,alebosznmeibaciastocne.Jetoprirodzen,lebovinicilnomstaverieenianetandardnhodnotyvlastnost,ktorUmisapecifikujekonkrtnerieenUproblm,nemohlibyetezisovan.Pretotedaprevnavcinahodn=trubrkjeinterpretovanvzmyslehodnota NEZISTEN . W,', Reazec NEZISTEN povaujemevialomvUkladezapecifickrezervovanslovopre +.{). hodnotuvlastnosti.AkozvyieuvedenejdefincievyplUva,rezervovanslovo NEZNMA  /f*/ sasvojimvUznamomjednoznacneodliujeodpredolho.pecificitaobochuvedenUchhodn=tspocvavtom,eichvUskytazmenasadpouinasituacnvyvolaniezodpovedajcichosobitnUchakci(pozriodsek3.3.3a3.3.4). Inicilnehodnoty vlastnoststie,ktorsznmeunazaciatkurieeniaproblmu(spred =  F   Fdefinovan).VdanejproblmovejoblastizodpovedajveobecneplatnUmpoznatkomaplatFFnUmohraniceniamvyjadrenUmkonkrtnymihodnotamivlastnostvrubrikchrmcov(napr.naptie_spotrebica:220V,tvar_ozubenho_kolesa:celnU_ikmU,dorozumievac_jazyk:anFFglickU,povolen_maximlna_rUchlos:110km/hod,maximlna_hodnota_istica:10A,nosFFnos_mosta:3.5tapod.).ZhadiskaspornhovyuvaniapamteniejevUhodnvkladaznmeinicilnehodnotydovetkUchrubrkreferencujcichprslunvlastnos.PredovetkUmvtedykeivBZsreprezentovanr=zneobjektystouistouvlastnosouajinicilnouhodnotou.Naprkladr=znecelovoafunkcnesaliaceelektrospotrebicena220V,alebor=znesekydialncsrovnakoupovolenoumaximlnourUchlosou,povedzme110km/hod.Stactotiuchovvatietoinicilnehodnotyibarazvjedinompamovommieste.Avcasezbiehaniaprogramu,keisareferencujekonkrtnarubrikastakouhodnotou,nahradsavprslunejrubrikep=vodnysymbol NEZISTEN zodpovedajcouinicilnouhodnotou.Skutocnos,esataktohodnota M uplatnvrubrikeavcasezbiehania,hovorsajej vykonvaninicilnahodnota (vanglic 8 F 6 Ftine"runtime"value).Vmetarubrikchvlastnost safakultatvnem=euviestzv. nhradn (tieocakvatenci  predpokladatenvanglictinedefault)hodnotavlastnosti.Jetotiepreddefinovanhodnota,  ktorsanezvzneuplatujeibakeibymalavlastnosnadobudnhodnotu NEZNMA . z (Pozriviaom.)3.3.2Sp=sobynadobdaniahodn=tvlastnost  p Vmetarubrikchvlastnost,jestvujepoloka,ktornazveme akpotrebn.prioritazdrojov .  C Vnejsafakultatvnem=uuviesr=znesp=sobynadobdaniahodnotyvlastnost,keisatietovcasezbiehaniareferncuj.Keietietosp=sobysvdyvzjomneusporiadan,hodnotametarubriky akpotrebn obsahujepostupnosoperci,ktorsanazUvaj priorityzdrojov . #" Dovahyprichdzajnasledovnmonosti:*0  tadardnUpredpisprevytvorenUexpertnUsystm,m&!%"" *0  tandardnUpredpisprebzuznalost,V'"&"" *0  predpispregenerickvlastnos,?(#'"" *0  predpisprekonkrtnuvlastnos.()x$("" Uvedenusporiadaniepostupujeodveobecnejiehokpecifickejiemucinku.Jeprpustn,jeajvUhodn,scasnkoexistenciavetkUchuvedenUchdruhovpredpisov.Platpritomzsada,ekadUpecifickejmvyiuprioritu(cinnos)akoveobecnej.VUhodnosspocvavsporepamtiaprogramtorskejprce:pokiavyhovujeveobecnej .). predpis,niejehopotrebnopakovaneuvdza.   Prioritazdrojov (skrtene PZ ),akopredpissp=sobunadobdaniahodnoty,keijedefinovan  pregenerickvlastnos,tvorpredpisnadobdaniahodnotykonkrtnejvlastnostivrubrike m konkrtnehormca.Uplatnsavtedy,keijereferencovanazodpovedajcahodnotajeete W  NEZISTEN ,pricomniejepreudefinovaninicilnahodnotavcasezbiehania. @  Obsahomrubriky PZ jezoznamakci,ktorsamajvykonanaurceniehodnotyprslunej  d vlastnosti,vtedykeijettopotrebn.Akciamim=ubynaprklad:*0  odvodeniehodnoty nazkladezodpovedajcichprodukcnUchpravidielalebo  8  pecifikovanUchvUpoctovUchprocesov, "" *0  nactaniehodnotyzexternhozdrojadajov (povedzmezdtabzycipecifikovanho   sboru)alebovyrovnvacejpamtizodpovedajcehoonlinezariadenia, "" *0  zdedenie(prevzatie)hodnoty zinhormca, "" *0  pouitienhradnhodaja ,{ "" *0  predloenieotzkypouvateovianactaniejehoodpovede f "" aprpadnein.Jednotlivakciesavykonvajpostupnevporadakosv PZ uveden(poradiemono #s povaovazatandardnurceniepriorityakci).Poprvejakcii,ktorumonzskahodnotuvlastnosti,sauviachakcichzozoznamunepokracuje(tzv.McCarthyoalgoritmus).  3.3.3Referencovanienezistenejhodnotyvlastnosti  Nazisovaniehodnotyrubriky,ktorejobsahjeNEZISTENmonopouinapr.nasledovnUalgoritmus:(1)0  AK0` ""jereferencovanhodnotarubriky,ktormvosvojejmetarubrikedefinovan T PZ, ` "` " 0  0""TAK0` ""skokna5& v` "` " 0  0""INAK0` ""skokna2!_` "` " 0  0"" "" (2)0  AK0` ""zodpovedajcarubrikanajbliiehonadradenhoOBJEKTumvosvojej "1! metarubrikePZ, ` "` " 0  0""TAK0` ""prevezmi(zdei)jejobsah,pouihoakovlastnPZaskokna5$ #` "` " (3)0  AK0` ""hodnotarubrikyjed=sledkovoucasouniektorhoprodukcnhopravidla,&!%` "` " 0  0""TAK0` ""(sptnUmreazenmpozrivialom)odvoiprslunhodnotu,n'"&` "` " 0  0""0` ""AK0 ` "` "hodnotabolaspeneodvoden,W(#' " " 0  0""0` ""TAK0 ` "` "skokna7@)$( " " 0  0""INAK0` ""skokna4)*y%)` "` " (4)0  AK0` ""hodnoturubrikymonozskadedenm,+K'+` "` " 0  0""TAK0` ""jupodaurcenejstratgie(pozriviaom)zskajzhoraalebozdola,,4(,` "` " 0  0""0` ""AK0 ` "` "hodnotabolaspenezskan,-)- " " 0  0""0` ""TAK0 ` "` "skokna7.*. " " 0  0""INAK0` ""pouiakobybolvlastnUtandardnUpredpis(platnUvBZ,resp.ES)askokna  5 ` "` " (5)0  VykonajpostupnosakcizPZpocncprvoukUmsanazisthodnotarubrikyk"" 0  0""AK0` ""sanepodarilohodnoturubrikyurci,T` "` " 0  0""TAK0` ""skokna6,= ` "` " 0  0""INAK0` ""skokna7& v` "` " (6)0  OpUtajsanahodnotupouvatea H"" (7)0  Koniec  "" AlgoritmytototypuaposlaniasanazUvaj met;da .Uplatujsasituacne,t.j.keivznikne   potreba.Procedrazodpovedajcaprveuvedenejmet;desauplatujekeijepotrebnzistiurcitete nezisten hodnotuvlastnosti.SituacnespanprocedrysanazUvaj dmony . p  Vdanomprpadesajednotzv. AKPOTREBNT (vanglictineIFNEEDED)dmon,ktorej [  zodpovedspaciasitucia: akdajjepotrebnU ajenezistenU. F Zalgoritmujezrejm,evcinnostitohtodmonazohrvavUznamnlohu PZ .ZvUen j prunosrieitenostiproblmusaddosiahnajtUm,evproceserieeniasdynamickymeniten priority > *0  akcivPZ,)"" *0  produkcnUchpravidielpouitenUchnaodvodzovaniehodnoty,"" * 0  (prpadneajstratgiepozriviaom) dedenia,"" *0  odvodeniahodnotynazkladeprocedury (napr.ajakciouvnzlokeprodukcnho  pravidla). "" Najfrekventovanejiesauplatujzmenypriortodvodeniaadedenia.Umoujto rubriky S priortodvodzovania(inferencie)adedenia vmetarubrike(metavlastnosti). > JevUhodn,keirubrikapriorityodvodzovaniasaskladzdvochpoloiek  b  *0  priamahodnotapriorityodvodenia 󀄀spravidlaurcenprirodzenUmcslom,vniektorUch !5  systmochajcelUm(tedaajzpornUm)cslom,pricomjepecifikovan,ebuijehonarasFFtajcejhodnotezodpovednarastajcaaleboklesajcapriorita, "" *0  nepriamahodnotapriorityodvodenia ,ktorjetvorenodkazomnaurcitrubriku $# urcitho(pracovnho)rmca,povedzmeR.r,akonositekyhodnotypriorityodvodenia. "" TENTOTEXTMODIFIKOVANTPRESUNBNAVYZNAbENMIESTOVYIE!!PrepotrebyiaiehovUkladuzaveimedohovor:NarubrikurmcabudemeodkazovaidentifiktoromtvorenUmzdvochcastoddelenUchbodkou.ZlokapredbodkoubudezodpoFFvedaidentifiktorurmca(aspoprvUznakidentifiktorabudepsanUvekUmpsmenom)azabodkouidentifiktorurubriky(uvdzanUmalUmipsmenami).Napr.Rmec_1.rubrika_7,R.v,XXX.yyyapod.Princpmet;dyodvodzovaniam=ebynasledovnU: .). *0  AkR.rmhodnotu(nepriamahodnotapriorityodvodenia),taktsastvahodnotou  priority. "" *0  Aknemhodnotu,alebotneboladeklarovan,taksanezisuje,alesapouijehodnota  priamahodnotapriorityodvodenia.l"" *0  Akpolokapriamahodnotapriorityodvodenianiejedeklarovanalebonemobsah,tak V sapouijetandardnepreddefinovanhodnotapreBZalebosystm. "" Obdobnejetosrubrikouprioritydedenia,ktorsatiezvycajneskladzdvochpoloiek*0  priamahodnotaprioritydedenia ,ktorjeurcenspravidlaprirodzenUmcslom,  4  zriedkavejiecelUmcslom,pricomsapresystmzvoljednazdvochalternatv:cmvyia/niiahodnota,tUmvyiapriorita(vobamusbyidenticksvoboutohtovzahupriprioriteodvodzovania), "" *0  nepriamahodnotaprioritydedenia ,ktorjetvorenodkazomnaurcitrubrikuurcitho   rmcaakonositekyhodnotyzodpovedajcejpriorite(medzihodnotouaprioritouplatrovnakUajednotnUvzahakovpredolomprpade). "" Princpmet;dydedeniajeanalogickU:*0  AkR.rmhodnotu(nepriamahodnotaprioritydedenia),taktsastvahodnotoupriori R F J Fty. "" *0  Aknemhodnotu,aleboneboladeklarovan,taksanezisuje,alepouijesahodnota % priamahodnotaprioritydedenia."" *0  Akpolokapriamahodnotaprioritydedenianiejedeklarovanalebonemobsah,tak  sapouijetandardnepreddefinovanhodnotapreBZalebosystm. "" VUznamnepriamejhodnotypriorityodvodzovania,resp.dedeniaspocvavtom,evpriebehu d cinnostiESjejednoduchsituacne dynamicky meniobsahrubrikyrmca,ktorjenositekou N hodnotypriority.Vyuvanietejtodanostiumoujemenitandardnepreddefinovanpostupyzskavaniahodnotyvlastnost(akoajpostupy,ktorsd=sledkomichprpadnUchzmien).Nastavenieobsahovpolokypriamejhodnotypriorityodvodzovania,resp.dedeniaumouje  [  staticky meniaplikacnenevyhovujcetandardnpriority.Vobochprpadochsajedno  E adaptovanieBZ,resp.ESpodapotriebkonkrtnejaplikacnejoblasti.3.3.4D=sledkyvyplUvajcezozmenyhodnotyvlastnosti $# VpriebehucinnostiESm=esituacnedochdzakzmenehodnotyniektorejrubriky.Takzmenam=eopsituacnevyvolapotrebur=znychnadvzujcichakci.Obsleniezodpovedajcichjavovsadzabezpecitieprocedroutypudmon,ktorUsaspust akdaj @(#' jezmenenU .Naznaktoho,esajednodmonreagujcinazmanuhodnotyrubriky +){$( (vlastnosti),nazUvasa AKZMENENT (akronym AZ, vanglictineIFCHANGED)dmon. *f%) Postupnosakci,ktorUchvykonvaniezabezpec,jepodmienentypomzmenyhodnotyrubriky.Keid=jdekzmenetypu*0  NEZISTEN na zisten (tedakeisanovUdajdodvangl.literatresareferencuje .). zodpovedujcapecializcianamiuvaovanhodmonanzvomIFADDED),vtedy AZ   kontrolujepotencilnynesladhodnotysjejdtovUmtypom(naprpadnUneslad  upozornaumonopravu)akoajkonzistentnoshodnotysujestvujcimifaktami  (detekciaprpadnejnekonzistentnostivedietiekupozorujcejsprveamonostipravy o vzjomnenekonzistentnUchdajov), "" *0  NEZISTEN na NEZNMA ,vtedy AZ m=esituacnezabezpecinapr.vUberavobu * z inejmet;dycipostupurieeniaproblmu,alebonahradenieneznmej(nezistitenej)hodnotyvlastnostivUberomvhodnejpredpokladatenej,avaknezvznejhodnoty,  N prpadneajincinnostipodainvencietvorcusystmu, "" *0  znmej (zistenejalebonhradnej)hodnotyna znmu ,avak inhodnotu ,vtedy AZ    akciebymalipropagovad=sledkyvyplUvajcezdetekovanejzmeny,napr.pravyinUchhodn=tvostatnUchrmcoch,pokiassozmenenouvurcitejvzbeavzniklabynekonzistentnossujestvujcimifaktami(ajpredpokladatenUminhradnUmidajmi),prirodzenepredtUmjenevyhnutn,abysaodstrnilakUkovekpotencilnynesladdtovFFhotypu. "" 0  0"" "" AZzodpovedzoznamuakci,ktorsamajvykonaprizmenehodnotyrubriky(ichvykonaniem=ebypodmienensplnenmpecifikovanejexplicitnejaleboimplicitnejpodmienky).Pritomplat: akcie,ktorspecifikovansavykonajvdanomporad,a S pokiaspodmienen,ibaprisplnenprslunejpodmienky,hneipodetekovanejzmene . > PrededenieAZ,t.j.pridedenmetarubriky(pozri3.4.2ansledne)jeprpustnpecifikova,eprizmene(prestaveni)hodnotyrubrikynaNEZNMA,zmenanepodliehaAZakcim. PretvorcuBZjevemid=leitmanapamti,eAZakciesprostriedkomudrovania } vzjomnejkonzistentnostifaktovpriichzmench. Naprklad,keisadetekuje,ehodnotarubriky f teplotavrmci,ktorUreprezentujeuzavretUfyziklnysystm,sazvUi,potomsamushodnotarubrikytlakvtomto Q rmcitiebezprostrednezvUi. c Trebamanapamtitieto,eprimodelovanrealityvpriebehucinnostiES, AZakcie   m=uvyvolarozsiahlesekvencieprocesov .    3.40  Dedenieazodpovedajcestratgie e#""" HierarchickUmtruktrovanmrmcovmonoreprezentovaviacerdruhyvzahovmedzireprezentovanUmiobjektami.Najcastejiesastretvamesrelciouveobecnejiehokpecia  'Z"& F Z.). Flizovanejiem.M=evaksajovzahypredchodcuknslednkovi,nadradenhokpodrade 'D#' F D/*/ Fnmu,alebocelkukcasti.Zosyntaktickhohadiska(zvca)tUmiistUmitruktramisa (.$( reprezentujsmantickyodlinzleitosti.SmantickodlinosreprezentovanUchvzahovsazabezpecujeichodlinouprocedurlnouinterpretciou.Okreminhoajsp=sobomdedenia(prenosu,prisvojenia)r=znychtypovdajovmedzihierarchickytruktrovanoureprezentciouentt.Atribty(t.j.vlastnosti)avlastnostitUchtovlastnost(metavlastnosti)nadradenho(vzmyslehierarchickyvyiezaradenho)OBJEKTusatUmpotencilnestvajatribtmipodFFriaFFdenUch(T,I,S)OBJEKTov.Podriadenobjekty,pokiamajviacnadradenUch,m=uzskavaatribtyzovetkUchznich. >/*/ Ї Hierarchicktruktrovaniemibavtedyzmysel,keipodriaden,t.j.pecifickejie  objekty,majvporovnansnadriadenUminiektoratribtynaviacaleboin .Uvaovan  truktrovaniesaponmatak,espolocnatribtypodriadenUchobjektov"sakobyvybratpredztvorku"aumiestnenvnadradenomobjekte.Hierachizovantrukturalizciaobjektovreprezentujcichtermovznalosti,okremtoho,ejereflexiou hierarchickUchtaxon;mi a V  generalizacnopecializacnUchzvislost ,jevUhodnajzspornUchaspoahlivostnUchd=vo A  F s  Fdov: , | 0  zniujenrokynapamajrozsahprogramtorskUchcinnostazrovezvyuje  e konzistentnosatUmajspoahlivosvytvorenejBZ . N"" TtoprednossauplatujetUm,esystmzabezpecmedzinadradenUmiapodriadenUmiobjektami dedenie    *0  vlastnost ,t.j.dedenierubrkvzmysleidentifikovatenUchpamovUchmiest, "" *0  metavlastnost ,t.j.metarubrk,ktorsnositemiinformcioimzodpovedajcich   vlastnostiach,sp=sobe,ktorUmnadobdajhodnoty,ad=sledkoch,ktorvyplUvajzichzmien( PZ a AZ ),e "" *0  hodnotyvlastnost ,t.j.obsahurubrk.O"" 3.4.1Dedeniehodn=tvlastnost  \ Vproceseodvodzovania(rieeniaproblmov)zohrvajkcovlohuprodukcnpravidl!SmnohaplikcieES,vktorUchsadvystacilenstUmitopravidlami,vmnohUchbytovakneboloaniefektvneazpraktickhohadiskaanimon.KeisymbolyvystupujcevzlokchprodukcnUchpravidiel(semaf;r,podmienkypredpokladujadra,d=sledokaakcievakcnejcasti)svlastneodkazovanmnahodnotuvlastnostientt(rubrkrmcov),symbolovreprezentciaznalostajejvyuitenossavUrazneazmnohUchaspektovpodstatnUmsp=soFFbomobohacujeazefektvuje.Mnostvo poznatkov satakdreprezentovaprirodzene, > sporne,prehadneazrozumitenebezpotrebyich vyjadreniaareprezentovaniavaser )y F ['"& Ftvnejpodobe,t.j.produkcnUmipravidlami .Symbolidentifikujci(odkazujci,  d referencujci)vlastnosreprezentovanejentitym=evystupova*0  ako d=sledokjadraprodukcnhopravidla :vtedyjehodnotavlastnostiurcovantakUmto "!! pravidlom,vrtaneajtUch,ktorsavnadvznostisnim(sptnUmreazenm)aktivuj, "" *0  v podmienkepredpokladujadraprodukcnhopravidla :podmienkasapropozicne $# vyhodnocujevzhadomnahodnotuvlastnosti, "" *0  ako podmienkavsemaf;reprodukcnhopravidla ,y&!%"" *0  ako podmienkaakciealebovprkazeakcnejcastiprodukcnhopravidla .d'"&"" PrvUzuvedenUchprpadovnembezprostrednUsvissdedenm.ZaobermesasnimpodrobneavkontexteprodukcnUchpravidiel.VostatnUchprpadochsauplatujrovnakprincpydedeniahodn=trubrk,ktorUchuvedenienasleduje.  +Z&* Nechsavpriebehurieeniaproblmureferencujehodnotarubriky,povedzme R.a .Vslade ,-(, svyieuvedenUm,kreferencovanium=ed=js .*. *0  vpredpokladejadrapravidlaalebovpodmienkeakcievakcnejcasti,kdesavyskytje  naprkladvelementrnejpodmienke(povedzmetvaru R.a>5 ),"" *0  vsemaf;repravidla,vktoromjeodvolvkana R.a ,"" *0  vprkazeakcnejcastipravidla,keisavomuvaovanrubrikavyskytujenaprkladv o priraiovacomprkaze(povedzmetvaru R.c:=R.a*R.b ).X"" Keijehodnotarubriky a  NEZISTEN ,taksapostupujepoda PZ zozodpovedajcejmeta , | F b  Frubriky.( PZ m=ebybuiloklna,t.j.definovanpecifickypreR.a,dedenpozrivialom,alebotandardne  g platnpreBZalebosystm.)Kei PZ obsahujededeniehodnotyvlastnosti,vtedy,vzvislostina  P prveplatnUchprioritch,m=ed=jskdedeniuprslunejhodnoty.Akkdedeniud=jde,postupjenasledovnU:TOBJEKT(nadtrieda)>TOBJEKT(podtrieda)>IOBJEKT>SOBJEKT.   Platpritompravidlo:0  kdedeniuhodn=t (narozdieloddedeniavlastnost) dochdzaibakeisahodnotareferencuje! a "" Keisapridedenhodnotyznadradenhormcazist,etentovprslunejrubrikemhodnotuNEZISTENT,m=unastadvaalternatvneprpady:*0  spustsaproceszskavaniaprslunejhodnotyprenadradenUrmec,>"" *0  vyberiesaianadradenUrmecrovnakejrovnenadradenostiapovycerpanvetkUch ' takUchmonost(pozriviaom)pokracujesapodaobsahuPZ. "" Natrivilnomprkladedemontrujemepriebehdedeniahodnoty.MajmeTOBJEKTsnzvomTUDENT_MFF.Nechzodpovedajcirmecobsahujerubrikuznalos_cudzch_rec.Pokia { byplatilo,ekadUposluchcMFFovldaanglictinu,takhodnotoutejtorubrikybybolaanglictina.GenerickUrmeczodpovedajciuvaovanmuTOBJEKTubymoholmanapr. N nasledujcupodobuTUDENT_MFF{....(prospech:),(pecializcia[PZ]:),(rocnk:),(znalos_cudzch_rec[PZ]:anglictina)....}kdejednotlivtypyztvoriekpouvamevloheoddeovacchznakovsnasledovnUmvUznamom:̄ {} 0  prezoznamrubrk,*F&*"" Є [] 0  premetarubrikudanejrubriky(vilustracnUchprkladochuvaujemelensymbolPZ),symbol :  +1'+ vtUchtoztvorkchjeoddeovacommedziidentifiktoromrubrikyvmetarubrikeajejhodnotou, ""  ℀ () 0  prekonkrtnurubriku,zajejnzvomfakultatvnenasledujejejmetarubrika(vztvorkUch .).  [] )aobligat;rnyznak : ,zaktorUmnasledujejejhodnota.""  NechrmecsidentifiktoromPeterjeIOBJEKT,ktorUjeprvkomTOBJEKTu  TUDENT_MFF.Nechjejehopodobapredreferencovanmvlastnostiznalos_cudzch_rec n nasledovn X Peterje_prvkomTUDENT_MFF  c {.....(znalos_cudzch_rec:NEZISTENT)....}Kebysaprirozhodovanotom,civyslaPetranazahranicntdiumvanglickyhovoriacejkrajine,pouilopravidlo(vpredpokladejepodmienka,ktornsvtomtoprkladezaujma) [  AK -} 0  ...&Peter.znalos_cudzch_rec=anglictina&... "" TAK0  Peter.kvalifikcia_pre_zahranicn_tdium:vyhovujca,8"" jehovyhodnoteniebyvyadovalopoznahodnoturubrikyPeter.znalos_cudzch_rec.KeiehodnotourubrikyjeNEZISTENT,spustsaAK  F !+  FPOTREBNTdmon.RubrikanempecifikovanvlastnPZ,pretosauplatnstratgiadedeniahodnotyzkorepondujcejrubrikynadradenhormca.PodedenmmePeterje_prvkomTUDENT_MFF 2 {.....(znalos_cudzch_rec[PZ]:anglictina)....}.TentotrivilnyaextrmnejednoduchUprkladslilennaozrejmenietoho,e@' 4a hodnotavlastnostisadedibaprireferencovan . z% $ Hocidedeniehodnotyvlastnostiznadradenho(veobecnejieho)rmca,t.j. zhoranadol  N'"& jevemiuitocnstratgiadedenia,niejevdyiadca.Napr.keihodnotavlastnostiϐznalos_cudzch_recjevrmciTUDENT_MFFanglictina,zrejmeniejeuitocntto ")r$( hodnotuautomatickydedidovetkUchIOBJEKTovpatriacichdotejtotriedy.3.4.2Dedenievlastnost ,(, Prededenie vlastnosti sapouvatandardnstratgia: .).  /*/ 8  8   Vlastnossadedznadradenhormcadopodradenhormca,nievak  zIOBJEKTudoSOBJEKTu,lenco  8  8   *0` IOBJEKTaleboTOBJEKTjepriradenUnadradenmuTOBJEKTu,  ktorUumsvojevlastnostidefinovan, ` "` " 8  8  *0` sanadradenmuTOBJEKTupriradnovvlastnos. T` "` " 8  Keirmec,doktorhosadedobsahujevlastnossrovnakUmidentifiktorom & v akovlastnosvnadradenomrmci,uvedenstratgiasaneuplatn.  _   Dedenieujestvujcejvlastnostijejednakzbytocnajednakm=esp=sobistratuinformcieod=vodep=vodnhodefinovaniatejtovlastnostiakoajoprpadnUchd=sledkoch,ktorznejvyplUvaj(tUkasatonajmdynamickUchzmienvziebmedzirmcamipozriviaom).(KeievmnohUchaplikcivhtaktotandardnstrargiadedenianiejevyhovujca,jepotrebnumonitvorcovi   BZpodapotrebyjumodifikovapozriviaom.) F  Bcinoktandardnhopostupumonodemontrovanaelementrnomprklade:MajmenajprvTOBJEKTbezakUchkovekvlastnost.NazvimehoTUDENT.NechjehopodriadenUrmecreprezentujeIOBJEKTsnzvomPeter.KeiermecTUDENTnemdefinovaniadnevlastnosti,anirmecPeter,pokiasmnemdefinovanvlastnosti,ichnebudema.MmetedaPeterje_prvkomTUDENT. 8 AkonhlesavakvrmciTUDENTdefinujevlastnos,povedzmeprospech,tedakei  [ vzniknermecTUDENT{(prospech:)},dedsattovlastnosajdormcaPeterPeterje_prvkomTUDENT_MFF &_!% {(prospech:)}.Pripostupnomvytvran BZ ,menovitekeisapecifikujenov vlastnos (T,I,S *%* F T F)OBJEKTu,jepotrebnzvaovad=sledkyplatnejtandardnejstratgiededeniaajejprpadnloklneplatnnmodifikcie.Akbynebolavyhovujca,vUvojovprostrediebymalaposkytovamonosloklnychprav. +/{*/ 3.4.3Dedeniemetavlastnost  Analogickykstratgiidedeniavlastnostjestvujajstratgiededeniametavlastnost.  tandardneplatzsada: Metarubriky(zodpovedajmetavlastnostiam)satandardnedediaibazhoranadolaiba ?  vtedy,keijetopotrebn,t.j.keisazisujeetenezistenhodnotareferencovanejrubrikyaktomujepotrebnpouinapr.PZ.   a Ttostratgiuilustrujemenaprklade.Majme(nadradenU)rmecreprezentujciTOBJEKT,vktoromprevlastnosznalos_cudzch_recjedefinovanmetarubrikaavnejiba PZ     TUDENT_UK{.....(znalos_cudzch_rec[PZ:dedenie,vyhadanie,predpoklad:anglictina]:NEZISTENT).....}.NechjemupodriadenUrmecmpreddedenmuvaovanejmetavlastnostinasledovnpodobuTUDENT_MFFje_podtriedouTUDENT_UK{.....(znalos_cudzch_rec:NEZISTENT).....}armecreprezentujciIOBJEKT,ktorUjejehointancioumtvarPeterje_prvkomTUDENT_MFF{.....(znalos_cudzch_rec:NEZISTENT).....}.AkonhlesavyskytnereferencovanierubrikyPeter.znalos_cudzch_recd=jdekdedeniu 3(#' zodpovedajcejmetarubrikyrmecPetersaupravtakto )m$( Peterje_prvkomTUDENT_MFF{.....(znalos_cudzch_rec[PZ:dedenie,vyhadanie,predpoklad:anglictina]:NEZISTENT)..... }/*/ }.PridedenmetarubrksavzhadomnaPZ/AZ(prirodzeneajostatnichpoloky)uplatujenasledovnUpostup:(1)0  AkvmetarubrikedanejrubrikyjestvujePZ/AZ,taksapodatohopostupuje.= "" (2)0  InaksaPZ/AZdedzniektorhonadradenhormca.& v"" (3)0  AkiadnyznichnemPZ/AZdeklarovan,alebokeidedeniejezakzan,taksa  _ postupujepodatandardnUchPZ/AZgenerickejvlastnosti(napr.prepriorityzdrojov:od  H F +{ Fvodenie,dedeniezhora,dedeniezdola). "" (4)0  Aksaanitaktohodnotunepodarzisti,taksapredkladpouvateovidotaz.  "" tandardnUpostupdedeniametarubrksledujettopostupnos:nadtrieda>podtrieda>IOBJEKT>SOBJEKT.Takakovprpadochdedeniahodn=t   avlastnost,ajpridedenmetavlastnostsatandardnUpostupm=egloblne(preBZ,resp.ES)zmeni,alebosamenpostuploklneibaprekonkrtnerubriky.Vmetarubrikch nadradenUchrmcov jeprpustn +{ *0  vyznaci skromn(chrnen) ,t.j. nededitenakcie (metavlastnosnadradenhormca)O"" *0  atieurci,e navyej(nadradenej)rovnisavykonvajlenskromnakcie,kUm : dediten(verejn)sliaibanadedenie (vyatiepredztvorku).%"" Metarubrikypripajtiepecifikovaniemonosti spja loklne a zdedenPZ/AZ .  Prkladomjepovedzmepostupnos loklne pecifikovanUchakci,zaktorUminasleduje  postupnos zdedenUch akcianapoknpostupnosialch loklne pecifikovanUchakci. ~ 3.4.4Stratgiededenia : VzvislostinatypochrieenUchproblmovzr=znychaplikacnUchoblastm=usanastratgiededenia(metavlastnost,vlastnostaichhodn=t)klsznacneodlinpoiadavky.PretobytvorcoviaprostredpretvorbuESmaliposkytovadostatocneveobecntandardnstratgiededeniatak,abybolivyhovujceconajiriemuspektruaplikci.Spravidlavak,hocisd=myselnenavrhnut,nevyhovujr=znympecifickUmpoiadavkm.PretobyprosFFtredietvorbyESmaloumoovajednoduchprisp=sobovanietandardnUchstratgikonFFkrtnympotrebmjedmotlivUchkateg;riaplikcialebovrozsahuBZindividulnympecifickUmpoiadavkm.Tabuka1jeilustrcioumonejveobecnej tandardnej stratgiededenia.Zodpoved >(#' pomernecastouplatovanmusp=sobudedeniavlastnost,ichhodnoty,metavlastnostapecifickejvlastnosti value zTOBJEKTudoTOBJEKTu,zTOBJEKTudoIOBJEKTu *b%) azIOBJEKTudoSOBJEKTu.Najednoduchomprklademonodemontrova,estratgiazohadujcaibadedenie"zhoraFFnadol"anepovoujcadedeniezIOBJEKTudoSOBJEKTu,niejevdyvyhovujca.Naprklad,keimmeknihunapsanvurcitomjazyku,zrejmesajjejjednotlivkapitoly .). (SOBJEKTy)napsanvrovnakomjazyku,baajjejjednotlivstranyaodseky(prirodzene,v  pecilnejliteratrejestvujvUnimky).Pretobymalobyumonendediznmu hodnotu vlastnosti  "jazyk"knihy,kapitoly,cijejkonkrtnejstranyobomasmermi nadolajnahor .Dedenie   vlastnost zIOBJEKTudoSOBJEKTujeuitocnibavtedy,keicastiobjektumaj o rovnakvlastnostiakocelUobjekt.(Prklad:Priprojektovanstavby,keipredmetompozornostijejejtepeln Z izolciaIOBJEKTStavbaXXX1Xmvlastnostepeln_vodivos,vtedyajjejprvky,napr. C  steny,strechaapod.bymalittovlastnosdedi.)  U , ,Ҁ vlastnos  \   hodnota  <   PZ/AZ  |   value   \  TOBJ>TOBJ     hnei \  keipotrebn <  keipotrebn |  iadneF X  P F  \   T     T   TOBJ>IOBJ  x hnei X keipotrebn  keipotrebn ( x iadne     IOBJ>SOBJ  x iadne X keipotrebn  keipotrebn ( x iadne          F  F  , ,@ GaTabuka1. `  VUvojovprostrediabymaliumoovatvorcoviBZprehadnUma h  jednoduchUmsp=sobompecifikovaniegloblnejstratgieϐdeden.Naprkladvpodobepredloeniatabukyilustrciou H  jeTab.2,vktorejjemonnastavitandardnepovolen  straFFtgiededeniavlastnost,ichhodnoty,metavlastnost,vlastnosti value atovzhadomnarelcieTOBJEKT<>T P F P FOBJEKT,TOBJEKT<>IOBJEKTaIOBJEKT<>SOBJEKT.   , , vlastnos  X dolehore hodnota  `  dolehore metarubrika     dole hodnotavalue  H   dolehore    TOBJ<>TOBJ  @ no/nieno/nieno/nieno/nieno/nieno/nieno/nie    TOBJ<>IOBJ  @ no/nieno/nieno/nieno/nieno/nieno/nieno/nie  H  IOBJ<>SOBJ  @ no/nieno/nieno/nieno/nieno/nieno/nieno/nieF   F   , ,@EHaTabuka2   Vodseku3.3.2uboliuveden pravidlprestratgiuuplat P F P Fovaniededenia PZ a AZ :odtadardnhopredpisuprevytvorenU h expertnUsystm,cezpredpisplatnUprekonkrtnuBZ,alebopredpispregenerickvlastnos,apopredpisprekonkrtnu  vlastnos.Uvedenplatprestratgiudeditenostiveobecne. p tandardnenastavenstratgie(pozriTab.1a2)preES,resp.BZsadajloklnemodifikovavhodnUmumiestnenm P zodpovedajcichpecifikcimetarubrk,pricommetarubrika   generickejvlastnosti m=ezohralohunositeanhradnho  (default)predpisu. X 3.4.5Vlastnos value asvisiacededenie   Predstavmesi,emmereprezentovan(T,I,S)OBJEKTyako @" napr.tudent,Peter,Auto,Favorit_BLC_1122,Stolicka,  X# Choroba,TBC_pc,Orgovn,Dovolenkaapod.Bezohadunadruh  $ objektu(konceptu),zodpovedajcitermjepecifikciouϐvlastnostreprezentovanho.JednouzvemifrekventovanUchcinnostvproceserieenia #@( problmovjerozpoznvanie(identifikcia)monostiplne $ ) alebociastocnestotoni(nasymbolovejrovni)niektorU()z % * reprezentovanUchobjektovsrelnepozorovanUmaleboskmanUm, H&!+ cistakUm,ktorUjeobsiahnutUvmentlnommodelipouvatea '`", ES.Ktomujeprirodzenepotrebnzisovafakty,t.j.hodnoty '(#- vlastnost,alebourcithodnotypredpoklada.Zhromaiovanie (#. faktovapredpokladovvedieknaplovaniurubrkobsahom.To h)$/ vakjelennutnou,aleniedostatocnoupodmienkouknslednej 0*%0 identifikciobjektu.Jeetepotrebnrozhodnkokoa *H&1 ktorhodnotyvlastnostiskmanhofenomnumusiabypr +'2 F +'2 Ftomn,resp.neprtomn(avakejracionlnejpostupnostijeich ,'3 potrebnzisovacipredpoklada),abybolomonurcicijekto P-(4 F P-(4 Fsi/cositudentom,Petrom,autom,Favoritom,stolickou, .h)5 chorobou,tuberkul;zou,orgovnom,dovolenkouati. .0*6 ЇRozhodovaniejezaloennazisovantoho,cissplnenurcit   kritria .Tosvlastnetvrdenia,ktorsavyhodnocuj x  propozicne .Tvoriascasasertvnychznalost,ktors @ reprezenFFtovanprodukcnUmipravidlami.TUm,evlastnos value  X vystupujevlohed=sledkujadrapravidla,vytvrasajedna   (cast)monosnadobdaniajejhodnoty.Vpredpokladejadras  spravidlareferencovanostatnvlastnostidanejentity(uvaovanhoobjektu). ( x Zrozmanitostipredpokladovpravidielreprezentujcichkritriaprerozpoznvanier=znychobjektovbymalibyzrejmd=vody,pre    ktortandardnstratgiededeniaspravidlanepripadedenie H   hodnotyrubriky value .Avakpodakonkrtnychpoiadaviek `  aplikci,ktormajzvycajneibaohranicenposlaniepreurcit (  typyhierachizovatenUchzvislost,jeprpustnpecifikova   modifikcietandardnejstratgie.Poznmka:Hodnotarubriky value jednotlivUchrmcovsasmie H  referencovaajvpredpokladeprodukcnhopravidlaavemi  frekventovanesatoajrob.TojeprvejedenzvUznamnUchsp=sobovvyuvaniatejtohodnotynarozhodovanieonslednom P rieiacompostupe.Nasledujcimprkladomdemontrujemenapr.vUhodymodifikovaniatandardnejstratgiededeniapovolenmdedizdolanahor.TUka p saprpadu,keijepotrebnrozhodn,cipouivlastnauto, 8 alebopouiprenajatU.Nechurcitfirma,nazvimejuABC,je P vlastnkompovedzmetrochut.Reprezentujemettoskutocnos  nasFFledovnUmsp=sobom:Auto_fy_ABCje_podtriedouAuto 8 {.....(value[dtovU_typ:pojazdn,nepojazdn]:NEZISTEN).....}Auto_ije_prvkomAuto_fy_ABC (#x' {.....(value[dtovU_typ:pojazdn,nepojazdn]:NEZISTEN).....},kde i nahradzujehodnotu1,2,3. (#. AkaspojedenzuvedenUchIOBJEKTovnadobnevrubrike value  0*%0 hodnotu pojazdnU ,jezrejm,efirmamkdispozciipojazdn *H&1 auto.Vprpadepouitiaprodukcnhopravidla,ktormroz +'2 F +'2 Fhodn,cisapouijevlastnaleboprenajatautoaktormv ,'3 predpokladejadrapodmienkuAuto_fy_ABC.value=pojazdn,je P-(4 vUhodndedihodnotupojazdnzdolanahor(vychdzasaz .h)5 predpokladu,esa"pojazdnos"aspojednhozkonkrtnychaut .0*6 uzakUchsid=vodovzisovala).Jezrejm,evprpadevUskytu  aspojednejhodnotypojazdnvrubrike value podriadenhoI x F x FOBJEKTu,jepotrebnzabezpecidedenieibatejto"pozitvnej" @ vlastnosti."Negatvna"(nepojazdn)hodnotasamdediiba X vtedy,keijunadobnerubrika value vetkUchpodriadenUchobjek   F   Ftov.Dsavysloviurcitzoveobecnenie,najmpreprpad,kei ( x hodnotarubriky value je propozicnhotypu (nadobdapravdivostn  @ hodnoty).Loklneohranicenstratgiadedeniahodnotytejto    rubrikyjecastovUhodn,keipodliehanasledovnUm(nievak    vUlucnetUmto)pravidlm: H   *0  aknadradenUrmecobsahujevrubrike value negatvnuhodnotu, (  takttohodnotudediazodpovedajcerubrikyvetkUchpodriadenUchrmcov, "" *0  aknadradenUrmecobsahujevrubrike value pozitvnuhodnotu, 0  taksapripavpodriadenUchrmcochzisovaniehodnoty H   value ,nievakjejdedenie,"" *0  akaspojedenpodriadenUrmecobsahujevrubrike value   pozitvnuhodnotu,taksattohodnotadedzdolanahor, "" *0  akvetkypodriadenrmceobsahujvrubrike value negatvnu h hodnotu,taksattohodnotadedzdolanahor. "" NezvisleodloklnejalebogloblnejpecifikcietejtostraFFtgiededeniahodnotyrubriky value ,stratgiujenevyhnutn 8 doplnieteoprpad,kei value mhodnotu NEZNMA .Opostaven P acinkutejtohodnotyjepojednanvsvislostistabukami  pravFFdivostnUchhodn=tpozrikapitolu4.Prededenie value akovlastnostiazodpovedajcejmetavlastnosti  p neplatiatandardnstratgie.VyplUvatozpovahytejtorubrikyτbolotouvedenvvodetejtopodkapitoly.Prpustnosdedenia   hodnotyrubriky value sadnastavipodobneakovprpade x! ostatnUchvlastnostpozriTab.2.3.4.6Stratgieviacnsobnhodedenia !%  DedeniezviacerUchnadradenUchrmcovzodpovedprirodzenUm (#x' vzahomvrealite.TenistUobjektm=emaniekokonadradenUch #@( OBJEKTovr=znehotypu.(Prklad:Peterjeindivdumpatriacidotried $ ) mu,tudent,hudobnk,ati.alebotriedaochorensnzvomTBC_pcjepod % * F % * FtriedoutriedPcne_ochorenieaTuberkul;zne_ochorenie.)ZtohovyplUva, '&w!+ eciededeniarubrikaurcithormcam=emaviacero &?", zdrojov,zktorUchm=ededivlastnos,hodnotu,metavlastnos '#- aznejmet;du.Abynedolok nedeterminizmu ( konfliktu ),mus (#. savoliurcitstratgiauprednostovaniavUberunadra G)$/ F G)$/ FdenUch/podradenUchrmcov,pricomv prpadenadradenUch/podrade *_%0 F *_%0 FnUchrmcovrovnakejrovne,uprednostujesarubrikarmcas *'&1 najvyiuprioritu . +&2 Jestvujtyrizkladnstratgieviacnsobnhodedenia,ktorvyplUvajzmonostikombinovauprednostovanieTOBJEKTovpred -G)5 IOBJEKTamialebonaopak,pricomsaalternatvneuprednostuje .*6 prehadvaniedorkyalebodohbky: /*7 Ї(1) TOBJEKTy pred IOBJEKTami priprehadvan dorky   (2) TOBJEKTy pred IOBJEKTami priprehadvan dohbky  x (3) IOBJEKTy pred TOBJEKTami priprehadvan dorky  @ (4) IOBJEKTy pred TOBJEKTami priprehadvan dohbky  X BcinokjednotlivUchstratgimonodemontrovanapodgrafez  obr.1.(Kv=lizjednodueniu,podgrafobsahujeibaobjektytUkajcesa `  uvaovanUchstratgidedenia.PretodedeniezIOBJEKTudoIOBJEKTuje ( x potrebnchpatak,edediaciobjektmdulnepostavenie:jeIOBJEKTom   vzhadomnajehonadradenUTOBJEKTajevlastneSOBJEKTomvzhadomnaI v   F v   FOBJEKT,zktorhosadedenieuvauje.)  m   TOBJ_60 ` TOBJ_70` "` "0h""0h"h"0""IOBJ_50""IOBJ_6T "" 0  0""TOBJ_30 ""TOBJ_40h " "TOBJ_50h"h"0p""IOBJ_30 p"p"IOBJ_4t  " " 0  0""0` ""0 ` "` "0 " "0h""0h"h"0""0p""(SOBJ)< p"p" 0  0""0` ""TOBJ_10` "` "0h""TOBJ_20h"h"0p""IOBJ_10 p"p"IOBJ_2s " " 0  0""0` ""0 ` "` "0 " "0h""0h"h"0""0p""(SOBJ)0 p"p"(SOBJ); " " 0  0""0` ""0 ` "` "0 " "0h""0h"h"IOBJ "" 0  0""0` ""0 ` "` "0 " "0h""0h"h"(SOBJ) :"" @IaObr.1PodajednotlivUchstratgidostvamenasledovnpostupnosti 9 prededenie(1)0  TOBJ_1,TOBJ_2,IOBJ_1,IOBJ_2,TOBJ_3,TOBJ_4,T ! F ! FOBJ_5,IOBJ_3,IOBJ_4,TOBJ_6,TOBJ_7,IOBJ_5,IOBJ_6 "" (2)0  TOBJ_1,TOBJ_3,TOBJ_6,TOBJ_7,TOBJ_4,TOBJ_2,T !q# F !q# FOBJ_5,IOBJ_1,IOBJ_3,IOBJ_5,IOBJ_6,IOBJ_2,IOBJ_4 "" (3)0  IOBJ_1,IOBJ_2,TOBJ_1,TOBJ_2,IOBJ_3,IOBJ_4,T  % F  % FOBJ_3,TOBJ_4,TOBJ_5,IOBJ_5,IOBJ_6,TOBJ_6,TOBJ_7 "" (4)0  IOBJ_1,IOBJ_3,IOBJ_5,IOBJ_6,IOBJ_2,IOBJ_4,T A"' F A"' FOBJ_1,TOBJ_3,TOBJ_6,TOBJ_7,TOBJ_4,TOBJ_2,TOBJ_5 "" Prededeniezdolanahorsauplatujrovnakstratgieapostup $* dedeniajeanalogickUakopridedenzhoranadol. 3.50  Dynamicktruktryrmcovaichvzieb ' #."" DoterazuvedenprostriedkyreprezentcietermovUchznalostpredpokladalisvet(realitu),vktoromvetkyobjektyaichvzjomnvzbysvopreddanaznme.Jednalosatedaosvet statickU ,vktoromsamohlidynamickymenilenr=znepririty +&3 nadobdaniahodn=tvjednotlivUchrubrikch.ProblmyrieenESsavakm=utUkaaj dynamickej skutocnostitakej,vktorej 1-(5  0  *vznikaj,zanikajameniavzbymedziobjektami,.*7"" 0  *vznikajazanikajobjektyaichtriedy. /*8"" ЇZhadiskatvorbyBZtoznamen,e niejemonvopredpredvda  vetkyobjektyaichvzby,sktorUmibudepotrebnvpriebehurieeniaproblmovnarba. StUmtesnesvisajproblematika @ (podrobnejiebudeonejrecnesk=r) X *0  referencovania(vzhadomnaES)externUchzdrojovdajova  programov,ktorvopredniesznme, "" *0  vytvraniaprodukcnUchpravidiel(reprezentujcichznalosti ( x asertvnehotypu),ktorvosvojichpodmienkchbymalima  @ m=nosreferencovaajpotencilnevzniknutobjekty.  "" PretorozvinutvUvojovprostrediaES okremvopreddefinovanej H   atedakompilovanejBZ,pripajajvcasezbiehaniasystmu `  vytvraniedynamickUchobjektovaichvzieb("runtime"objekty,vzby),ichmodifikovanieajruenievsladespotrebami,ktorsystmvpriebehusvojejcinnostisituacnedetekuje. TvorcaBZ h  pecifikujepotomlentiecastiBZ(reprezentciulentUchcast 0  reality),ktorsa vdym=upoui,kUmobjekty,ktorUchpotreba H  jeibasituacnepodmienen,sagenerujibavprpadepotreby.   (VUraznasporanrokovnapam!)   Dynamick(T,I,S)objekty savytvrajprslunUm prkazom h  jazykasystmu,napr. Vytvor_objekt (angl.Create_object),s 0 prslunUmiargumentami.AjtaktoobjektysavoviacerUchvUvojovUchprostrediachm=evyskytovavvovetkUchzlokch p produkcnUchpravidiel,akoajvakcich,ktorsatUkajPZaAZ. 8 NovovytvorenUdynamickUobjektrmecm=ebyiniciovanUbez  vlastnostanadradenUchcipodradenUchobjektov(tentoprpad  vaknempraktickyvUznam).Vlastnostiametavlastnostim=e X nadobudndedenmkeisazaclenmedziujestvujceobjekty  p (niektormusaprirad). ivotnosvetkUchdynamickUchobjektov 8 jemaximlnedobaaktulnehopouvaniaES 󀄀poukoncencinnosti   systmusavetkyautomatickyruia. Dynamickvzby satievytvrajbuirovnakUmprkazom  X# VytvorObjektsprslunUmiargumentami,aleboinUmipovolenUmiprkazmi.Tietovzbysam=utUkavzjomnUchvzahovmedzi !% statickUmi(kompilovanUmi)ajdynamickUmi(T,I,S)objektami.Rovnakom=ubyvetkydruhyvzieb dynamickyruen.  (#x'  TaktodannostiprostrediatvorbyES/BZumoujvpriebehu $ ) cinnostiESdynamickymenisiermcov:novrmcepridva, % * dynamickrui,menivzby(nadradenos/podradenos)medzi H&!+ jestvujcimi(dynamickUmiajstatickUmi)pricomsasvUhodou '`", vyuvajmonostir=znychciestdedenia. '(#-  MajmeilustracnUprklad,vktoromuvaujemetudentov h)$/ pecializciematematickejanalUzyaumelejinteligencie:tudent_Matematick_analUzaje_podtriedoutudent_MFF{.....(prospech_diferencilny_pocet[]:) .0*6 (prospech_diferencilne_rovnice[]:)(algebra[]:).....}tudent_Umel_inteligenciaje_podtriedoutudent_MFF{.....(prospech_zklady_umelej_inteligencie[]:)(prospech_expertn_systmy[]:)(algebra[]:).....}Karolje_prvkomtudent_Matematick_analUza{.....(prospech_diferencilny_pocet[]:vUbornU)  (prospech_diferencilne_rovnice[]:vUbornU)(algebra[]:vemi_dobrU) h .....}Peterje_prvkomtudent_Matematick_analUza{.....(prospech_diferencilny_pocet[]:vUbornU) X (prospech_diferencilne_rovnice[]:vemi_dobrU)  p (algebra[]:vUbornU).....}Paloje_prvkomtudent_Umel_Inteligencia{.....(prospech_zklady_umelej_inteligencie[]:vemi_dobrU) (#x' (prospech_expertn_systmy[]:vUbornU)(algebra[]:vemi_dobrU) $ ) .....}Miroje_prvkomtudent_Umel_Inteligencia{.....(prospech_zklady_umelej_inteligencie[]:dobrU)(prospech_expertn_systmy[]:vUbornU)(algebra[]:vemi_dobrU) ,'3 .....} .0*6 AkterazzrumezaradeniePetrazTOBJEKTutudent_Matematick_analUzanapr.prkazomtvaruZru_zaradenie_objekt:Peter,je_prvkomtudent_Matematic X F X Fk_analUFFza   ansledneprkazomVytvor_zaradenie_objekt:Peter,je_prvkom  @ tudent_Umel_inteligencia    aaktostratgiadedeniapripa,vznikneobjekt H   Peterje_prvkomtudent_Umel_inteligencia{.....(prospech_diferencilny_pocet[]:vUbornU) H  (prospech_diferencilne_rovnice[]:vemi_dobrU)  (algebra[]:vUbornU)0 h p=vodnhodnotarubrikyplatnpred  preradenmzostvazachovan,niejevaku P aktulna,t.j.referencovaniePeter.algebrapopreradenodkazujenanovodedenrubrikurovnakhomenaEh"h" (prospech_zklady_umelej_inteligencie[]:NEZISTENT)(prospech_expertn_systmy[]:NEZISTENT)(algebra[]:NEZISTENT).....}Vprpadepreradeniaobjektuzjednejdoinejtriedyjevhodnnajprvp=vodnvzbuzruianslednevytvorinov.Dynamick d zmenyzaradeniaobjektuvpriebehucinnostiES,t.j.zmenyprira ,|  F ,|  Fdenvlastnost,spravidlanemeniahodnotunicoho,coubolona D! zkladededeniavpredolomzskan(ajkv=limonmuodstpeniuod  " prebiehajcehorieeniarevokovanie,t.j.potencilnemunvratukniektormuzpredolUchkrokovrieenia).Novovzniknutzmenapotombymala + {$ ovplyvovaibanslednudalosti.  C% Keisavytvoriadynamickobjekty/vzby, dedeniesauplatuje "' podastratgie,ktorjeplatnvokamihuichvzniku : K#(  *0  vlastnosti(rubriky)sadediaihnei,vpredolomzdeden $+ * vlastnostizostvajzachovan, "" *0  hodnotavlastnostisadedibakeijetopotrebnakei k&!, stratgiadedeniatopovouje,pricomsadedenmnadobdatak 3'"- hodnota,ktorzodpovedplatnUmvzbmvokamihureferencovaniahodnoty, "" *0  metarubrikysadedialenkeijetopotrebn,t.j.keisa )$0 referencujehodnotavlastnostiatjeeteNEZISTENdynamickobjektynemajloklnedefinovanmetarubriky,pretobuidediametarubrikunazkladedefinovanejvzby,alebosa +3'3 uplatnpredefinovanUtandardnUpostup. ,'4"" Zverecnpoznmky: /S*7 ЇReprezentciaznalost termovhotypu vytvraurcitUdruh   dynamickymenitenhopriestoruproblmu(akUsi"tern") tvorenU x  *0  objektamiaplikacnej(problmovej)oblastisopecifickUmi X vlastnosamiapredpismi(met;dami)na "" 0  zskavanieichhodn=t, "" 0  vykonvanieakcivyplUvajcichzichzmien, "" *0  vzjomnUmi(viacrozmernUmi)vzahmimedziobjektami ( x implikujcimir=znorodexplicitnenevyjadrenpodmienenosti , @"" ktorUumoujevrmcidynamickhoovplyvovaniavlastnej    truktryprodukovavomceln(inteligentn)sprvanie. H    ProcesreprezentcieznalosttermovhotypujeevolucnU :Uaj (  ciastocnevytvorenUsystmreprezentcieznalost,vrtane   asertvnych,umoujevurcitomrozsahugenerovaceln h  sprvanie.Jehozdokonaovaniejeprirodzenepodmienen 0  dovovanmrozsahuaplnostireprezentovanUchznalostaodFFstraovanm,resp.oetrenm,protirecivost(nekonzistentnost),  ktorsvomobsiahnut.TedazodpovedajcucasBZjemon  vytvra,doplovaamodifikovapostupnebezvplyvunafunkcie P inferencnhomechanizmu.Jevakzrejm,eformalimusreprezentcie h termovUch(ajasertvnych)znalostmusbykompatibilnUstUm,ktorU 0 inferencnUmechanizmuspredpoklad.  Rubrikyrmcov,ktorvpriebehucinnostisystmunadobdaj F hodnoty,vytvraj truktrovanbzufaktov .Tjebuidocasnou  (vcasebehusystmu)scasouBZ,alebom=etvorisamostatn  zlokuES. N I