WPC^  0}K 0x&L 0j 0j 0u 0} 0 0[ 0> 0# % 0   0 0|G 00 0B  0U  0`U <.yj 0 0 0+ 0 0! 0b" 0:# 0# 0y$ 0$ 1% 0&J' 0* B x,E,U<, 0, 0. / 1/ 0=)0 0Ff0 0P0 1m0 0Di11 BQ*s2 02 0K54 D34 AEM4 0E5U.6U <6U7UD7 ^7 B-d7U<7U.7 B*7 D+8U<@8 |8X8TW+=cA6gABUDCCU<FGHURHvI#JZKvOlTW!XX^p`"c!LFd!i&)OH+O!C!G"8&!I^!L!P!R!T!V!X!Z!\ )N?.. . 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 .. HP LaserJet IIP`HP2P.PRSY,8t8t,09 - 0Xz :Right Par[4]Right-Aligned Paragraph Numbers..` ..`  .. .. 2a.3  Ԁ .. 0..  *ѷ$r^X` hp x (#%'0*,.8135@8:<H?AXrCZUS      1    ݀@X XXX@X3XJeiaducedoda,esaprehbujepresvedcenieonevyhnutnostirozritotopoatieajosubsymbolov  reprezentciupoznatkov.#@X Xt 3##AXXX3X#z :Right Par[5]Right-Aligned Paragraph Numbers..` ..`  .. ..h..2(1)3  Ԁ..0h..h(Tf$TR駐3'3'3'Letter (Portrait)  3'Tz :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  Ԁ     Ԉ .b4 p`$Roman-WPType 1 o 9"  ;XXXX  8 X a)0XXtvorbypoctacomrealizovanUchjavov,ktor  dostatocnepresvedcivopripomnajprirodzenUfenomnudskejinteligencie ++ (avtesnejsvislostistUm)8 X b)0XXhadaniahrancamonostsymbolovej C ׀repre    zentciepoznatkov,vrtaneprocesovichnadobdania,uchovvania,vyuvaniaarozvjania. 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  Ԁ. R& 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:; @ &(  XX>'('*d>>'('*d>H1H2H3H4H5H6H7H8H910111213141516171819202122232425262728"  .+ '++"(o2$ f!TR駐3'3'3'Letter (Portrait)  3'T W  d.b4 p`$Roman-WPType 1(p(3J$ f!TR駐3'3'3'Letter (Portrait)  3'T W     0  fp2Doc InitInitialise Document Style,  S -    I. 1. A. a.(1)(a) i) a)S./0  A_ekqwDocumentDocument StyleI.1.A.a.(1)(a)i)a)($0 ($0 0 (($0 0 0 # e37=CIQYag1.a.i.(1)(a)(i)1)a)(#$  0  @.0VO-HH Level 1 F%_ Level 2%!P% Level 3#Pa6 Level 4 (F_' Level 5f:8-&0 d d(p3$ f!TR駐3'3'3'Letter (Portrait)  3'T W ( ~$ Figure  1  '''''dxd3567A<< CF(p3$ f!TR駐3'3'3'Letter (Portrait)  3'T W <6X9`+Courier.b4 p`$Roman-WPType 1,4`1 p,Roman-WPBoldType 1HWP Pd.b4 p`$Roman-WPType 1<6X9`(Courier&p d Pd'dxd.b4 p`$Roman-WPType 1W N 9"  Keimme  ,0 X kdispozciisystmparcilnychdiferencilnychrovnc,ktorreprezentuj  fyziklneznalostitUkajcesazmientlaku,prietokuateplotymdiapretekajcehovpotrubjadrovhoreaktora,apouijememet;dunumerickhorieeniatakhosystmurovnc, XX ,0 X kdispozciirozsiahlusstavualgebraickUchrovncopisujcichtrukturlne  vzbymedzivekUmpoctomekonomickUchfenomnovapouijememet;dulinernehoprogramovaniaprenajdenieoptimlnychparametrovskmanhosystmu, XX ,0 X zalohupodporidiagnostickUproces,vktoromjepotrebninterpretova WW  pozorovaniudostupnprejavychybnhosprvaniasaskmanhosystmutak,abysazistilazodpovedajcaprcina(chybovUstav)apouijemektomuznmevzahyprevUpocetpodmienenUchpravdepodobnost(napr.Bayesovuformulu), XX jemonpovaovaprogramovrealizciuzodpovedajcichalgoritmovvniektoromzoveobecnUchprogramovacchjazykov,resp.tUchcosapouvajvumelejinteligencii(Prolog,LISP,FRLain)zaprejavinteligencie?  9"    Aserciestvrdeniaoentitch,oichkonkrtnychstavoch,vzahochavlastnos  tiach.Zodpovedajpropozciam,ktorumoujexplicitneodvodzovakonkrtnepoznatky,t.j.skutocnostisvisiacesr&[`befglnpsuv"u^CCTdd+CCd2C28ddddddddddCCdzzzzCYozzdozzooN8N^dlddYdY8dd88Y8ddddNN8dYYYNPgPl2CdCCdDDDCDDDdzdzdzdzdzdYzYzYzYzYC8C8C8C8dddddddddoYzddddoYdzdzdzdzdYYYYdzYzYzYzYddddddddC9C9C8C9YYo8o8o8o8o8ddddddzNzNzNdNdNdNdNo8o8o8ddddddoYoNoNoNdo8dzNdNo8oYoYdddzYC99dN3XVCYUUbmb82m8822ZZ55dd2Z8']yx]Cx , *J$    2    ݀XXEdFeigenbaum(p=vodnetudentHerbertaSimona),BruceBuchanan(p=vodomfiloz;f,ktorUsa  stalinformatikom)aJoshuaLederberg(genetik,nositeNobelovejceny). 9"  AKPOSTUPRIEENIAPROBLMUSPOb0VANA REPRODUKOVAN0 VOPREDDANHOALGORITMOM  STELESNENHONVODU,TAKTAKTTOPOSTUPJEPOVAOVANTZAMECHANICKT1 p,Roman-WPBoldType 1  9"BMS{??3=N' @"u^IIZnn(IIn|7I7=nnnnnnnnnn==|||bˣzIVğzzПI=IgnwbnbnbInn==n=nnnpIV=nnnnbjqjw7IIIInKKKIKKKnbbbbbēbbbbbI=I=I=I=nnnnnnnnnnbnnnnmznbbbbbbbnbbbbnnnnnnnnI?I?I=I?Vn=====nnnnnnğIIIzVzVzVzV===nnnnnnПnbbbn=nIzV=nnnnnbI??nN8a^Ib^^kwk=7w==77cc::nn7c='ffI|k"AIP[rﳈE?0404/Nmpϟ@2BP@LL .b4 p`$Roman-WPType 1  9"  RIEENIEPROBLMUSPOb0VANAALGORITMOCHVYHADVANIAAZREAZOVANIAVHODNTCHRIEIACICHKROKOV,ODKTORTCHVPR0PADENEZDARUSAODSTUPUJEANAHRADZUJBINTMIKROKMIbIICHPOSTUPNOSAMI,TEDAKEhPRIEBEHRIEENIANESPOb0VANAVOPREDDANOMNVODEVYPLTVAJBCOMZFORMULCIEPROBLMU,ALETENSAPOSTUPNEGENERUJE PRODUKUJE. .D9 p:Roman-WPBold ItalicType 1 l 9"  ;XXXXvyuvanmsboruveobecnUchadoplujcichpecifickUch  stratgispocvajcichnaveobecnUchanajmpecifickUchznalostiachtakUmsp=sobom,eminimalizujvUpoctovzloitos,ktorjevlastnrieenUmlohm.  9"  ;XXXX 8 X programovUproduktstelesujciznalosti  umoujcestratgiamiriadenexplorcieproblmovhopriestorupriefektvnomprodukovansprvnychrieiacichpostupov .  9"  EXXXX  rieenieproblmov,stavovUpriestorrieeniaproblmu,princpyprocesovprehadvaniatohtostavovhopriestoru,grafyaichtraverzovanie,spontnnaaktivciaprocesov,produktvnerieiacepostupy,reprezentciaavyuvanieodbornUchaveobecnUchznalostcloveka,povrchovahbkovtruktryznalost,dajovtruktryreprezentujcefakty,poznatky,znalosti,skutocnaleboibanezvznepredpokladatenfakty,faktamiriadenpriebehyrieeniaproblmov,vzjomnkonzistentnosfaktovafaktovsvUsledkamirieen,sdanUmiohranicujcimipodmienkami,met;dyspracvanianeurcitost,procesystelesujcekognitvne(mentlne)sp=sobilosticloveka,uplatovanielogickUchprincpovvnich,ain,#XXXEX#  9"  ;XXXXomentlnychmodelochsveta,opsychologickompoatprehadvacchprocesov,psychologickUchschmach"logickho"usudzovania,"technikch"kognitvnychprocesovakUmisnaprkladdedukcia,abdukcia,indukcia;dokazovaniesporom;princpyamechanizmyasociovania,komplementovania(doplujcevahyoopaku),zoveobecovanie(generalizovanie)adetailizovanie(pecializovanie),hierarchizovanie,uprednostovanie;fenomenologickakauzlneusudzovanie,ichvzjomninterakcie;pravdepodobnostnusudzovanie,postojeapresvedcenia;nemonot;nne(nezvzn)usudzovanie;coakacoaknietechnikyusudzovania;zameriavanieapresunpozornosti;usudzovaniepodmienenkontextom,anal;giami(preformulovanieproblmu),veobecnusudzovanie(tzv.zemitUrozum);rozkladanieproblmunapodproblmy,zohadovanievzjomnUchvziebpodproblmovaplatnUchohranicen,integrovanieciastkovUchvUsledkov;loklne(ohranicen)agloblne(celostn)rieiacepostupy;pouvanienekonzistentnUchaneplnUchznalost;uceniesa(zhromaiovaniesksenost); J 9"BIP[r?=//Nh &@FR@FL ."fxdd/dIIkkkEEkH@ddH///IIId//ddddddk``d+IdddȅHSik"u^VIYnnܷ,IIn}7I7=nnnnnnnnnnII}}}n͟VnПzܟI=InrnzbzbInz=Iz=znzzbVIznnnbW9Wr*IIIInKKKIKKKznnnnnܟbbbbbV=V=V=V=znnnnzzzznnznnnnznnnbbbbzbbbbnnnnnnzzV?V?V=V?nz=====zzzznnܟbbbzVzVzVzVIIIzzzzzzܟnbbbz=zbzVInnznzbV??nN^InQQnkLLw7777ppn33nn7p7'I} 9"    heuristikaneumoujevopredrozli,cijejpouitiejevhodn 󀄀 niejevyjadrite  nvtvarekritriapouitenosti,   9""u^CCRdd$CCdq2C28dddddddddd88qqqYzoCNzoozzC8C^dlYdYdYCdd88d8dddfCN8ddddY`g`l2CCCCdDDDCDDDdYYYYYYzYzYzYzYC8C8C8C8ddddddddddYddddcodYYYYYYYdzYzYzYzYddddddddC9C9C8C9Ndz8z8z8z8z8ddddddCCCoNoNoNoNz8z8z8dddddddzYzYzYdz8dCoNz8dddddzYC99dN3XVCYUUbmb82m8822ZZ55dd2Z8']yx]Cqb  9"    Aserciestvrdeniaoentitch,oichkonkrtnychstavoch,vzahochavlastnos    tiach.Zodpovedajpropozciam,ktorumoujexplicitneodvodzovakonkrtnepoznatky,t.j.skutocnostisvisiacesrieenUmproblmom.VdeklaratvnejpodobemajnajcastejietvarizolovanUchprodukcnUch("AKTAK","KEhPOTOM")pravidielreprezentujcichvzahyasvislostimedzientitami.M=uvakmaajtvaranalytickUchaleboinUchmatematickUchzvislostreprezentujcichohranicenia,funkciea(vznalostnUchsystmochnajmkvalitatvne)modely.Dajsatie  povaovabuizajedinecnpreskripcie,alebotakcoparametrizujveobecnprocedryodvodzovania (najcastejprpad).   9"    0 X kladied=raznazkonitosti(pravidelnosti),ktorUmpodliehajproblmyz  urcitejoblasti, X9X9 0 X zkonitostivyjadrujeprostriedkamiformalizmu,ktorUjepropizicnUm  prejavomznalost, X9X9  0 X tiepovaujezanezvislodrieiacichprocesov,vktorUchsauplatuj.   9"    (1)0 X jetvorenUzexplicitnUchsymbolovovyjadrenUchdeklarcizkonitost  platnUchpreurcittrieduproblmov,ktorsorganizovan(truktrovan)dovhodne(identifikovatenUch)celkov, X9X9 (2)0 X postupvykonvaniaprogramu(rieeniaproblmu)vyplUvazd=sledkov  pecifikovanUch(logickUch)formlreprezentujcichzodpovedajcezkonitosti, X9X9 (3)0 X rieiacipostupsauskutocujenazkladeriadenej(formlnejlogike vv neodporujcej)inferencieinterpretcieformlvhodnUm(dodanUm,vytvorenUm)interprettorom.   9"    (1)0 X syntaktickUmpravidlmzvolenhoreprezentacnhoformalizmu,X9X9 (2)0 X akorepondujcimprincpominterpretcieformliriadeniupriebehu  interpretcie.  9"    @ m3Akobolovyieuveden,deklaratvnyprogramajehointerprettorvo"vlastnejrii"zabezpecujodvodenierieiacehopostupuvyprodukujho. Z 9"  "XX"xxxxx'xxxPCCxxxxxPxxxxkkxkdddd22PPdxdxdxx`CddCCdxxddddddxxxxxxxCCCCxxxxxxxxxxxxxxddCCxxxxxdxxxxxxxxxxxxxxxxxxxxxxxdddd܅xxxxxxxxxxxxxxxxxxxxxxxxx]dxxxxxxxxxxxxxxxxxxxxPPxxxxHxxxxxxxxx"u^NCQddȧ(CCdr2C28ddddddddddCCrrrdzNdzoȐC8CtdhdoYoYCdo8Co8odooYNCodddYO4Oh&CCCCdDDDCDDDodddddȐYYYYYN8N8N8N8oddddooooddoddddzodddYYYYoYYYYddddddooN9N9N8N9do88888ooooddȐYYYoNoNoNoNCCCooooooȐdYYYo8oYoNCddodoYN99dNVCdIId|bEEm2222ffd//dd2f2'xxxxCrx  9"    0 X vyadujprehadvanie,odhadovanie,vobu,skanie,ciinaknedeterminis    tickvyberanieniektorejzalternatvnychmonostrieenia. XyXy 0 X sprivUbereflexibilnanavUbersanefixuj:aksavnadvzujcomrie    iacompostupe XyXy  X 1naraznaprotireceniecikonflikt,  0 X 1zist,enevediekpoadovanmuvUsledku,XyXy 0 X 1odhalmonosinho,vUhodnejiehopostupu,XyXy 0 X taksaodcastialebocelhoprebiehajcehopostupuodstpi,revidujsavybrat(odhadnut,zvolen,skusm,ciinakpodmienen,alebokontextulnezvisl)opercie/dajeapokracujesainUm,vzhadomnadosiahnutUstavvhodnejmvariantom. XyXy 0 X svratn󀄀tUmsaprincipilneodliujodnevratnUchreproduktvnych ] ]  postupovstelesnenUchprocedurlnymiprogramami,Y Y XyXy 0 X nemajmetriku,ktorbyumoovalahodnotivzdialenosodpoa B B   B B  dovanhovUsledku,odchUlkuodsprvnehosmeruvpostuperieeniasvistosabsentujcoumonosouanalytickhoopisurieiacehopostupu,atedaabsencioualgoritmu,ktorUbyjednoznacneviedolksprvnemuvUsledku.  R 9"  PXXXXomodelochuzavrethoaotvorenhosveta,oprincpochintenzionlnehoaextenzionlnehovymedzovania(definovania)entt,omonostiachuplatovaniaaohranicenjednotlivUchlogickUchformalizmov,najmvUrokovejaprediktovejlogiky,aleajtemporlnychainUchneklasickUchlogk(vrtaneviachodnotovUch),ologickUchschmachodvodzovania(inferencie),ologickUchaspektochdedukcie,indukcieaabdukcie,oprincpochaaplikovatenostidokazovaniateormov,opriamomasptnomchodepriinterpretciprodukcnUchpravidiel,orozrenprodukcnUchpravidielomimologickkontrukty,onemonot;nnomodvodzovan,oaxiomatizci,konzistentnostiaplnostisymbolovejreprezentcieznalostapod., N *J$    7      ӀProblematikauniverzlnychrieiacichprocesov,akotobolouvpredolomspo  menut,msvojenezanedbatenlimity.Onichbuderecvneskorchkapitolch.VnichsahovoromonostiachobohacovaniauniverzlnychpostupovpecifickUmigenerickUmimakrooperciami,ktorvUraznezdokonaujsp=sobilostiES.PostupnosvUkladuprincpovtUchtosystmovumouje,bavyaduje,odsunprsluntmynanesk=r. . *J$    3    ݀XXPravidltohtotypusanazUvaj produkcn .Podrobnesanimizaobermevialom.Podoba  pravidlazodpovedtvaru,vktoromjeuverejnenUv(Russell,Norvig,1995).1 p,Roman-WPBoldType 1  9"  omonostikomunikovasESvprirodzenomjazykupsmomajhlasom,oporozumenpredovetkUmbenmuvUznamutextov,prpadneajkontextulnecisituacnezmenenUmvUznamom,ointencichkomunikujceho,otakejinterakciisnm,coumoujeodstraovanejednoznacnostianedorozumenia,akoajoneprebernommnostveinUchtm,ktorsvisiastransfrominformciaznalostvUrazovUmiprostriedkamiprirodzenhojazyka,    O 9"  oprogramovejrealizciiavUpoctovejzloitosticiastkovUchprocesovzodpovedajcichjavompripomnajcichinteligenciu,oprocedurlnomadeklaratvnom(situacnom)programovan,oevolucnUch(trnovanmsazdokonaujcich)programoch(neur;novsiete,genetickalgoritmy),osvisiacejproblematikemetodol;gieprogramovania,najmvzhadomnapreviazanos,inicializovanie,suspendovanie(preruenie),obnovenieaukonceniejednotlivUchprocesov,riadenieatrasovanieprocesovodvodzovania(inferencie),otvorbepecifickUchdajmi(situacne)inicializovanUchprocesoch(dmony,met;dy),ovhodnUchprogramovacchjazykoch,prostriedkochaprostrediach,oriadiacichasledovacichdajovUchtruktrach,oformchsymbolovejasubsymbolovejreprezentciepoznatkovaznalost,ichvyjadrovacej,odvodzovacejavUpoctovejcinnosti,ometodol;giitvorbyatestovaniasvisiacichprogramovUchsystmovapod., v 9"  rozsah,monos,sp=sob,prostriedkyvyjadrovaniaareprezentciaznalostzurcitejproblmovejoblasti,koexistenciar=znych,ajvzjomnenekonzistentnUch,odbornUchznalostapostupov,akeisarealizujetransfrzodpovedajcichznalostdosystmuaichprpadnnslednmodifikovanie, y 9"  poznmeibanatokodobre,eviemepredvdaIBAbOAKEDY M<E   nasta,vtedyjepotrebnvytvratakrieiaceprostriedky,ktorumoujpotencilnodvodeniepostupurieenia,jetoprpad,keijepotrebnorientovapozornosna deklaratvneprogramovanie . m *J$    6    ݀XXJejvUraznUmoponentomjeJ.R.Searlepozrinapr.J.R.S.:Minds,BrainsandScience,Harward  UniversityPress,Cambridge,Ma.,1984;ceskUprekladMysl,mozekavkda,Mladfronta,Praha,1994.#XX D#  *J$    4    ݀PreconedokemescasnerozmUlaoviacerUchzleitostiach,akUjeprocesporozumeniavUznamu  sl=v,cosaodohrvavnaekmuslikei4vynsobme7,cojepodstatouprocesuzapamtvaniaavybavovaniazapamtanho,precorovnakoznejculohuodborncizprslunejprofesierieiaodlinerUchloakvalitne?...  *J$    4    ݀PreconedokemescasnerozmUlaoviacerUchzleitostiach,akUjeprocesporozumeniavUznamu  sl=v,cosaodohrvavnaekmuslikei4vynsobme7,cojepodstatouprocesuzapamtvaniaavybavovaniazapamtanho,precorovnakoznejculohuodborncizprslunejprofesierieiaodlinerUchloakvalitne?...  9"  hodnotenmcelnostiauitocnostiESvrukchcieovhopouvatea,ktorUhopouijeakoprostriedoknarieeniesvojichproblmovvtedy,kedjeprehonarbaniesosystmompohodlnazrozumiten,kedmutentopomharieiproblmytak,em(vistejforme)zarucenefektvnosvynaloenUchinvestci.  *J$    5    ݀Zujemcomohbiepreniknutiedotejtoproblematikymonoodporuciradliterrnychprame\ov.  SpomedzioponentovstrojovhomyslenianajmpodielachSearlaaPenroseho.SpomerneshrnUminhadminattoproblematikusadoboznmiv(Russell,Norvig,1995,kapitola26). E 9"  j88($bx  `@FEj  j8t8($bx  `@= JFEj@M`Keizkonitostiplatnprerieenienieproblmu , *J$    2    ݀XXEdFeigenbaum(p=vodnetudentHerbertaSimona),BruceBuchanan(p=vodomfiloz;f,ktorUsa  stalinformatikom)aJoshuaLederberg(genetik,nositeNobelovejceny). 9"  (a) prehadvaniastavovhopriestoruproblmu ,  (b) procesovsplovaniaohranicujcichpodmienok ,  (c) logickejinferencie .  *J$    1    XXԀNepochybne,veobecnUgravitacnUzkon,zaformulciuktorhoviacmeNewtonovi,nemono  aninaokamihspustizozretea.Avakprispenomtartealebopristvanlietadla,hociiadnejzoveobecnUchzkonitostimechanikyaaerodynamikysanesmieprotivi,jeetenevyhnutnzohadovapecifickfyziklne(aajin,napr.pokodenniektord=leitsciastka)vlastnostidanholietadla,pecifickaktulnupoveternostnsizuciu,smervetra,viditenos,charakterpristvacichpl=ch,aktulnupremvkunaletiskuivjehookol,vrtanepotencilnehovUskytuvtctvavdanompriestoreai.Jednoducho,lensgravitacnUmaanisostatnUmiveobecnUmifyziklnymizkonmisanedvystaci,hocijeichnevyhnutnrepektova. v 9"    Predstava procesovsplovaniaohranicujcichpodmienok vnmarieenieproblmu  ako postupnsplovanieexplicitnezadanUchohranicujcichpodmienok :Vrie  iacompostupesapostulovan(predpokladan)pociatocnmnoinaobjektov,oktorUchsapredpoklad,em=uvyhovovadanUmohraniceniam,sapostupnezuujevzvislostinakonzistentnostijednotlivUchobjektovaichvlastnostsdanUmiaodvoditenUmiohraniceniami(odvoditenexplicitnealeboimplicitnevyplUvajzreprezentovanUchzkonitostproblmovejoblasti)apotencilnekmnoine,obsahujcejobjekt(y)najlepievyhovujci(e)vetkUmohranicujcimpodmienkmtojecieovUstav.  9"    kX7XXXZNALOSTISBPROSTRIEDKOMUMOUJBCIMSTRATGIAMI  RIADENEXPLORCIEPROBLMOVHOPRIESTORUPRIEFEKT0VNOMPRODUKOVAN0SPRVNYCHRIEIACICHPOSTUPOV. ^ 9"    Predstava stavovhopriestoruproblmu vediekvahmo grafe, ktorho vrcholy   zodpovedaj stavom rieeniaproblmua hrany zodpovedaj operciam meniacimstav  nainU: produktvnerieenieproblmu mpotompovahu prehadvaniamonUchciest   medzivrcholomzodpovedajcim pociatocnmustavu rieeniaproblmuaniektorUmz  vrcholovzodpovedajcich podmienkmcieovhostavu.   *J$    1    XXԀNepochybne,veobecnUgravitacnUzkon,zaformulciuktorhoviacmeNewtonovi,nemono  aninaokamihspustizozretea.Avakprispenomtartealebopristvanlietadla,hociiadnejzoveobecnUchzkonitostimechanikyaaerodynamikysanesmieprotivi,jeetenevyhnutnzohadovapecifickfyziklne(aajin,napr.pokodenniektord=leitsciastka)vlastnostidanholietadla,pecifickaktulnupoveternostnsizuciu,smervetra,viditenos,charakterpristvacichpl=ch,aktulnupremvkunaletiskuivjehookol,vrtanepotencilnehovUskytuvtctvavdanompriestoreai.Jednoducho,lensgravitacnUmaanisostatnUmiveobecnUmifyziklnymizkonmisanedvystaci,hocijeichnevyhnutnrepektova.  *J$    5    ݀Zujemcomohbiepreniknutiedotejtoproblematikymonoodporuciradliterrnychprame\ov.  SpomedzioponentovstrojovhomyslenianajmpodielachSearlaaPenroseho.SpomerneshrnUminhadminattoproblematikusadoboznmiv(Russell,Norvig,1995,kapitola26). D 9"  Porozumenie niecoho,hocilencistocn,predpokladvytvoreniezodpovedajceho  mentlnehomodelu,t.j.urcithovzjomnepreviazanho(zaclenenho)sborusvisiacichpoznatkovvytvrajcichznalosdanho,resp.presvedcenieodanom. \ 9"  Model ,nezvislenamaterilnejpodstatejehorealizcie,bymalreflektova   truktru modelovanejpredlohyamalbybysp=sobilUuskutocovaanalogick   procesy(chovanie) akonimsimulovan(imitovan)predloha(systmvzor).  9"    Podanejoperciesosymbolmi,t.j.ichvytvranie/ruenie,spjanie/rozcleova  nie,truktrovanie,menenie,porovnvanie,zaraiovanie/preraiovanie/priraiovanieapodobne,prirodzeneibavtedy,keizleitostsvhodnereprezentovanprimeranUmisymbolmi,umoujrealizciumodelovaasprostriedkomsimulcieprocesovmyslenia. . *J$    3    ݀XXPravidltohtotypusanazUvaj produkcn .Podrobnesanimizaobermevialom.Podoba  pravidlazodpovedtvaru,vktoromjeuverejnenUv(Russell,Norvig,1995). m *J$    6    ݀XXJejvUraznUmoponentomjeJ.R.Searlepozrinapr.J.R.S.:Minds,BrainsandScience,Harward  UniversityPress,Cambridge,Ma.,1984;ceskUprekladMysl,mozekavkda,Mladfronta,Praha,1994.#XX D# C 9"  Predstava logickejinferencie vnmarieenieproblmuakologickrezolvovanie:  Predpoklad(postuluje)urcitUlogickUsystm,ktorUumoujezdanUchaxi;mauod  vodenUchtvrdenodvodzovaialie.PostuprieeniaspocvavprehadvanpouitenUchaxi;matvrdenazvybratUchlogickouinferenciouprodukujenovtvrdenia,kUmsanenajdeodpoveinaotzkuzodpovedajcurieenmuproblmucieovUstav.  9"    KUmvzah(1.1)je deklarovanmurcitejznalosti(poznatku) zdanejproblmovej  oblasti,vzah(1.2)vyjadruje procedurlnustrnkupouitiadanhopoznatku.  H 9"  @&pravidlspermisvne   9"  AK 0 X vhmotovomspektrogrameexistujdvepozcie x1 a x2 ,vktorUchspky  (vysokvrcholy)tak,e XX 0 X 0XX(a) x1 + x2 =M+28(Mjehmotnoscelejmolekuly), 0 X 0XX(b) x1 󀄀28jevysokUpk, 0 X 0XX(c) x2 󀄀28jevysokUpk, 0 X 0XX(d)aspojedenz x1 , x2 obsahujevzsokUpk,  TAK    X molekulaobsahujeket;novupodskupinu.  9"    Viakadeklaratvnemuprogramuniejepotrebnvopreddeterministickypredpi    sovajednotlivakcie(opercie)aichpostupnos.Interprettornapr.nazkladezistenhorozdielumedzielanUmaskutocnUmstavomrieeniaproblmu,vyhad,  vyberieazabezpecvykonanieopercivtedy,keinmdetekovansituciaakciuvyadujealeboumouje.  t 9"  "VetkyrelevantnteoretickznalostipotrebnnavyrieeniepredmetnUchproblmovsapretransformovalizichveobecnhotvaruv[vzlokegenerovaniazodpovedajcichhmotovUchspektrogramov]("pociatocnUprincp")docinnUchpecilnychtvarov("receptovvkuchrskejknke")."(Feigenbaumetal.1971) A 9"  @monostiach , 9"  t.j.tUm,euplatovanmvekhopoctuexpertamipouvanUchpecilnUch  celovUchpravidielsastalpoznatkovointenzvnzm(informovanUm)systmom,  9"  @zc# neurcujvaktied=sledky,  @V# ktorsamusiaodvodi,aniporadieichodvodzovania .  9"    Ttoskutocnosmvemivnimplikcie.Dsatoilustrovanadokazovanteormov:Jazykprvordovejprediktovejlogiky(JPPL)vediekproblematikenachdzaniacinnUchprocedr dokazovania teorm(substituovanie,unifikciaarezolvovanie)na  zkladedanUchaxi;madanUchciodvodenUchteorm. Neredukujeexhaustvne  prehadvacieprocesy natakUzvldnutenUrozsah,ktorUbyadekvtneacinne  imitovalefektvneformulovanieproblmu(otzky,ktorbysamalazodpoveda)anirieiacepostupysksenhoodbornka.Naviacdokazovanieteormovm exponencil ||  || nuvUpoctovzloitos .Hocisad=sledkytohoprejavujibavpesimlnychprpadoch, gg skutocnvUpoctovzloitosrieeniakonkrtnehoproblmu,anijejpriemernUodhad,neviemepredvda.Mussatedartaajsnajhoroualternatvou,cozpraktickUchhadskjeneprijaten. 9"  Ajtosvedcprotinzoromstotoujcichuvaovanielensmechanizmamilogickejdedukcie..b4 p`$Roman-WPType 1<6X9`+Courier1 p,Roman-WPBoldType 12*4\L  p`0Dutch 801RomanSpeedow+ * p.Dutch 801BoldSpeedo.:9 p`0Roman-WPItalicType 1.D9 p:Roman-WPBold ItalicType 1Gr Ap`>WP TypographicSymbolsType 1iA( Ap`$WP MathAType 1;,!p.Bodoni-WPBoldType 1+J qp` :CommercialScript-WPType 1a<9p`+2Courier 10RomanSpeedo<9p+0Courier-WPBoldType 194Ap`2WP MathExtendedType 1 9"    PROGRAMOVSYSTMY,KTOROPIERAJBSVOJUbINNOSOSYMBOLOVBREPREZENTCIUZNALOST0,NAZTVAME ZNALOSTN  SYSTMY (NAZNALOSTIACHZALOENSYSTMY)  9"    bOSBSTELESNEN0M ODBORNTCHZNALOST0 ZURbITEJPROFESNEJ  OBLASTIASLBIANAPODPORU(PR0PADNEAJNAHRADENIE)ODBORN0KOVEXPERTOVPRIRIEEN0ODBORNTCHPROBLMOVTVORIATEDAPODMNOINUZNALOSTNTCHSYSTMOVZODPOVEDAJB EXPERTNTMSYSTMOM . R 9"  0 X 0X X 0  0`    n ` `   0 X f(g(sk))=f({ok})= MMX X  0 X 0X X 0  0`    NIL  9"  mysleniespocvavinternUchmanipulcichsmentlnymi  modelmisveta,ktorsiudiavytvrajneartikulova(te)nUmimentlnymiprocesmi .  9"  0 X 0X X 0  n+m 0   (vprpade  odskoku)MM   0 X 0X X 0   n 0`   0 ` ` (cyklus)66   0 X f(n)= X X   0 X 0X X 0  NIL 0   (keisaproces II zastav)    0 X 0X X 0  n+1 0`   0 ` ` (implicitn  riadenie) & 9"  existenci,prcinch,princpochasp=sobochvzniku,priebehu(trvania)aznikufenomnu/javu,jehovlastnost,truktry(zloenia)asprvania,cohosp=sobuje,coznehovyplUva,cmaakomononavplUva,riadiho,vyvola,ciznemoniho,akUmvzahkinUmzleitostiam,cmjeimpodobnU,akopredvdajehovznik,znikasprvanie.XX #1 #XX #  9"  H7:  0 X AkceptovaniehypotzyH6(funkcionalistickUpohad)implikuje XX 0 X 0XX(a)monosvhodnUmiprogramamisimulovate;riemyslenia  0 X 0XX(b)aprincipilneajmonosrealizovanimi(aspozcasti)racionlnemyslenie.  9"  H9:   0 X bslicovUpoctacsplujenutnapostacujcepodmienkypre  vykonvanieinteligentnejcinnosti.   9"  "XX@N stransformciourozptUlenUch XXV(ajnejasnUch) #"XXu#Ԁpredstvatuen  @iT dotakejkomunikovatenejformy,vktorejsaznich@;\ zachovvato,comonooznmiinUm@sY akoustlenUzkladracionlnehokonania  S 9"  H10:    0 X Systm(poctac)dokevykonvainteligentncinnosnavysokej  rovnikompetencieviakaznalostiam,ktormzoblastisvojichaktivt(znalostizodpovedajceoblasti,vktorejrieenUproblmvznik).   9"  H11:   8 X KadU(urcitUmmechanizmom)realizovanUinteligentnUproces  jetvorenUtruktrlnymiprvkami,ktor XX 8 X 0XXsavonkajiemupozorovateovisprvaniasystmujaviaako  =X7XXXpropozicnUprejavznalost, #XXX=X7k#GG 8 X 0XXnezvisleodvonkajieho(smantickho)hodnotenia  =X7XXXzabezpecuj(sprcinou)sprvaniesasystmu,ktorje  manifestcioujehoznalost. #XXX=X7h# t 9"  0 X dokespravidlasvojepecifick,t.j.problmovozameran,aveobecn  znalostiefektvnesituacnepouvaajvprpadeproblmov,prerieeniektorUchnemvopreddanUpresnUdeterministickUpredpis; doketedavykonaviac,  nenacoje"naprogramovanU" ;naviacdokesvojeznalostirozirova,  prehbova,zdokonaova,XyXy 0 X keiv=becnemkdispozciipredpisnarieeniedanhoproblmu,alebolen  takU,ktorUjeneplnU,nedeterministickU,aleboinaknezarucujcirezultatvnos,pouvar=zne (mentlne)technikyvyhadvaniavyuitenUchrieiacich  krokovkvytvraniutakejrevokovatenejpostupnostiznich,ktormu ss napokonumondospiekelanmuvUsledkutedapostuprieeniasivytvra,produkuje.   9"    Podstatns funkcieprogramu vykonvanhopoctacom.TenistUprogramm=eby  preloenUdoplneinhovUkonvatenhok;duzbiehatenhonakontrukcneinompoctaci,uskutocujcomsvojecinnosti(ajfyziklne)odlinUmsp=sobomanapriektomusarealizujetistfunkcia. ( KonformnsH1 .) Tedapredokonalpochopeniecin  nost,ktorm=evykonvafyziklnysymbolovUsystm,jepodstatnpochopifunkcieprogramuaprincpy,ktorumoujrealizovaelanfunkcie. 9"  AkzprvevykonvanhoprkazupriamonevyplUvaktorUprkazsam  nslednevykona,taksavykonten,ktorUbezprostrednenasledujevporadichusporiadania.  4 9"    TvorbuvhodneorganizovanUchatrukturovanUchzoskupensymbolovUch  kontruktovreprezentujcichzkonitosti(pravidl,vzahy,vzby,ohranicenia,predpisy,vUnimkyati.)danejproblmovejoblasti.  x *J$    7      ӀProblematikauniverzlnychrieiacichprocesov,akotobolouvpredolomspo    menut,msvojenezanedbatenlimity.Onichbuderecvneskorchkapitolch.VnichsahovoromonostiachobohacovaniauniverzlnychpostupovpecifickUmigenerickUmimakrooperciami,ktorvUraznezdokonaujsp=sobilostiES.PostupnosvUkladuprincpovtUchtosystmovumouje,bavyaduje,odsunprsluntmynanesk=r.  9"    Postuprieenia(t.j. ako komponent)jezabezpecovanUnevyhnutnUmkomplementom  deklaratvnychprogramov interprettorom .Tenjevosvojejpodstatevlastneklasic  kUmprocedurlnymprogramom,ktorUkoordinujeprocesyzabezpecujcedosahovaniepoadovanUchcieov.TUm,estelesujeveobecn(univerzlne)ciastkovrieiaceprocedry,automaticky nazkladeinterpretovaniasymbolovovyjadrerenUchz  konitostproblmovejoblastiaznichplyncichd=sledkovvyvolvaakoordinujeichcinnosatakzabezpecujerealizciuprocesovpotrebnUchprerieenieproblmu.   9"  Vyhadvanieavyberanie rieiacichoperci(krokov)je nedeterministickUproces .  KeieibaniektorichpostupnostipotencilnevedkpoadovanmuvUsledku,pricomvopredniejeznmektor,jenevyhnutnzabezpecimonosodnich odstpiatUm  ajprpadnerevokova(odvola,zrui)dovtedyvykonanakcieanslednevoliinUpostup.   9"    0 X zformulcieproblmuanizpredchdzajcehopriebehujehorieenianieje  zrejm,ktorUkroksamviaomvykona, XyXy 0 X vUberialiehopostupurieeniajepodmienenUvUsledkomtestovaniapod  mienky,oktorejvakniejemonsurcitosourozhodn,cijealeboniejesplnen.   9"    NarozdielodbenUchdtabzobsahujcichibakonkrtnedaje,zisovanie(odvodzovanie)odpovedenaotzku Q vovobecnostivyadujenaviackprehadvaniusstavy  explicitnUchpoznatkovv Z hadaajiba implicitne obsiahnutodpovede.Pretok Z   musiajestvovainferencnpravidlodvodzovaniahadanejodpovede.  9"    Avak mechanizmylogickejinferencieskumulatvne(monot;nne) :priodvodzo  vannovUchtvrden,vetkyvpredolomodvodenzostvajvplatnosti,niesaktualizovan.Relnesystmyusudzovanianiestak,m=uporuovapravdivosuodvodenUchvUrokov snemonot;nne . E 9"    umoujhovoriotom,bOAKEDY MUS0 nasta,vtedyjevUhodnUtUl   procedurlnehoprogramovania ,lebokdanUmproblmomdokemestvori  jednoznacnUaefektvnyrieiaciproces. 9"  "XX@R produktpracovnej,spolocenskejamylienkovejcinnosti   9"  @g s "XXPOZNATKY#XXV.#Ԉ   w84444=-)j (  `@@%w                @A h jeprenecharakteristick,ew84444=-)j (  `@@ %%w                      @ q vznikajakow84444=-)j (  `@@% %w 7[C[X[ L55SI+~ ?xxx,,=Xx=dIddqT:lIlll7[ngTWnl7<]I],,]];^I^,,^T5bCblXb76[C[AX[6[C[X[@ #CXt,I5II?u+I5IAITv*N5NlN7W!7(7h7TX ;(;lh;7 ;C4X8x8vCvqXv @;VCVXV0c>xxx,, Xx2T<xxxXVXxSd` TOdl7y.L8LL T{,R8RlR7 *qCqXqt "nj <T ?dT'il7u+I5II@2R<RRT0X<XlX7@jNjjT=rNrlr7BmPmmT?vPvlv7,,D  ,,,D  ,,,D ,,,D   9"  "XX @P sreprodukciouurcitejvymedzenejcastiobjektvnehosveta    @ _ avomplatnUchzkonitost #| J 9"  "XX@L svisiaskonceptualizciouentt(objektov,javov,ichvlastnost)  @U aprocesov,ktorsnimialebovnichprebiehaj:#XXV#Ԉ     X konceptualizciaspocvaokreminhovschopnosti  pomenva,opisovaadefinovaentityaichvzjomnvzahy,akoajkategorizovaich,t.j.zaraiovaichdor=znychtried,medziktorUmispecifikovatenvzjomnvzahy, X scasoukonceptualizciejeajformovanievUrokovoentitch,  skladanieavyhodnocovanie(interpretovanie)vUrokovavtomspocvajceodvodzovanied=sledkov,ktorznichvyplUvaj q > 9"    Termyzodpovedajopisom/definovaniuentt,opisom/definovaniuichvlastnosta  prislchajcich(skutocnUchcipredpokladanUch)hodn=t,ich(kontextulnepodmienenUm)lohm,zaradeniuavzahom,ichtruktramaprpustnUejorganizcii(vzahycascelok),hierarchickUmklasifikciam(taxonomizcii),t.j.cinnmuvyjadreniuichgeneralizacnopecializacnUm,(podmienenUm)prcinnod=sledkovUmzvislostiamalohm,covetkomonosvUhodousituacnepouipriefektvnomvyuvanasertvnychznalostaumoujeodvodzovakonkrtneimplicitnpoznatkyafakty.   9"  "XX  @$Q svzjomnepreviazan,menitenadoplnitentruktry  @fb svisiacichpoznatkov,@T vrtaneichuplatnitenostivinterakciisosvetom:#XXV# X znaloscohosiznamenvlastnitomuzodpovedajcurepre    zentciuvpodobedostatocnevernhoapresnhokognitvneho(mentlneho)modelu,vrtanesp=sobilostivykonvastUm,cojereprezentovan,r=znekognitvne(mentlne)opercie, X nazkladeavrozsahutUchtoopercidokeclovek(potencilne  ajpoctac)predvdaapredpovedato,cosamus,alebom=evrelnomsveteodohra   9"  "XX@ s ZNALOSTI#XXV#Ԉ  w8B4444=-)j (  `@@ %w                                        w8H4444=-)j (  `@@N% %w                                      "h^nn;nnSnS\\\0n%8n\nn\\\n\Snn)nnqqqnqqq%n\n\n\n\n^n^n\n^\\\\\%nnn\\\8\n\n^^NSn\S\\SSWW"S:\'n"h^nJCnnSnS\nn38Jn\nn\n\nV?nnnnqqqnqqqJ\\\\^^\^\\\\\JnnnJ\n^^NnyyssSSSSMM$S:S'n"*,Zh^7GIn7TTn7I7;nnnnnnnnnn;;lT`xH;Hnnlu`xmHkx<;r;xxxwTTGxcab_nnnn7nnnnnnnnnnnnnnx;lllll`mmmmT<T<T<T<xxxxxxxxxblxxxbyxlll````xmmmmkkkkkkxxT<T<T<T<w`;r;Z;r;xxxxxTTTxTxTxTxTgGGxxxxxxb___x;xTxTGbbxxmT<<x/nnnn/NnnGloonnQYnIZxxI7ggnCCnn{}7g*Iunh%nnnnHyHHnrzi_l}xe_[_______."*,Zh^7GLn7TTn7H7;nnnnnnnnnn;;jUl_;_nnpv`ybFk}ADuA}nyw^^Jzdhb_nnnn7nnnnnnn#%nnnnnnnyDppppp`bbbbUAUAUAUA}nnnnzzzzbpznnboyppp````ybbbbkkkkkk}}UAUAUAUAlDuAfAxB}}}nn^^^^^^^oJJzzzzzzb___yA}^^JbbnzbUAAn/nnnn/NnnGjssnnTRnI]xxI7jjnEEnn7jIunh%nnnnHyHHnoblqbbbbbbbbb."u^8Nodd8CCdr2C28ddddddddddCCrrrdNdzzozzzC8CrdrddYdYCdo88d8odddNN8oYdYNF4Fr&CCCCdDDDCDDDddddddYYYYYN8N8N8N8oddddoooozYddddzYdzddddYYYYdYYYYddddddooN9N9N8N9ddz8z8z8z8z8ooooddNNNoNoNoNoNz8z8z8oooooozYzNzNzNdz8oNoNz8zYzYddoYN99dNVCdIId|bEEm2222ffd//dd2f2'xxxCrx"u^55APP|55PZ(5(,PPPPPPPPPP,,ZZZGwkktbYtt5>tbttYtkYbttttb5,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[`"u^((1<:A((l((<)))()))<W5W5W5W5W5kPP5I5I5I5I5(!(!(!(!W((Z((<)))()))CWKK/AOODa|Da|tzzz**66X<>@CFII+>ACFIIIUUU'''' z$$"h^M7Hddooop)  !!!!d!!! !!z!!oooo7o!dh!!!!!d  oooo!!!!!!!!!!!!!!!!)))    !!!!!!!!!rror!ooooo!!!!!!d!   ooo!!!!!!z!!!o! o!!!!!rr!Neodo))oddjj`Td}o'"uu'00PPPPPapll`pWWWNT[bhNT[bhhNT[bhNT[bhhdHH<<<HIM\TX\%\VZ^JLPSVVJLPSVVVX|_//WWWZiiGGHTS<l<lX<xHG|V|HHHHHHHHHHHHHHMMMMZHH"XXbb<<<<<ITa_}Q}QHTanAwAA;?DIN;?DINN;?DIN;?DINN|J$$$GJQQ bb:lE?BE``E@CF```89<>AA89<>AAAB]pqGawwfflmlf?f>__cll]aejnnA]aejnnn::::66V& 8Document[8]Document Style0..8` ..` V8Document[4]Document Style.. . "h^MQddot! !! 777 z!77! !!!! oooM!hL.!!!!!!!    oooo!7777!!!!!!!77!!!!!!!!!!    77777777rror7 o o o o o!!!!77!!!!   !!!!!!!!   ! o!! !!!7! rr7N  d))ddd]]Rbd}d'"u^,>YPP|,55P[(5(,PPPPPPPPPP55[[[Pkkktkkt|>PkbttbtkYbtkkbb5,5[P[PPGPG5PY,,P,|YPPP>>,YGkPG>8*8[55y55P7775777PkPkPkPkPkPtkGkGkGkGkG>,>,>,>,tYtPtPtPtPtYtYtYtYbGkPtPtPtPbGuPbPkPkPkPkGkGkGkGtPkGkGkGkGtPtPtPtPtPtP|Y|Y>.>.>,>.PkPb,b,b,b,b,tYtYtYtYtPtPtk>k>k>Y>Y>Y>Y>b,b,b,tYtYtYtYtYtYkbGb>b>b>tPb,tYk>Y>b,bGbGtPtPtYkG>..tPNkkD5P;;PcN88iiW(wwhi(((RRP%%PP(R('```5[`"u^<>vvb-uv---\\Z**ZZ-\-'llll<gl"u^NN_uu¶*NNu:N:AuuuuuuuuuuAAh׭N[ϨܨNANmu~huhuhNuuAAuAuuuwN[Auuuuhpxp~:NNNNuPPPNPPPuhhhhhϜhhhhhNANANANAuuuuuuuuuuhuuuusuhhhhhhhuhhhhuuuuuuuuNCNCNANC[uAAAAAuuuuuuϨNNN[[[[AAAuuuuuuܨuhhhuAuN[AuuuuuhNCCuN;gdNhccrrA:AA::ii>>uu:iA'llNr"u^[N^uu/NNu:N:AuuuuuuuuuuNNu٨[uܨ騨NANuyuhhNuANA‚uh[Nuuuh\=\y,NNNNuPPPNPPPuuuuu騨hhhhh[A[A[A[Auuuuuuuuutuuuhhhhhhhhuuuuuu[C[C[A[CuAAAAAuu騨hhh[[[[NNN騨uhhhAh[Nuuuh[CCuNdNuUUurQQ::::wwu66uu:w:'N"u^PPbxxȻ+PPx_}.PPPPxRRRPRRRxxxxxkkkkk]C]C]C]Cxxxxxxxxxxxxxkkkkkkkkxxxxxx]D]D]C]DxCCCCCxxkkk]]]]PPPxkkkCk]Pxxxk]DDxNgPxXXxuSS<<<<zzx88xx,""w ""                  ""PodstatouuvedenhojevemijednoduchUprincpriadeniazabezpecujcehozbiehanieprocedurlnehoprogramu:Nech n jeporadovcslointrukcie, m jecelcsloaNILzodpoved -)- przdnejintrukcii,potomtentoprincpmvo funkcnomvyjadren tvar .). w8????=-)j ( t `@@_ bw ""                                          ""  Jednoduchosriadiacehoalgoritmumzansledoknevyhnutnosdomysliedo n  vetkUchpodrobnostisitucie,doktorUchsaspracvaniedajovm=edosta,asp=soby,akosavnichmvUpoctovUprocessprva. VedietokpotrebetvorbySX@ XX;Xriadiacejinfra @  @ truktryvUpoctovUchprocesov.XXXSX@Zodpovedajceprkazysspravidlaroztrsenvtele +{ programov,cosp=sobuje,eriadiacainfratruktrajecastoneprehadnaakozrozumitendokoncaajsamotnmuautoroviprocedurlnehoprogramu.  Ubolopovedan,eESsavytvrajnarieenieproblmov,prektorniesvopred 7 dandeterministickalgoritmy,ibanapoznatkochspocvajcesituacnpredpisyvedceknachdzaniurevokovatenejpostupnostivyuitenUchrieiacichkrokovpotencilnevedcichkelanmuvUsledku.Programovrealizciazodpovedajcichprocesovvyvolvapotrebu  programovaniaodlinhotUluvporovnansklasickUmprocedurlnymtUlomprogramovania:w8????=-)j (  `@@ 2""_ bw ""                  ""Aprvevtomtospocvaprincp deklaratvneho(situacnho)tUluprogramovania . "!  Zd=razujsapritomzkonitostirieeniajednotlivUchdruhovproblmov,pricomsado #" znacnejmieryichsymbolovvyjadrenie(reprezentcia)separujeodvlastnUch(univerzlnych)rieiacichprocesov.i 2#  7       {% $   Prideklaratvnomprogramovan rieitenosproblmunezvisodiadnejkonkrt d&!%  d&!% nejriadiacejstratgie ,ibaodpecifikovanUch,vzjomnenezvislUch(alebolenmlo O'"& zvislUch)symbolovUchvUrazovreprezentujcichzkonitosti,ktorUmpodlieharieenieproblmu.ProgramovaniespocvanavyjadrenpodstatnUchabenepredvdatenUchsitu #)s$(  #)s$( cichvyskytujcichsapririeenUchproblmoch(teda nievUpoctovUchprocesoch )apriraden  zodpovedajcichakci.To,ciakedyvzniknjednotlivsituciesanemuspredvda.Jed    notliv situciesurcenzostavami   0  znmychdajov 󀄀tiem=ubydodan,zskan,odvoden,predpokladanaete n nespochybnen), "" 0  chUbajcichanedostupnUchdajov ,T "" 0  dajovkorepondujcichsobsahominfratruktry rieiacichprocesovzodpove Q   Q  dajprebiehajcimstavomrieenhoproblmu. "" (Uvedenkateg;riedajovcharakterizujrieenUproblmajjehopriebeh.)  KeiezbiehanierieiacehoprogramujepodmieovanvUskytomsituciatiesurcovandajmi,hovorme osituacnomaleboodajmiriadenomvykonvanprogramu .  Y    Prideklaratvnomprogramovantedastac,keisavhodnereprezentujzkonitosti D  problmovejoblasti.Nsledne,pririeenproblmovsanemusformulova ako sam -  postupova,stacuvies co samriei.   t8'''':*&j  `@@!"t ""                              ""l8:*&j  `@ @""""l ""                     ""  Programovrealizciainterprettorajeprostriedkom,ktorUumoujevytvraniede "N!  "N! klaratvnychprogramov.OdbremeujetvorcutakUchprogramovodnevyhnutnostipredvdapostupnosvykonvaniajednotlivUchkrokovdeklaratvnehoprogramu,tedastarosoriadeniejehozbiehaniaavytvraniazodpovedajcejinfratruktry. % !$  l8:*&j  `@ @#-"""l ""                     ""   Vykonvaniedeklaratvnehoprogramujeriaden(vovobecnosti)netrivilnou .#*. procedrou.Najejformlneuvedeniezavediemenasledujcusymboliku.Nech   10  sk jestavrieeniaproblmudanUaktulnoukonfigurcioudostupnUch,nedostupnUch,  danUch,odvodenUch,predpokladanUchdajov,akoajdajovkorepondujcichsobsahominfratruktry,napr.pouit,preruen,spen/nespen,zamietnutapod.opercie, ""  10  g je zobrazenm tohtostavuna mnoinu{ok} aplikovatenUch(prpustnUch)operci Q  (mnoinaaplikovatenUchoperciimplikujevzniknedeterminizmu!),t.j.situacne N   N  akcnUchpravidiel(vprpade,eabsentujpotrebnpoznatkym=ebyttomnoinaajprzdna,covyadujeprostriedokoetreniatakhostavu), ""  10  f je funkcia, ktorvoveobecnostinetrivilnymsp=sobomvyberievhodnoper  Z    Z  ciu(pravidlo,intrukciu),jejporadovcsloznacme n ,aleboukonccinnos(tomu W  zodpoved NIL ).B "" Tedariadiacaprocedrazodpoved zobrazeniuanslednejaplikciivUberovejfunkcie ,co -  vyjadrmevtejtopodobew8????=-)j ( t `@@$_ bw ""                     ""   VUberovfunkciaf ,vzvislostiodd=myselnostijejrealizcie,m=esymbolizova  odtrivilnehoapovemisofistikovanUm heuristikm zodpovedajciproces:  mechanickUvUbernajmenieho,cinajvcieho n ,  nhodilUvUberopercie(akcie),  vUberopercie(akcie),ktor  0  1bolaposlednepreruen,tedanedokoncen,"" 0  1jebuizovetkUchprpustnUchnajveobecnejiaalebonajpecializovanejia, "" 0  1poslednevykonannajlepiedopluje,alebojeprvejejopakom,!"" 0  1saposlednevykonanejaibaciastocnespenejnajviacpodob," "" 0  1mpreuskutocneniekdispozciinajviacdajovalebonajvhodnejiedaje(spoa #!  #! hlivos,presnos,kategoricnosapod.), "" vUberopercie,ktor r% # 0  1jebuinajcastejiealebonajzriedkavejiepouvan,o&!$"" 0  1sp=sobaktivciubuinajvciehoalebonajmeniehopoctunadvzujcichakci,l'"%"" 0  1sp=sobaktivciunajlacnejch(napr.vzmyslevUpoctovejzloitosti,nrokovna i(#& doplneniechUbajcichdajovapod.)nadvzujcichakci, "" 0  1mpotencilzskanajviacnovUchalebonajdiferencujcejichinformci,O*%("" 0  1savanalogickejsituciinajcastejieosvedcila,L+&)"" 0  1vzhadomnadankrtria,pokiaichspluje,zabezpecujenajrUchlejiedosiahnutie I,'* cieovhostavu, "" aialie.  Jezrejm,eibatakrealizciavUberovejfunkciejemon,ktorbuijednoznacne /h*- vyberiejedinztUchtoalternatvtojeprpad(pomernedobrezvldnutUch)procesovniejrovne,alebojedin makrooperciu tvorenvhodnoudeterministickoukombinciou  zodpovedajcichopercicojeprpad(zatianedostatocnepreskmanUch)rieiacichprocesovvyejrovne.HocisamotnUprocesvUberuopercimnevyhnutnepovahuurcithoviaccimenejkognitvneefektnhoalgoritmu(ajkeibyspocvalibanamet;degenerovanianhodnhovUberu),vzhadomnaabsentujcicielenUnvodnarieenie jetakUproces ?  nedeterministickUibanezvzneskmaaplikovatenosaspenosvybranUchoperci!  * z    Nedeterminizmus ,akocharakteristickUrysproblmovrieenUchES,implikuje,e  c rieiaceprocesyspravidlaobsahujmnohotakUchkrokov,vktorUchnastvaaspojednaznasledujcichsitucib80 b  `@%"b ""                        ""  Prialternatvnompreklenovannedeterminizmovsauplatuj heuristickpravidl.  Q Stoaksinezd=vodnenen,sksenosounadobdannvodynarozhodovanievnedeterministickUchsitucichrieiacehopostupu.Hociscastospen,predsalenniesspoahlivouzrukounjdeniasprvnehopostupu,m=uviesajknezdaru.akosspocvavtom,eb8Z0 b  `@&""b ""            ""pretoniejenvodomkdeterministeckmurieiacemupostupu. 1.50  Paradigmadeklaratvnehoprogramovaniaaproduktvnerieiacepostupy !( ""   Takenazkladedoterajchvahsaoaplikovatenostiprocedurlneho,resp.deklaratvnehoprogramovania,dvyslovinasledovn O'"&  O'"& t8|4444:*&j  `@@'"t ""                                "" Paradigmadeklaratvnehoprogramovania b  t8]4444:*&j  `@@(""t ""                        "" Deklaratvnyprogramt8^4444:*&j  `@@)+""t ""                                    ""Tvorbadeklaratvnehoprogramupodlieha  , (,  .). t8_4444:*&j  `@@*Z "t ""                  ""  Odclenenierieiacichprocesov,atedasvisiacichriadiacichkontruktov,odvlastnhodeklaratvnehoprogramu,vUrazneuahcujetvorbujednotlivUchprvkovprogramu,porozumenieichposlaniuacinkovichpouitia.l8a:*&j  `@ @+/"Z "l ""               ""Zhrujcuvdzame: Produktvnerieiacepostupy  b b8d0 b  `@,w)"/"b ""                                                               ""  PodkapitoluuzatvrameetepoznmkoutUkajcousar=zneponmatenUchpohadovnaprocesy prehadvania .Zd=razovanaspektynajcastejiehovoriaorieiacichpostupoch +%'+ vterminol;gii: .).  .). b8~0 b  `@- "b ""          ""Ideovzjomnesanevylucujcehadisk,ktor0  sstreiujpozornosnaliacesaprstupykreprezentovaniuarieeniuproblmov,  _ pricomkadUznichmsvojeoprvnenieajposlanie, "" 0  zosyntaktickUchhadsksvoveobecnostivzjomnezameniten. E "" l8:*&j  `@ @.." "l ""                     ""l8:*&j  `@ @/ "."l ""                              ""l8:*&j  `@ @0_'" "l ""                     "")XXXX 1.60  FormlnalogikaajejpostaveniepritvorbeES @)$(""   InterpretciadeklaratvnehoprogramustelesujcehopotrebnznalostsvissrealizciouuniverzlnychprocesovuplatovaniareprezentovanUchpoznatkov.Zodpovedajciprocesmusspocva(by"ukotven")napevnUchteoretickypodloenUchprincpoch.Avtommajformlnelogikynezastupitenpostavenie.StUmsvisobsahtejtopodkapitoly.  Zpohaduformlnejlogikysstavaznalost Z (axi;myateormy)reprezentovan .*. prslunUmisymbolovUmiprostriedkamimvkonkrtnychprpadochumoninjdenievetkychpravdivUchviet(klauzl),ktorznejvyplUvaj.Toznamen,ekeisavrmci Z had  odpoveinakonkrtnuotzku Q ,jenevyhnutn,abysadalozisti,ci Z umoujetto  odpoveiurci(odvodi).Vsymbolovomvyjadrenpeme0  Z[Q ,A "" kde[ jesymbolompre'urcuje'(odpoveinaotzku Q ).  e l8:*&j  `@ @1R" l ""                  ""Tiemusiaumoninaprkladnazkladepravidieltypu0  zx(a(x)[c(x))  """(1.1) j nazkladeplatnostiprediktu a(K) 󀄀t.j.zpravdivostitvrdenia 'K mvlastnosa' > odvodizo Z preindivduovkontantu K odpoveinaotzku Q ,tedaplatnos c(K) ,co ) znamen,e K majvlastnos c .Symbolovopeme  0  a(K)c(K)  """(1.2)  kde  jesymbolompre"odvoditen".Odvodenieodpovede c(K) zabezpecujpravidlin l  l ferencieaplikovannapravidlatypu(1)obsiahnutv Z anafakt(poznatok) a(K) . W t84444:*&j  `@@2"" R" t ""               ""  Logikavytvrazkladu syntaktickUch 󀄀mechanizmovalgoritmickhoexhaus #"  #" tvneho(zosmantickehohadiskanedeterministickho) prehadvaniavetkUchd=sledkov, $#  ktorvyplUvajzmnoinysplnenUchpredpokladov.Jej % $ w8????=-)j (  `@@3x*" "" w ""            ""ₐ@}`urcujd=sledkypriamoodvoditenzmnoinypredpokladov,umoujusudzovaow8????=-)j ( : `@@4/" x*" w "".).       .). @`ktorvak@V}`nemusianastaaleboniesplauzibiln(vierohodn)anirelevantn(vUznamn),  k  w8????=-)j (  `@@5@ "= w ""               ""l8:*&j  `@ @6"= @ "= l ""                                       ""  Vimnimesiialieakosti.  Vpriebehurieeniakonkrtnychproblmovm=esamenipravdivostvrdenorealite(napr.kv=lidynamickUmzmenmvnej).PretojenevyhnutnsstavnesledovabezospornosvetkUchdanUchaodvodenUchtvrdenapodapotrebyjenevyhnutnichaktualizciouzabezpecovakonzistentnosrieiacehopostupu.l8:*&j  `@ @7P&"= "= l ""                  ""  Pririeenrelnychproblmov,vpociatocnomstaverieeniaspravidlanieskdispozciivetkypotencilnepouitendaje.Tiesavpriebehurieeniapostupne,podapotreby,zskavaj,zhromaiuj.PrlivnovUchdajovm=eviesksitucii,ktorvyaduje(dramatick) preformulciup=vodnhoproblmu arieenieplnenovho.Procesyprefor *Q%)  *Q%) mulovaniaproblmunieszaloenna formalizova(te)nUchpostupoch ,majpredovetkUm *<&* empirickpovahu.l8:*&j  `@ @8S0"= P&"= l "".).       .).   ProstriedkyinferencievJPPLvyberajniektorUzmonUchalternatvnychrieiacichpostupovlenvzhadomnarieenieprveaktulnejciastkovejlohynezvisleodrieeniaostatnUchpodproblmov,cicelkovhociea.Realizujtedalentzv. loklnerieiaceprocesy . T Absentujevnichmonosuskutocova globlnerieiacepostupy(makrokroky) ,t.j. ?  sp=sobiloszurcithonadhadu syntetizova ciastkovlohy.NaprkladvyuvaurcitU * z plnovacmechanizmusanalyzujcistavovUpriestorproblmunavUberakcie,ktorUumoujescasnerozhodovamedzivcmpoctomalternatvnychpostupov(vUberehypotz).  RieeniepraktickUchproblmovnezriedkavediekpotrebereprezentova,smantickyinterpretovaaprocedurlnevyuvaajinakobenlogickkvantifiktory,naprkladNAJMENEJ,PRVE,NAJVIAC,MLO,MNOHO,SPRAVIDLA,bASTO,ZRIEDKAamnohoinUch.PodobnejecastoiaducereprezentovanemlovUnimiek(napr."KadU(?)vtklieta","KadU(?)kovjekujnU".).ProstriedkyJPPLneposkytujktomupriamociaremonostianinadeklaratvnejaninaprocedurlnejrovni.(KUmprvtrizuvedenUchkvantifiktorovsjednoznacnadajsavyjadriprostredncrvomuniverzlnehoaexistencnhokvantifiktora,ostatnsproblematickejie,lebo,okreminho,szvycajnekontextovozvisl).  Psychol;gia(zrejmeoprvnene)tvrd,e: inferencnpravidlJPPLniestoton h sprirodzenUm(spontnnym)usudzovanmcloveka .Tensivytvra,osvojuje,prebersys S  S tmypravidielamechanizmovichpouvania,ktorsaodliujodformlnychpravidiellogiky,napr.jednoduchUprincpsubstituovaniapravdivostnUchhodn=tdoprems(napr.hradlovanie,komplementovanie,asociovanie,akootompojednmevialom)asledovanie  d=sledkov,ktorztohovyplUvaj.  JPPLumoujeprireprezentciiznalostvynechvamnostvopecifikciskutocnost,ktorsp=sobujneplnosreprezentcie. TUmsaprednosJPPL,ktorspocvavjeho | veobecnosti,stvazrovejehonedostatkom. VUchodiskosahadanachdzavpouvan g  jednoduchieho ,ci slabieho formalizmu,resp.jeho obohateniemimologickUmikontruk R  R tami . =   SchodnostohtopostupuvyplUvazexistencieviacerUchprostriedkovnatvorbuznalostnUch(expertnUch)systmov.KadUznichjevUsledkomsnahyhada kompromis  a medzipoiadavkamilogickejkoherentnostiaprijatenejvUpoctovejzloitosti,akoajmedzivlastnosamisymbolickej(syntaktickej)amentlnej(smantickej)logiky . !5    Hadajanachdzajsanetandardninferencnprocesy(aprirodzenezodpovedajceformalizmyreprezentcieznalost),ktordoplujtandardnvhodnUmirieiacimischmamipre situacnuprednostovanaselektvneodvodzovanieibacielenejpodmnoiny $# logickUchd=sledkov .Prostriedkomtohosnaprklad % $ 0  neklasicklogiky (modlne,viachodnotovumoujcestupova"pravdivosti", x&!% resp."nepravdivos",neostr/fuzzylogikaimplikujcaaspojit(prpadneajnelinerne)kontinuummedzipravdouanepravdou,(modlne,viachodnotov,t.j.stupovanie"pravdivosti",resp."nepravdivosti"apospojit(prpadnenelinerne)kontinuummedzipravdouanepravdoufuzzylogika), "" 0  nezvznpouvanie ocakvatenUch(predpokldatenUch)dajov nahradzujcich G)$( chUbajce, "" 0  udrovanie konzistentnosti odvodenUchfaktov nemonot;nnalogickinferencia -+}&*  (odvodzovanie),*,z'+"" 0  oceovanie"nkladov" zavyhodnocovaniepodmienok(zskavaniedajov)a -c(, vykonanieoperci(ichinformacnUprnos), "" 0  smantickodlovanie poslaniaoperci(pravidiel),cicaststavovhopriestoru .I*. rieeniaproblmu(napr.rozliovaniehlavnUchavedajchinferencnUchschm,rozliovaniefenomenologickUchakauzlnUchzvislost,repektovanieohranicenapod.), "" % F 0  pecifikovanie,generovanieapouvanie podpornUchriadiacichdajovUchtruktr k aciastkovUch(generickUchmakro)procesov umoujcichobohacovaprostriedky h odvodzovania,ktorvyplUvajzvlastnostJPPL, "" ain.  Voveobecnostijestvujdve alternatvypouvaniamimologickUchkontruktov % u  amonosichkombinovania:  `  (1)0  rozreniesystmulogickUchklauzloriadiacedajovtruktry,ktorumouj  I  explicitnevyjadrovasituacnepodmienenriadiaceakciea "" (2)0  rozreniefunkcnUchsp=sobilostinterprettoralogickUchformlosituacneriaden   spanieprocedurlnychrieiacichmechanizmov. ""   1.70  Poznatkyaznalosti o "" NazvertejtouvdzajcejkapitolyvenujmepozornosetevUznamu,vktorompouvamekcovpojmysvisiacesfenomnom(nazvanUm)expertnUsystm: poznatok a znalos .S +{ topojmy,ktorUchvUznamsanedjednoduchodefinova,najmvtedynie,kebysamalizohladnivetkysvisiaceaspekty.PrepotrebyvUkladuvnadvzujcichkapitolach(akv=li O vytvoreniuneprzdnhoprienikuprvkov'mentlnehomodelu'citateaaautora)uvdzame 9 vymedzenia,ktorsnepochybneprimeranouaproximciutUchtofenomnov,pricomchpovaujemezaotvoren,tedanenrokujcesidefinitvnos. ] t8????:*&j  `@@9P0"wt ""                                                            .).  t8N????:*&j  `@@:N""t ""                                                                                             "" Termnznaloszahrujeakombinuje #" 0  deskripcie(opisy,defincie) identifikujce a rozliujceentity ajich triedy 󀄀s $# vyjadrovan vetamiurcithojazyka, ktorUchprvkystvoren primtivnymi % $ konceptami ,s&!%"" 0   relcie ,ktorvyjadruj vzahy (zvislosti,podmienenosti)enttzodpovedaj ]'"&  definicnUm,asociatvnym(empirickUm),prcinnUm(kauzlnym),taxonomickUm, Z(#' trukturlnym,kontextovUm,priestorovUm,casovUm,funkcnUm,lohovUm,ohranicujcim,modelovUmariadiacim/regulacnUm vzbm(svislostiam),,*|%)"" 0   procedry(preskripcie) ,ktor postupnosamioperci vpriebehurieeniaproblmov +g&* (situacne) vymedzujpouvanieainterpretovaniedeskripciarelci .,d'+"" HociprebenodbornajlaickrieenieproblmovttoabstraktnkategorizcianebUvaprnosom,vprpadeichkomunikovania(vUklad,clnok,ucebnica,symbolovreprezentcia .!*. ati.)ichutriedenie,trukturovanie,zd=vodovanieapod.sastvauitocnUmanevyhnutnUm.Ajetomutakajprireprezentciiznalostvpoctaci.  Vsnaheobsprpadnnejasnosti,neurcitosti,nedorozumeniavnadvzujcichtextoch,uvdzamevUznam,vktorompouvameniektorzvyieuvedenUchpojmov: Defincia 0 ` presnaplnvymedzenie/urcenieobjektov,javov,procesov.& v` "` "  Asocicia 0 ` obvykl,pozorovaten,cipravdepodobn,nievaknevyhnutnazd=vod # s  # s ne(nite)nUvzah(y),spojenie(a)medzidvomialeboviacerUmientitami(napr.ichscasnUalebonslednUvUskyt). ` "` "  Kauzalita(prcinnos) 󀄀znmezd=vodnitensvislostimedzidvomialeboviacerUmi  B  0  0` ""entitami,ktorsvovzahuprcinyansledku. ` "` "  Taxon;mia 󀄀zodpovedusporiadanUmvzahomtypuveobecnejpecilnej(generali (   (  0  0` ""zacnopecializacnvzahy),aleajnadriadenUpodriadenU,predchdzajcinsledncky(napr.vUvojvcase)umoujceorganizovanie/usporiadavanieentt.  ` "` " truktra0 ` vzjomnUvzahprvkovcelku,t.j.ichzloenieaorganizcia,akoajvzah  prvkovkcelku. ` "` "  Kontext 0 ` okolnosti,svislosti,zaktorUchsauplatujurcitpecifickvzahymedzi v entitamipodmieujceichliacesapostaveniecilohy,tedaajr=zneprpustnvUznamy(poritielohy).\` "` "  Priestorovvzahy 󀄀vtomtoprpadesaspravidlajednopozicn,rozmerovasmerov F 0  0` ""vzahymedzientitami(susedstvo,vntrovonkajok,vekos,vzjomnvzdialenosti/poloha/orientciavpriestore,tvar,smerpohybuati.). ,|` "` " basov(temporlne)vzahy 󀄀spravidlasauvaujsvislostimedzientitami,ktorvzha e  e 0  0` ""domnaichvUskytalebozmenyvurcitUchcasovUchokamihoch/intervalochpodmieujokamit,scasnacasovonslednvUskyty,cizmenyinUchenttτumoujuvaovaojavochminulUch,scasnUchabudcich. ` "` "  Funkcnvzahy 󀄀sprvanie,poslanie,cipouitieentt.   Blohy 0 ` znmecipredpokladanpolymorfizmy(polyfunkcnosti)entt(tistaentita  m=emar=zne(situacnepodmienen)lohyaposlaniesodlinUmikvalitami,vlastnosami(pozritiekontext)..!` "` "  Ohranicenia predpisyazkony(spolocenskaprrodn,vrtanevzahovkfyziklnym, "  0  0` ""chemickUm,biologickUm,ekonomickUmkontantm)vzahujcesakentitmaichvzjomnUmfunkcnUm,trukturlnym,ekonomickUm,socilnymainUmvzbm(podmienenostiam). ` "` "  Modelovvzby 󀄀znmecipredpokladandynamicksvislostiurcitUmsp=sobom R&!$ 0  0` ""vzjomnepreviazanUchaovplyvujcichsaentt,ktorreprezentujtruktruasprvaniesamodelovanejpredlohy. ` "` "  Regulacn/riadiacevzahy 󀄀pecifickzvislosti,nazkladektorUchjemon !)q$' ovplyvovasprvaniesaentt.  Zverometedvapojmy,ktorrozlujznalostzhadiskaichposlaniavznalostnUchsystmoch: term a asercia . ,)(+  .)- Ї t8R4444:*&j  `@@;"kt ""                                 ""t8V4444:*&j  `@@<"k"kt ""                                    ""   UvedentypyznalostjevUhodnsymbolovoreprezentovaodlinUmiformalizmami. Z Onichsapojednvavnasledujcichkapit;lach.Predpokladme,euajpoprectantejtovodnejbycitatemalmaasponeplnpredstavuotomcosaskrUvazafenomnomnazvanUmexpertnUsystmasniajvczujemttopredstavusiprehbitdiomnasledujcichkapit;l.% >