WPCo  0} 0xX 0j- 0j9. 0: 0}l; 0a 0 0 07#- %< 0 B K 07 0 |TU. 009 0Bi 0U 0U<- 0] 0 0 0g! 0"" 0" 0# 0W$ 0y$ 0s% 1L& 0S'J( 0[+ B,E-U<- 0M- 0 / / 10 0=0 0F0 0P&1 1mv1 0 D1'2 Bs*2 03 0K4 D34 AIM-5 0Iz5U.7U <@7U|7UD7 7 B17U<7U.78e8 B*9 D+:U<=: ' C ==t?^@BUDEgEDFU<H~HOURQ{QNR|? VwhWd[ \VR3ad06a cwf]h3Vi k)aKV^XUDq 0r(YubKSwiwu'NzGv9G#Y O,ׄZo y:ԗU<6Xu69f[8|~)ZH`UD=r-{i0NafX Ow> g_]XAC}'rɳ3o  Dm[H;("";8U<l.5O6li8 f%;W:UROyJ]Bo .hxk !2fofafak8 '*9r4!$!"!`B!ǂ!!q!.!a!2!4!6!8!k!;!=! @!B!)D!H! L!N!)P!T! X!Y![!]! `!!!b!d!f!h!iI! k )H! mNumbers..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 4Si PostScript$("*US.HP4SIPS.PRS7hhhhhhhhD:\POPPER1Hu f@1Xz :Right Par[4]Right-Aligned Paragraph Numbers..` ..`  .. .. 2a.3  Ԁ .. 0..1&   9"    NarozdielodbenUchdtabzobsahujcichibakonkrtnedaje,zisovanie(odvodzovanie)odpovedenaotzku Q vovobecnostivyadujenaviackprehadvaniusstavy  explicitnUchpoznatkovv Z hadaajiba implicitne obsiahnutodpovede.Pretok Z   musiajestvovainferencnpravidlodvodzovaniahadanejodpovede.z :Right Par[5]Right-Aligned Paragraph Numbers..` ..`  .. ..h..2(1)3  Ԁ..0h..h(Tf$TR駐3'3'3'Letter (Portrait)  3'T d E 9"    umoujhovoriotom,bOAKEDY MUS0 nasta,vtedyjevUhodnUtUl   procedurlnehoprogramovania ,lebokdanUmproblmomdokemestvori  jednoznacnUaefektvnyrieiaciproces.z :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 E 9"     9"    (1)0 X syntaktickUmpravidlmzvolenhoreprezentacnhoformalizmu,X9X9 (2)0 X akorepondujcimprincpominterpretcieformliriadeniupriebehu  interpretcie. 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(3H$ 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 1HAP Pd.b4 p`$Roman-WPType 1<6X9`(Courier Table_C _ 9"  w88($bx  `@F8F8w  w88($bx  `@= 8F8= 8w@MKeizkonitostiplatnprerieenienieproblmu&p d Pd'dxd.b4 p`$Roman-WPType 1./0 9"  XX@ produktpracovnej,spolocenskejamylienkovejcinnosti  \ 9"    Predstava stavovhopriestoruproblmu vediekvahmo grafe, ktorho vrcholy   zodpovedaj stavom rieeniaproblmua hrany zodpovedaj operciam meniacimstav  nainU: produktvnerieenieproblmu mpotompovahu prehadvaniamonUchciest   medzivrcholomzodpovedajcim pociatocnmustavu rieeniaproblmuaniektorUmz  vrcholovzodpovedajcich podmienkmcieovhostavu. A  *L$    4    ݀PreconedokemescasnerozmUlaoviacerUchzleitostiach,akUjeprocesporozumeniavUznamu  sl=v,cosaodohrvavnaekmuslikei4vynsobme7,cojepodstatouprocesuzapamtvaniaavybavovaniazapamtanho,precorovnakoznejculohuodborncizprslunejprofesierieiaodlinerUchloakvalitne?...  9"  (a) prehadvaniastavovhopriestoruproblmu ,  (b) procesovsplovaniaohranicujcichpodmienok ,  (c) logickejinferencie . x *L$    7      ӀProblematikauniverzlnychrieiacichprocesov,akotobolouvpredolomspo    menut,msvojenezanedbatenlimity.Onichbuderecvneskorchkapitolch.VnichsahovoromonostiachobohacovaniauniverzlnychpostupovpecifickUmigenerickUmimakrooperciami,ktorvUraznezdokonaujsp=sobilostiES.PostupnosvUkladuprincpovtUchtosystmovumouje,bavyaduje,odsunprsluntmynanesk=r."BDO??=K'  N *H$    7      ӀProblematikauniverzlnychrieiacichprocesov,akotobolouvpredolomspo  menut,msvojenezanedbatenlimity.Onichbuderecvneskorchkapitolch.VnichsahovoromonostiachobohacovaniauniverzlnychpostupovpecifickUmigenerickUmimakrooperciami,ktorvUraznezdokonaujsp=sobilostiES.PostupnosvUkladuprincpovtUchtosystmovumouje,bavyaduje,odsunprsluntmynanesk=r.1 p,Roman-WPBoldType 1  98"    (1)0 X syntaktickUmpravidlmzvolenho 9"    @ +3Akobolovyieuveden,deklaratvnyprogramajehointerprettorvo"vlastnejrii"zabezpecujodvodenierieiacehopostupuvyprodukujho. l 9"  ;XXXXvyuvanmsboruveobecnUchadoplujcichpecifickUch  stratgispocvajcichnaveobecnUchanajmpecifickUchznalostiachtakUmsp=sobom,eminimalizujvUpoctovzloitos,ktorjevlastnrieenUmlohm..b4 p`$Roman-WPType 1  98"    0 X vyadujprehadvanie,odhadovanie,vobu,sk"|qnddddfĐn×rcnksX7SNNggCCNN77//Tmmw}\ 9"  XX @ sreprodukciouurcitejvymedzenejcastiobjektvnehosveta    @ $ avomplatnUchzkonitost   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.  *L$    5    ݀Zujemcomohbiepreniknutiedotejtoproblematikymonoodporuciradliterrnychprame\ov.  SpomedzioponentovstrojovhomyslenianajmpodielachSearlaaPenroseho.SpomerneshrnUminhadminattoproblematikusadoboznmiv(Russell,Norvig,1995,kapitola26)..D9 p:Roman-WPBold ItalicType 1 \ 98"    Predstava stavovhopriestoruproblmu vediekvahmo grafe,   9"    Predstava procesovsplovaniaohranicujcichpodmienok vnmarieenieproblmu  ako postupnsplovanieexplicitnezadanUchohranicujcichpodmienok :Vrie    iacompostupesapostulovan(predpokladan)pociatocnmnoinaobjektov,oktorUchsapredpoklad,em=uvyhovovadanUmohraniceniam,sapostupnezuujevzvislostinakonzistentnostijednotlivUchobjektovaichvlastnostsdanUmiaodvoditenUmiohraniceniami(odvoditenexplicitnealeboimplicitnevyplUvajzreprezentovanUchzkonitostproblmovejoblasti)apotencilnekmnoine,obsahujcejobjekt(y)najlepievyhovujci(e)vetkUmohranicujcimpodmienkmtojecieovUstav.  A 9"  @ monostiach ,  9"    KUmvzah(1.1)je deklarovanmurcitejznalosti(poznatku) zdanejproblmovej  oblasti,vzah(1.2)vyjadruje procedurlnustrnkupouitiadanhopoznatku.  m 9"  Predstava logickejinferencie vnmarieenieproblmuakologickrezolvovanie:  Predpoklad(postuluje)urcitUlogickUsystm,ktorUumoujezdanUchaxi;mauod    vodenUchtvrdenodvodzovaialie.PostuprieeniaspocvavprehadvanpouitenUchaxi;matvrdenazvybratUchlogickouinferenciouprodukujenovtvrdenia,kUmsanenajdeodpoveinaotzkuzodpovedajcurieenmuproblmucieovUstav.  9"  ;XXXX 8 X programovUproduktstelesujciznalosti  umoujcestratgiamiriadenexplorcieproblmovhopriestorupriefektvnomprodukovansprvnychrieiacichpostupov . C 98"  Predstava e 9K"r^X` / f!T@R駐3'3'3'Letter (Portrait)  3'T  ݀  8  KonceptmentlnehomodelunespochybujeaniSearle,hocijejednUmzvUraznUch  spochybovacovstrojovhomyslenia.  9"  XX@ stransformciourozptUlenUch XX (ajnejasnUch) #XXu#Ԁpredstvatuen  @i dotakejkomunikovatenejformy,vktorejsaznich@;! zachovvato,comonooznmiinUm@s akoustlenUzkladracionlnehokonania  9"  H9:   0 X bslicovUpoctacsplujenutnapostacujcepodmienkypre  vykonvanieinteligentnejcinnosti.  u 9"    bOSBSTELESNEN0M ODBORNTCHZNALOST0 ZURbITEJPROFESNEJ  OBLASTIASLBIANAPODPORU(PR0PADNEAJNAHRADENIE)ODBORN0KOVEXPERTOVPRIRIEEN0ODBORNTCHPROBLMOVTVORIATEDAPODMNOINUZNALOSTNTCHSYSTMOVZODPOVEDAJB EXPERTNTMSYSTMOM .#|6 , *L$    2    ݀+ XX+EdFeigenbaum(p=vodnetudentHerbertaSimona),BruceBuchanan(p=vodomfiloz;f,ktorUsa  stalinformatikom)aJoshuaLederberg(genetik,nositeNobelovejceny).  *L$    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. m *L$    6    ݀+ XX+JejvUraznUmoponentomjeJ.R.Searlepozrinapr.J.R.S.:Minds,BrainsandScience,Harward  UniversityPress,Cambridge,Ma.,1984;ceskUprekladMysl,mozekavkda,Mladfronta,Praha,1994.#X+X+D# 9"    PROGRAMOVSYSTMY,KTOROPIERAJBSVOJUbINNOSOSYMBOLOVBREPREZENTCIUZNALOST0,NAZTVAME ZNALOSTN  SYSTMY (NAZNALOSTIACHZALOENSYSTMY) & 98"  existenci,pr  9"    Podanejoperciesosymbolmi,t.j.ichvytvranie/ruenie,spjanie/rozcleova    nie,truktrovanie,menenie,porovnvanie,zaraiovanie/preraiovanie/priraiovanieapodobne,prirodzeneibavtedy,keizleitostsvhodnereprezentovanprimeranUmisymbolmi,umoujrealizciumodelovaasprostriedkomsimulcieprocesovmyslenia.  98" "fxdd/dIIkkkEEkH@ddH///IIId//ddddddk``d+IdddȅHSik y 9"  poznmeibanatokodobre,eviemepredvdaIBAbOAKEDY M<E   nasta,vtedyjepotrebnvytvratakrieiaceprostriedky,ktorumoujpotencilnodvodeniepostupurieenia,jetoprpad,keijepotrebnorientovapozornosna deklaratvneprogramovanie .  9"    Viakadeklaratvnemuprogramuniejepotrebnvopreddeterministickypredpi  sovajednotlivakcie(opercie)aichpostupnos.Interprettornapr.nazkladezistenhorozdielumedzielanUmaskutocnUmstavomrieeniaproblmu,vyhad,  vyberieazabezpecvykonanieopercivtedy,keinmdetekovansituciaakciuvyadujealeboumouje.  9 9K"r^X` h  9"  XXXX  0 X vyjadrovacejcinnosti(expresivite) ,t.j. coavakomrozsahu umouj   repre  Аzentova ,X9X9 0 X odvodzovacejcinnosti(pouitenosti),coaako umouj odvodzova ,X9X9 0 X vUpoctovejcinnosti(efektivite) .1 p,Roman-WPBoldType 1  1 p,Roman-WPBoldType 1  9"    Podstatns funkcieprogramu vykonvanhopoctacom.TenistUprogramm=eby  preloenUdoplneinhovUkonvatenhok;duzbiehatenhonakontrukcneinompoctaci,uskutocujcomsvojecinnosti(ajfyziklne)odlinUmsp=sobomanapriektomusarealizujetistfunkcia. ( KonformnsH1 .) Tedapredokonalpochopeniecin    nost,ktorm=evykonvafyziklnysymbolovUsystm,jepodstatnpochopifunkcieprogramuaprincpy,ktorumoujrealizovaelanfunkcie. A 98"    9"    Avak mechanizmylogickejinferencieskumulatvne(monot;nne) :priodvodzo    vannovUchtvrden,vetkyvpredolomodvodenzostvajvplatnosti,niesaktualizovan.Relnesystmyusudzovanianiestak,m=uporuovapravdivosuodvodenUchvUrokov snemonot;nne .    98"  @z&# neurcujvaktied=sledky,   h 9K"r^X` hp x (#%'0*,.8135@8:<H?AXr  9"  XXXX POSTOVESYSTMY(jazykprodukcnUchpravidiel )poskytujvirokomrozsahu  pouvanreprezentacnprostriedky(podrobnejievia=om).SvojimisyntaktickUmivlastnosamiredukujmonosti vyjadrovania na asercie asvoju pouitenos zvca  na technikyprehadvaniaAALEBOgrafu .  9"  @g 3 XXPOZNATKY#XX .#Ԉ   84444=-)j (  `@@                @A ( jeprenecharakteristick,e84444=-)j (  `@@  i                      @ 1 vznikajako84444=-)j (  `@@    98"  +XX+@ stransformciourozptUlenUch X+  *$r^X` hp x (#%'0*,.8135@8:<H?AXrCZUS  Ӏ  2    ݀Tovakneznamen,esajednoredukovan"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}"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 " 9"  XX@ svisiaskonceptualizciouentt(objektov,javov,ichvlastnost)  @ aprocesov,ktorsnimialebovnichprebiehaj:#XX #Ԉ     X konceptualizciaspocvaokreminhovschopnostipomenva,opisovaadefinovaentityaichvzjomnvzahy,akoajkategorizovaich,t.j.zaraiovaichdor=znychtried,medziktorUmispecifikovatenvzjomnvzahy, X scasoukonceptualizciejeajformovanievUrokovoentitch,skladanieavyhodnocovanie(interpretovanie)vUrokovavtomspocvajceodvodzovanied=sledkov,ktorznichvyplUvaj    *$r^X` hp x (#%'0*,.8135@8:<H?AXrCZUS  Ӏ  2    ݀Tovakneznamen,esajednoredukovaniemyslenia  cloveka,jehoindividulnecispolocenskpoznvanie,lenna x procesyspracvaniasymbolov.  U!@ @ T@R{6&3'6& [ALL OTHERS]  3'Tr^X` "u^7IZnn(IIn|7I7=nnnnnnnnnn==|||b˟zIVğzzПI=IgnIbnbnbInn==n=nnnnIV=nnnnbj,jwI7II%IIIIIIIIIInbbbbbēbbbbbI=I=I=I=nnnnnnnnnnbnnnnnznbbbbbbbnbbbbnnnnnnnnI=I=I=I=Vn=====nnnnnnğIIIzVzVzVzV===nnnnnnПnbbbn=nIzV=nnnnnbI==nNM7dnIbnnnnn=DnBnBIIbbnIInnzzIbB'||||X|n"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 D 9"  Porozumenie niecoho,hocilencistocn,predpokladvytvoreniezodpovedajceho  mentlnehomodelu,t.j.urcithovzjomnepreviazanho(zaclenenho)sborusvisiacichpoznatkovvytvrajcichznalosdanho,resp.presvedcenieodanom..b4 p`$Roman-WPType 1 LIBRARY.STY a 9"  XXXX@ Produkcnpravidlo jepropozicnUvUroktypuAKTAK,KEhPOTOM.  @# Jevyjadrenmpoznatkuasertvnehotypu,  @  tedaurcitejdvky(kvanta)asertvnychznalost.   9"  XXXX  +0 X aspektom,ktors spolocnpremyslenieaspracvaniesymbolov  C ,X9X9 +0 X spoznvaniu takUch procesovvytvraniaaspracvaniasymbolovUch  truktr ,ktorvprpade,keiichvykonvaclovek,nazUvamemyslenm. H 9"  @ pravidlspermisvne  . *H$    3    ݀ XXPravidltohtotypusanazUvaj produkcn .Podrobnesanimizaobermevialom.Podoba  pravidlazodpovedtvaru,vktoromjeuverejnenUv(Russell,Norvig,1995).Table_A  U!@ @ T@R{6&3' / f!T@R駐3'3'3'Letter (Portrait)  3'T  ݀  8  KonceptmentlnehomodelunespochybujeaniSearle,hocijejednUmzvUraznUch  spochybovacovstrojovhomyslenia. 9"    heuristikaneumoujevopredrozli,cijejpouitiejevhodn 󀄀 niejevyjadrite    nvtvarekritriapouitenosti,   9"    0 X zformulcieproblmuanizpredchdzajcehopriebehujehorieenianieje  zrejm,ktorUkroksamviaomvykona, XyXy 0 X vUberialiehopostupurieeniajepodmienenUvUsledkomtestovaniapod    mienky,oktorejvakniejemonsurcitosourozhodn,cijealeboniejesplnen. A  98"    Aserciestvrdeniaoentitch,oichkonkrtnychstavoch,vzahochavlastnos    U!@ @ T@R{6&  f!T@R駐3'3'3'Letter (Portrait)  3'T  ݀  9  AjprocesysreprezentantamivmyslireprezentovanUchenttsavkonecnom  d=sledkutransformujnasymboly,ktorbysmemohliznaciOaI,aktorsainterpretujakoexcitovanU,t.j.signlvysielajci,neuron,resp.inhibovanU,t.j.signlnevysielajcineuoron. S 9"  H10:    0 X Systm(poctac)dokevykonvainteligentncinnosnavysokej  rovnikompetencieviakaznalostiam,ktormzoblastisvojichaktivt(znalostizodpovedajceoblasti,vktorejrieenUproblmvznik).  \ 9"  Model ,nezvislenamaterilnejpodstatejehorealizcie,bymalreflektova   truktru modelovanejpredlohyamalbybysp=sobilUuskutocovaanalogick   procesy(chovanie) akonimsimulovan(imitovan)predloha(systmvzor). 9"  mysleniespocvavinternUchmanipulcichsmentlnymi  modelmisveta,ktorsiudiavytvrajneartikulova(te)nUmimentlnymiprocesmi .  9"  @z&# neurcujvaktied=sledky,  @# ktorsamusiaodvodi,aniporadieichodvodzovania .  *H$    5    ݀Zujemcomohbiepreniknutiedotejtoproblematikymonoodporuciradliterrnychprame\ov.  SpomedzioponentovstrojovhomyslenianajmpodielachSearlaaPenroseho.SpomerneshrnUminhadminattoproblematikusadoboznmiv(Russell,Norvig,1995,kapitola26). N 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., 4 98"    Tvorbuvho Q 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"  AkzprvevykonvanhoprkazupriamonevyplUvaktorUprkazsam  nslednevykona,taksavykonten,ktorUbezprostrednenasledujevporadichusporiadania.  k 9"  rozsah,monos,sp=sob,prostriedkyvyjadrovaniaareprezentciaznalostzurcitejproblmovejoblasti,koexistenciar=znych,ajvzjomnenekonzistentnUch,odbornUchznalostapostupov,akeisarealizujetransfrzodpovedajcichznalostdosystmuaichprpadnnslednmodifikovanie,  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# Q  98"  +XX+@ produktpracovnej,spolocenskejamylienkovejcinnosti  98"  +XX+ @ sreprodukciouurcitejvymedzenejcastiobjektvnehosveta    @ $ avomplatnUchzkonitost   9"    kX XXXZNALOSTISBPROSTRIEDKOMUMOUJBCIMSTRATGIAMI  RIADENEXPLORCIEPROBLMOVHOPRIESTORUPRIEFEKT0VNOMPRODUKOVAN0SPRVNYCHRIEIACICHPOSTUPOV. 9"  t.j.tUm,euplatovanmvekhopoctuexpertamipouvanUchpecilnUch  celovUchpravidielsastalpoznatkovointenzvnzm(informovanUm)systmom,   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"  AKPOSTUPRIEENIAPROBLMUSPOb0VANA REPRODUKOVAN0 VOPREDDANHOALGORITMOM  STELESNENHONVODU,TAKTAKTTOPOSTUPJEPOVAOVANTZAMECHANICKT<  9`(Courier , *H$    2    ݀ XXEdFeigenbaum(p=vodnetudentHerbertaSimona),BruceBuchanan(p=vodomfiloz;f,ktorUsa  stalinformatikom)aJoshuaLederberg(genetik,nositeNobelovejceny). P 9"  PXXXXomodelochuzavrethoaotvorenhosveta,oprincpochintenzionlnehoaextenzionlnehovymedzovania(definovania)entt,omonostiachuplatovaniaaohranicenjednotlivUchlogickUchformalizmov,najmvUrokovejaprediktovejlogiky,aleajtemporlnychainUchneklasickUchlogk(vrtaneviachodnotovUch),ologickUchschmachodvodzovania(inferencie),ologickUchaspektochdedukcie,indukcieaabdukcie,oprincpochaaplikovatenostidokazovaniateormov,opriamomasptnomchodepriinterpretciprodukcnUchpravidiel,orozrenprodukcnUchpravidielomimologickkontrukty,onemonot;nnomodvodzovan,oaxiomatizci,konzistentnostiaplnostisymbolovejreprezentcieznalostapod., P.D9 p:Roman-WPBold ItalicType 1  9"  hodnotenmcelnostiauitocnostiESvrukchcieovhopouvatea,ktorUhopouijeakoprostriedoknarieeniesvojichproblmovvtedy,kedjeprehonarbaniesosystmompohodlnazrozumiten,kedmutentopomharieiproblmytak,em(vistejforme)zarucenefektvnosvynaloenUchinvestci.  9"  omonostikomunikovasESvprirodzenomjazykupsmomajhlasom,oporozumenpredovetkUmbenmuvUznamutextov,prpadneajkontextulnecisituacnezmenenUmvUznamom,ointencichkomunikujceho,otakejinterakciisnm,coumoujeodstraovanejednoznacnostianedorozumenia,akoajoneprebernommnostveinUchtm,ktorsvisiastransfrominformciaznalostvUrazovUmiprostriedkamiprirodzenhojazyka,  9"  RIEENIEPROBLMUSPOb0VANAALGORITMOCHVYHADVANIAAZREAZOVANIAVHODNTCHRIEIACICHKROKOV,ODKTORTCHVPR0PADENEZDARUSAODSTUPUJEANAHRADZUJBINTMIKROKMIbIICHPOSTUPNOSAMI,TEDAKEhPRIEBEHRIEENIANESPOb0VANAVOPREDDANOMNVODEVYPLTVAJBCOMZFORMULCIEPROBLMU,ALETENSAPOSTUPNEGENERUJE PRODUKUJE. *b4 p`$Roman-WPType 1<6X9`+Courier- p,Roman-WPBoldType 1(\  p`(Roman T Scalable *:9j7SCSXS +{{St W!2(2h25?xxxX=XxE=[I[[gT:cIclc[nTWnl<`I``G<fIff@T5ZCZlXZI6SCSXSI6SCSXXST #CXbmy.E8EETb{,K8KlKT{X 6(6lh6t,B5BB! S}d}} TOdlu+B5BBVTv*H5HlH"n T'ilT *hChXh T <T@2K<KK~ TA0Q<QlQT B?d ;vCvMXv@aNaajT=iNiliBdPdd`T?lPlll a%CXKu+B5BXBgdZ=pœ+Cx'-3懠3oR@DH^&w;" >&+1nnR#o.Y;]#?U 1p#.YA `&;%wuي/EkdT((kX0_1| ~yO豰I/6"<H9F`a6_dK-}ic|c4wPi(uIۊR帙gJ . *L$    3    ݀+ XX+PravidltohtotypusanazUvaj produkcn .Podrobnesanimizaobermevialom.Podoba  pravidlazodpovedtvaru,vktoromjeuverejnenUv(Russell,Norvig,1995)..b4 p`$Roman-WPType 1 h 98"  0 X dokespravidlasvojepecifick,t.j.probl ) 9"    TvorbuvhodneorganizovanUchatrukturovanUchzoskupensymbolovUch  kontruktovreprezentujcichzkonitosti(pravidl,vzahy,vzby,ohranicenia,predpisy,vUnimkyati.)danejproblmovejoblasti.   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 44 zastav)    0 X 0X X 0  n+1 0`   0 ` ` (implicitn jj riadenie)  98"  0 X   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"  existenci,prcinch,princpochasp=sobochvzniku,priebehu(trvania)aznikufenomnu/javu,jehovlastnost,truktry(zloenia)asprvania,cohosp=sobuje,coznehovyplUva,cmaakomononavplUva,riadiho,vyvola,ciznemoniho,akUmvzahkinUmzleitostiam,cmjeimpodobnU,akopredvdajehovznik,znikasprvanie.bXX #1 #XX+#  *H$    4    ݀PreconedokemescasnerozmUlaoviacerUchzleitostiach,akUjeprocesporozumeniavUznamu  sl=v,cosaodohrvavnaekmuslikei4vynsobme7,cojepodstatouprocesuzapamtvaniaavybavovaniazapamtanho,precorovnakoznejculohuodborncizprslunejprofesierieiaodlinerUchloakvalitne?...Table_B 9"  Ajtosvedcprotinzoromstotoujcichuvaovanielensmechanizmamilogickejdedukcie.  9"  Vyhadvanieavyberanie rieiacichoperci(krokov)je nedeterministickUproces .  KeieibaniektorichpostupnostipotencilnevedkpoadovanmuvUsledku,pricomvopredniejeznmektor,jenevyhnutnzabezpecimonosodnich odstpiatUm  ajprpadnerevokova(odvola,zrui)dovtedyvykonanakcieanslednevoliinUpostup.  t 9"  "VetkyrelevantnteoretickznalostipotrebnnavyrieeniepredmetnUchproblmovsapretransformovalizichveobecnhotvaruv[vzlokegenerovaniazodpovedajcichhmotovUchspektrogramov]("pociatocnUprincp")docinnUchpecilnychtvarov("receptovvkuchrskejknke")."(Feigenbaumetal.1971)    9"    0 X kladied=raznazkonitosti(pravidelnosti),ktorUmpodliehajproblmyz  urcitejoblasti, X9X9 0 X zkonitostivyjadrujeprostriedkamiformalizmu,ktorUjepropizicnUm  prejavomznalost, X9X9  0 X tiepovaujezanezvislodrieiacichprocesov,vktorUchsauplatuj.   *ѷ$r^X` hp x (#%'0*,.8135@8:<H?AXrCZUS      1    ݀@X XXX@X3XJeiaducedoda,esaprehbujepresvedcenieonevyhnutnostirozritotopoatieajosubsymbolov  reprezentciupoznatkov.#@X Xt 3##AXXX3X# Z 9"  ;XXXX  8 X a)0XXtvorbypoctacomrealizovanUchjavov,  ktordostatocnepresvedcivopripomnajprirodzenUfenomnudskejinteligencie  (avtesnejsvislostistUm)8 X b)0XXhadaniahrancamonostsymbolovejF C   reprezentciepoznatkov,vrtaneprocesovichnadobdania,uchovvania,vyuvaniaarozvjania.  N 9"  Keimme  ,0 X kdispozciisystmparcilnychdiferencilnychrovnc,ktorreprezentuj  fyziklneznalostitUkajcesazmientlaku,prietokuateplotymdiapretekajcehovpotrubjadrovhoreaktora,apouijememet;dunumerickhorieeniatakhosystmurovnc, XX ,0 X kdispozciirozsiahlusstavualgebraickUchrovncopisujcichtrukturlne  vzbymedzivekUmpoctomekonomickUchfenomnovapouijememet;dulinernehoprogramovaniaprenajdenieoptimlnychparametrovskmanhosystmu, XX ,0 X zalohupodporidiagnostickUproces,vktoromjepotrebninterpretova 11  pozorovaniudostupnprejavychybnhosprvaniasaskmanhosystmutak,abysazistilazodpovedajcaprcina(chybovUstav)apouijemektomuznmevzahyprevUpocetpodmienenUchpravdepodobnost(napr.Bayesovuformulu), XX jemonpovaovaprogramovrealizciuzodpovedajcichalgoritmovvniektoromzoveobecnUchprogramovacchjazykov,resp.tUchcosapouvajvumelejinteligencii(Prolog,LISP,FRLain)zaprejavinteligencie?  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);  *H$    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.   m *H$    6    ݀ XXJejvUraznUmoponentomjeJ.R.Searlepozrinapr.J.R.S.:Minds,BrainsandScience,Harward  UniversityPress,Cambridge,Ma.,1984;ceskUprekladMysl,mozekavkda,Mladfronta,Praha,1994.#XX?D#  9"  H7:  0 X AkceptovaniehypotzyH6(funkcionalistickUpohad)implikuje XX 0 X 0XX(a)monosvhodnUmiprogramamisimulovate;riemyslenia  0 X 0XX(b)aprincipilneajmonosrealizovanimi(aspozcasti)racionlnemyslenie.   9"  H11:   8 X KadU(urcitUmmechanizmom)realizovanUinteligentnUproces  jetvorenUtruktrlnymiprvkami,ktor XX 8 X 0XXsavonkajiemupozorovateovisprvaniasystmujavia  ako=X XXXpropozicnUprejavznalost, #XXSX=Xk# 8 X 0XXnezvisleodvonkajieho(smantickho)hodnotenia  =X XXXzabezpecuj(sprcinou)sprvaniesasystmu,ktorje ww manifestcioujehoznalost. #XXSX=Xh# s 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 bb krokovkvytvraniutakejrevokovatenejpostupnostiznich,ktormu MM napokonumondospiekelanmuvUsledkutedapostuprieeniasivytvra,produkuje.  e 9"    Postuprieenia(t.j. ako komponent)jezabezpecovanUnevyhnutnUmkomplementom  deklaratvnychprogramov interprettorom .Tenjevosvojejpodstatevlastneklasic    kUmprocedurlnymprogramom,ktorUkoordinujeprocesyzabezpecujcedosahovaniepoadovanUchcieov.TUm,estelesujeveobecn(univerzlne)ciastkovrieiaceprocedry,automaticky nazkladeinterpretovaniasymbolovovyjadrerenUchz    konitostproblmovejoblastiaznichplyncichd=sledkovvyvolvaakoordinujeichcinnosatakzabezpecujerealizciuprocesovpotrebnUchprerieenieproblmu.  y 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, XyXy 0 X nemajmetriku,ktorbyumoovalahodnotivzdialenosodpoa   dovanhovUsledku,odchUlkuodsprvnehosmeruvpostuperieeniasvistosabsentujcoumonosouanalytickhoopisurieiacehopostupu,atedaabsencioualgoritmu,ktorUbyjednoznacneviedolksprvnemuvUsledku.  E 9"  XX  @$ svzjomnepreviazan,menitenadoplnitentruktry  @f' svisiacichpoznatkov,@ vrtaneichuplatnitenostivinterakciisosvetom:#XX # X znaloscohosiznamenvlastnitomuzodpovedajcurepre  zentciuvpodobedostatocnevernhoapresnhokognitvneho(mentlneho)modelu,vrtanesp=sobilostivykonvastUm,cojereprezentovan,r=znekognitvne(mentlne)opercie, X nazkladeavrozsahutUchtoopercidokeclovek(potencilneajpoctac)predvdaapredpovedato,cosamus,alebom=evrelnomsveteodohra   9"  XX@ 3 ZNALOSTI#XX #Ԉ  8|4444=-)j (  `@@_ _                                         8~4444=-)j (  `@@*_ *                                       V& 8Document[8]Document Style0..8` ..` V8Document[4]Document Style.. .   U!@ @ T@R{6&3'6&  f!T@R駐3'3'3'Letter (Portrait)  3'T  ݀  10  Akoubolospomenut,tojed=vodpreobohacovaniep=vod  nehoformalizmuJPPL  mimologickUmikontruktamiaprepouvanie(niebezkonfliktnUch)prostriedkovneklasickUchalebologkvyiehordu.  #"xxxxx'xxxPCCxxxxxPxxxxkkxkdddd22PPdxdxdxx`CddCCdxxddddddxxxxxxxCCCCxxxxxxxxxxxxxxddCCxxxxxdxxxxxxxxxxxxxxxxxxxxxxxdddd܅xxxxxxxxxxxxxxxxxxxxxxxxx]dxxxxxxxxxxxxxxxxxxxxPPxxxxHxxxxxxxxx"u^((1<:A((l((<)))()))<W5W5W5W5W5kPP5I5I5I5I5(!(!(!(!W((Z((<)))()))CWtbttYtkYbttttb5,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"h^ddz6ddKdKSSSdu dSddSSSduSKddddfffdfff dSdSdSdSdVdVdSdVuSSSSS ddduuuuSSSSduSdVVNLdSKSSKKPPKS'd"h^udy,=ddKdKSddu,dSddSdSudvNv9ddddfffdfff,uSuSuSuSuVuVuSuVSSSSS,uuuuddd,SuduVVNdnnhhKKKKFF KK'd"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[`"h^M7Hddooop)  !!!!d!!! !!z!!oooo7o!dh!!!!!d  oooo!!!!!!!!!!!!!!!!)))    !!!!!!!!!rror!ooooo!!!!!!d!   ooo!!!!!!z!!!o! o!!!!!rr!Neodo))oddjj`Td}o'"h^MQddot! !! 777 z!77! !!!! oooM!hL.!!!!!!!    oooo!7777!!!!!!!77!!!!!!!!!!    77777777rror7 o o o o o!!!!77!!!!   !!!!!!!!   ! o!! !!!7! rr7N  d))ddd]]Rbd}d'"f::ooAA(((((08@?S6S608@I,O,,'*.14'*.144'*.14'*.144ttRsxxk}ooooooU}AA'bbH.*,.@@.+-/@@@%&(*++ %&(*+++,>KK/AOODa|Da|tzzz**66X<>@CFII+>ACFIIIUUU'''' z$$"uu'00PPPPPapll`pWWWNT[bhNT[bhhNT[bhNT[bhhdHH<<<HIM\TX\%\VZ^JLPSVVJLPSVVVX|_//WWWZiiGGHTS<l<lX<xHG|V|HHHHHHHHHHHHHHMMMMZHH"u^<>vvb-uv---\\Z**ZZ-\-'llll<gl"XXbb<<<<<ITa_}Q}QHTanAwAA;?DIN;?DINN;?DIN;?DINN|J$$$GJQQ bb:lE?BE``E@CF```89<>AA89<>AAAB]pqGawwfflmlf?f>__cll]aejnnA]aejnnn::::66zU :Right Par[1]Right-Aligned Paragraph Numbers..2I.3  Ԁ..0.."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<<<<zzx88xxYPP|,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[`*b4 p`$Roman-WPType 1<6X9`+Courier- p,Roman-WPBoldType 1,\  p`TimesI/4  pTimesBoldv*:9 p`0Roman-WPItalicType 1*D9 p:Roman-WPBold ItalicType 1Ar Ap`>WP TypographicSymbolsType 14d4Ap`2WP MathExtendedType 1;( Ap`$WP MathAType 1Jb>Ap`6WP IconicSymbolsAType 1e f!TR;3'3'3'Letter (Portrait)  3'T W     TR{6&;3'6& [ALL OTHERS]  3'Letter (Portrait)  T7:5XXd7 } XX  @ 3` ;qEXPERTNSYSTMY   @ 1`KONCEPCIEAPRINC0PY,@S +`ARCHITEKTBRA,PROSTRIEDKYTVORBY,@%`ROZVINUTANEKLASICKTECHNIKYODVODZOVANIA,@ 0`POZNATKOVININIERSTVO  ; @4`MikulPopper@8`MFFUK@4`Bratislava1996#q;t#  /*+ ;q7<G(d5XXd7;XXq; PREDSLOVABVODNPOZNMKY     bitatemvruketextyurcenposluchcominformatiky,najmvakpecializcii umelinteligencia(UI) v4.a5.rocnkuMatematickofyziklnejfakultyUniverzity T KomenskhovBratislave.Svojounploupredpokladajcitateovuorientciuvzkladochinformatikyavuvdzajcichpredmetochumelejinteligencie(strojovejinteligencie,intelektiky).  TextyszamerannapecifickoblasUIna expertnsystmy (ES)tvoriace  J podtriedu systmovznalostnUch .Stosystmyobsahujceaprisvojejcinnostipouvajce  5  symbolovreprezentciuexplicitneformulovanUchznalostzoblastisvojichaplikci.Tedasovojimzameranmsadajtietotextyponmaakorozvinutieadoplnenieobsahuucebnice   J.Kelemenakolektv:Zkladyumelejinteligencie,Alfa,Bratislava,1992azroveajako   aktualizciuarozvjanieobsahuknihyM.Popper,J.Kelemen:Expertnsystmy,Alfa,Bratis      lava,1988,ktorajnaprieksstavnearUchlosarozvjajcimnovUmpoznatkomodborusa v  etestledpovaovazavUchodiskovUtdijnyprame.HocitedaideovUraznrozrenieobochaspomenutUchknh,predsalen,predovetkUmzrozsahovUchd=vodov,viacervUznamntmyniesvnichdostatocnerozveden,badokoncanietonichanizmienky.AjtakvakmonotietotextypovaovazauitocnuvedeniedovemiivejaaktulnejteoretickejajimplementacnejproblematikyUIazrovezamotivciukprpadnmuhbiemutdiu,najmpretUch,covtejciinejpodobesabudouhbiezaobera.  Jepotrebnzd=razni,eniejecieomanicelomtUchtotextovbyprruckounavytvranieES.Neposkytujtedakonkrtnenvodyaninaichtvorbu,anitvorbuichvUvojovUchprostred.PozornosjevtextochsstredenvcminapoznatkovzzemieaprincpyES,naprostriedkyatechnikyichtvorby,naicharchitektru,prioritnenametodky,technkyaformyreprezentcieznalost,vrtanerozmanitUchstratgiichvyuvania,nauvedenienovovznikajcichperspektvnychvUvojovUchtrendov,nauplatovanieasp=sobypouvaniatUchtosystmov.  NkladynavyvinutieaplikacnhociprzdnhoES,resp.najehozakpenie,alebonavytvoreniecizakpenienetrivilnehovUvojovhoprostredia,vktoromsakonkrtneexpertnsystmyrealizuj,sznacn.VcasespisovaniatUchtotextovsapohybujvrozmedzrdoveodstotiscovapomili;nySk).PretosadajinformcieapoznatkyuvdzanvtUchtotextochpovaovazviacerUchaspektovzavUznamn:priformulovanaplikacnUchpotriebapoiadavieknapouvanieexpertnhosystmu,pritvorbevlastnhoprzdnehociaplikacnhoexpertnhosystmu,priobjednvkeaplikacnezameranhozkaznckehoES,privUberekomercnedostupnUchprzdnychESaleboichvUvojovUchprostredapod.  Prednkyzpredmetov ExpertnsystmyI.aII. ,resp. Poznatkovininierstvo , }% $ korepondujstUmitotextami.Priprednkachautorznichvychdza:niektortmypodrobnerozvdzaajroziruje,nain,jednoduchie,ibaupozorujeaodkazujeichdopozornostiposluchcomprisamostatnomtdiu.Rozsah,vUberaprpravatmkprednkamjenezriedkaajvUslednicouinterakciesposluchcmi.  Autortietotextynepovaujezatiazauzatvoren.Vznikaj,doplujamodifikujsapriebene.Najmpreto,eneustlepribdajnovpoznatkyzverejovanvrozmanitUchliterrnychprameoch,alebosartikulovannavUznamnUchvedeckUchpodujatiach.Takezkladn,vlastneuklasicktmy,sapriebeneaktualizujadoplujonovvybratstate,castozar=znychohranicujcichpodmienok,najmcasovUch.Keietextyneprechdzajodbornouanijazykovourecenziou,rozsahpotencilnychnedostatkov,chUb,obsahovoci .). % H tylistickynevydarenUchformulcisurcitenemal.Autorsviakouuvtavetkyupozornenianaakkoveknedostatky,iaduceopravy,akoajdoporucenianadoplnkyavylepeniatextov.   1.0  EXPERTNSYSTMYUVEDENIEDOPROBLEMATIKY ""  =X XX;X1.10  Konceptulneaspekty #;XXSX=X5#""   EexpertnsystmytvoriajednuzteoretickUchnonajmpraktickUchoblastumelej U inteligencie󀄀akovednhoodboruzameranhonaproblematiku ?   |8^=-)j ( % `@ @; ; | ""                                 "" VtUchtotextochzhadiskatvorbyapouvaniaEStvorprvettoproblematikapredmet e pozornosti.NajejuvedenieapriblenievUjdimeznasledujcej(zloenej)otzky:r8j3#b (  `@(" ; ("r ""                                                         ""Precono?Preconie?  Zd=vodneniepredpokladanejzpornejodpovede,atoajnapriektomu,esapritomuplatujesymbolovreprezentciapoznatkov(stelesnenprslunUmimatematickUmivzahmiazodpovedajcimivUpoctovUmiprocedrami),vyplUvanajmztoho,ezodpovedajce,hociajvemizloitvUpoctovprocesysdeterministick,pomernejednoduchomechanizovaten -(- (algoritmizovaten)akvantitatvne.Koncznejiesatodvyjadrieteajnasledujcim .). sp=sobom|8r=-)j ( % `@ @ ; ;| ""                  ""  VsvislostisprirodzenUmfenomnomudskejinteligencie(pozriTuringovtest)saocakvadiskrtne,symbolovakvalitatvnekognitvne( nezvzn rozpoznvajce,    prehadvacie,preskavacie,nahradzajce,predpokladajce,tedanedeterministick)sprvanie,ktormu,narozdielodmechanickhosprvania,smenchylnpripsaatribt   inteligentnosti.Jetomutakvtedy,kei   |8w=-)j ( % `@ @e; ;e;Z| ""                              ""Kognitvne(inteligentn)sprvaniesadcharakterizova|8x=-)j ( % `@ @";e;";F| ""                  ""ZtohtopohadumonovnmaexpertnUsystm(ES)ako8z4444=-)j ( % `@@#*;";#*;$ ""                     ""MedzipecifickdannostiacharakteristikyESpatria,0  ichaplikcie :slianarieenieproblmov,prektornepoznmepouitenU +&'+  deterministickUatedaanialgoritmickypostupvyplUvajcizichformulcie 󀄀v ,(, tejtosvislostihovormeo nedobreformulova(te)nUch, citrukturova(te)nUch -(- a/alebopodurcenUch(nedobrevymedzenUch,informciaminedostatocnezabezpece .). nUch)problmoch,priichrieensauplatuj produktvne postupyspocvajcena   kognitvnychstratgiach (tedanietak,cosbezprostredneimplikovanformulciou  problmu),ktordosiahnutievUsledkuaninezarucuj,hocispravidlavedk  poadovanUmvUsledkom,ktoralem=ubyzaaenajneurcitosamiapretospotomajnekategorickcinejednoznacn,Y"" ,0  ichfunkcnvlastnosti :stelesuj situacn ,(ajnekategorickUmi,kvalitatvnymi, C  nezvznUmi,predpokladatenUmi) dajmipodmieovanariadenprehadvacie . ~ procesy zaloennasymbolovejreprezentcii znalost zoblasti,vktorejvznikol  i rieenUproblm, "" ,0  vzjomnvzbymedziichzlokami :oportunisticky(situacne)dochdzamedzinimi  =  kvUmeneinformciazdielaniudajov,kodovzdvaniuriadeniaatUmajkuplatovaniuichfunkci, "" ,0  metodikyichtvorby,rozvjaniaaudrovania :umoujauton;mnvytvraniea   pravyjednotlivUchzloiek,postupnaciastkovrozvjaniereprezentovanUchznalostastratgiichpouvania, "" ,0  charakteristikypouvania :spravidla(nievaknevyhnutne)vinterakciispouvate g     omaleboprostredm;priinterakciispouvateombymalosajosp=sobilossystmu vysvetovaazd=vodova postuprieeniadanejlohyaodvodenUch ; vUsledkov,prpadneajoadaptibilnosinterakcievzvislostinadannostiachcipotrebchpouvatea. ""   Vzhadomnadoterazuvedenbymalobyzrejm,enanetrivilnysoftvrovUprodukt,akUmESnesporneje,sadnazerazr=znychpohadov,vzvislostinatom,cojevohniskupozornosti.Zujemsam=ealternatvnesstreiovanafilozofick,teoretick,softvru,alebopragmatickpodstatuexpertnUchsystmov,naichmnohorozmernteoretickzzemie,nimirealizovankognitvneprincpy,princpyichprogramovajrealizcie,namonUrozsahaohranicenieichfunkci,naposlanieauplatovanievaplikacnUchoblastiach,nasp=sobnavrhovania,dizajnu,tvorby,truktrovaniaaprogramovania,formyreprezentovaniapoznatkovaznalost,navobuarealizciustratgiirieeniaproblmov,nainterakciesdajovUmaprogramovUmprostredm,formyinterakciespouvateomain.  Takevprpade,keisvcentrepozornosti   K ,0  abstraktnakonceptulneotzky ,vtedysauvaujevpojmochakUmisnapr."!"" r8{3#b (  `@."$."$r ""                                 "" .).    ,0  hadisk(kognitvnej)psychol;gie ,vtedysauvaujenaprklad"" r8}3#b (  `@""r ""                                                "",0  MX XX;Xformlnologickhadisk#;XXSXMXB#,vtedysauvaujenapr.6"" u86&"b 8 ^ `@#""#"u ""                                       "", 0  otzky(psycho)lingvistiky ,vtedysauvaujenaprkladx% $"" r83#b (  `@ q."#"q."L'r ""                        "" .). Ї ,0  otzkyprogramtorsk ,vtedysazaobermenapr.vahami"" r83#b (  `@ ""r ""                                             "" ,0  hadisk(spolu)tvorcuodbornkaaplikacnejoblasti keisazvaujed"" r83#b (  `@ ;"";"r ""                  "" ,0  potrebyapoiadavkypouvatea(pragmatickhadisk) vtedysazaobermeG"" r8\3#b (  `@ n$";"n$"r ""                  ""  StUmitoasvisiacimiotzkamiaproblmamisazaobermevtUchtotextochzviacerUchpohadovatovovymedzenomrozsahuprednokavprijatenomrozsahutUchtotextov. 1.20  PoslanieexpertnUchsystmov *W%)""   PraktickUmcieomumelejinteligenciejetvorbaprogramovUchproduktov,ktorzabez +*'+  +*'+ pecujsvojimivUkonmisprvaniesapoctaca,resp.nimovldanhozariadeniatak,abyvurcitejaplikacnejoblastidostatocnepresvedcivopripomnaloprejavyprirodzenhofenomnuudskejinteligencie.TakUchtoaplikacnUchoblastjenespocetnmnostvo.Patriamedzine .). naprklad0  intelektulnenrocnhry,rieenierbusov,hlavolamov(prkladmisach,dma,  kryptoaritmeticklohy,krovkyapod.), "" 0  vykonvanieopercisformulamivUrokovejaprediktovejlogiky,dokazovanie k teormov, "" 0  symbolovmatematickopercie(napr.algebraickvUpoctovprocesy,rieenieloh =  zgeometrie,derivovanieaintegrovanie,rozvojdoradov,tandardnajkvalitatvnerieeniesstavyrovncanerovnost,kvalitatvnemodelovanieasimulcieain), "" 0  deduktvnedtabzovsystmyainteligentndial;govesystmyuplatujcesavtra  H   _ dicnUchinformacnUch,hospodrskych,technickUchavedeckUchaplikcich, "" 0  prekladanietextovzjednhodoinhoprirodzenhojazyka,analUzaagenerovanie    opisovajprbehov,interpretovaniehovorenUchtextovprirodzenhojazyka, "" 0  rozpoznanieaporozumenieobrazomascnam,poctacovvidenie, "" 0  kognitvnarobotika, "" 0  automatizovantvorbaprogramov,n "" 0  uceniesaapodporavUucby,W "" 0  interpretciadostupnUchfaktovvprocesochbiologickhoajtechnickhodiagnostiko @  W  vania(identifikovaniepriamemupozorovaniunedostupnhostavuskmanUchsystmov),monitorovanie(priebeninterpretciadostupnUchfaktov),urcovaniesp=sobuodstraovanianeelanUchstavov(porch,chor=b), "" 0  rieeniekontrukcnUchloh,navrhovanie/zostavovanieplnovariadiacchpostupov.4""   RieenielohuvedenUchtypovm=ebyzaloennavzjomneodlinUchprincpoch.Umelinteligenciazosvojejpozornostivylucujetakcospocvajna naivnUch bui   exhaustvnych (vetkosystematickyprezerajcich)alebo nhodilUch (t.j.neinformovanUch,  slepUch)postupochzisovaniaavyhodnocovaniamonUchvariantnUchoperci.V=becniepreto,epretaktopostupysanenachdzajvzoryvudskejinteligencii,alekv=litomu,epririeennetrivilnychproblmovjeichuplatovanieneschodnnaranabarierukombinatorickejvUpoctovejzloitosti.  VranomobdobrozvojaUIsaprerieenieproblmovvyvjali veobecn rieiace i mechanizmy,ktorUchlohoubolozreazovaelementrnekrokyusudzovaniascieom  S identifikova/odvodi/njsvUsledok.UplatovanieveobecnUchrieiacichkrokovjeprvepre  = ichuniverzlnoslkavajnaprogramovrealizciu.Ale,atojepodstatn,pririeennetrivilnychproblmovsmlocinnsslab` 2#  1      .Veobecnpravidlausudzovanianem=u "! byprvekv=lisvojejuniverzaliteinformovanokonkrtnejrealite,zktorejproblmyvyvieraj.Prvepreto,rieiacemet;dyspocvajceibananichsanazUvaj slabmet;dy . $# Prekonasadajibapouitmpoznatkovzoblasti,vktorejproblmpochdza.Tieumouj ~% $ uskutocovavcierieiacekrokyzodpovedajcepostupomexperta(ktorUspravidlammnohopoznatkov,aleibazohranicenejoblasti). Q'"&   Natomtomiestejevhodnspomenvzhadomnahist;riuUImimoriadnevUznamnUprogramDENDRAL(Buchananetal.,1969)prvUpragmatickUd=kazvyieuvedenhotvrdenia.Jehoautori_ 2#  2      ׀sizvolilizacievytvoriprogramschopnUodvoditruktruchemickej  molekulyzdajov,ktorposkytujehmotovUspektrometer.Vstupomdoprogramubolsumrnyvzorecmolekuly(napr.C6H13NO2)azodpovedajcispektrogram,ktorUinformujeo T hmotnostir=znychzloiekmolekuly.Naprkladprpad,vktoromhmotovUsektrogramobsahovalpk(vysokUvrchol)vpozciizodpovedajcejhmotnostim=15,svedcilotom,emolekulaobsahujemetylovzloku(CH3)soukorpondujeuvedenhmotnos.  _   P=vodnnaivnverziaprogramugenerovalavetkymonchemicktruktrykonzistentnsozadanUmsumrnymvzorcomspolusozodpovedajcimihmotovUmispektrogramami.TiesansledneporovnvalisoskutocnenameranUmspektrogramom.AvakvzhadomnaprekvapujcovekUpocetmonUchspektrogramovzodpovedajcichtomuistmusumrnemuvzorcuunevekUchmoleklsaukzalo,etakUtopostuprUchlonaranabarieruvUpoctovejzloitosti.AutoriDENDRALusapretoobrtilinaanalytickUchchemikovoradu.Dozvedelisa,enepostupujexhaustvne,alecielene:vyhadvajdobrznmezoskupenia(tvary,vzorce)pkovvhmotovomspektrograme,tak,ktorstypickprerelneexistujcepodtruktrymolekulysdanUmsumrnymvzorcom.Naprklad,keisadpredpoklada,esavskmanejmolekulevUskytujeket;novpodskupina(C=O),prianalUzespektrogramuvsnahejejvUskytpotvrdipoujnasledujcepravidloAA 2#  3      : b |8=-)j (  `@ @ ""| ""                              ""  RozpoznanievUskytuurcitUchkonkrtnychprvkovtruktrymolekulyenormnezniujepocetalternatvnslednejanalUzyatUmsarieenieproblmustvapriechodnUm.Zmenoup=vodnhoprstupuktvorbeDENDRALutUm,esavomuplatnilipravidluvedenhotypusreprezentcioupecifickUchpoznatkovvznikolvUkonnUsystm,pretoe,akouvdzajautorim8.b `@)"")"$m ""               ")h$(   VUznamspenhoDENDRALuspocva(l)vtom,eorientciounaexplicinesymbolovoreprezentovan(pecifick)znalosti,84444=-)j (  `@@ "=  "=  ""               ""dokzaljestvovanieprincpuumoujcehovytvraprogramyschopnrieiproblmy,copriklasickomprstupekprogramovaniunaralonamedzevUpoctovejzloitosti.  TaksastalDENDRALzdrojompoucenia:Efektvnepostupyrieenialoh,zformulciektorUchtakUtopostupnevyplUva,spocvajnacelnompouvanpotrebnhorozsahuveobecnUcha/alebopecifickUch znalost zoblasti,vktorejrieenUproblmvznikol. n  8????=-)j (  `@@C"=  "= C"Y ""                  ""  Vobdob,keisatentovUrokvyslovil,v=becsanezdaltakUmsamozrejmymaprirodzenUmakohovnmamednes,keisaveobecneprijmajnasledujcedvevymedzenia8b4444=-)j (  `@@8"= C"= 8" ""                  ""@B`atieznich84444=-)j (  `@@R("= 8"= R("! ""                        ""  Jev=becmontaktosystmyvytvori?Akno,zaakUchokolnost?Poksmesanajprvhadaanachdzaodpoveivo(filozoficko)informacnopsychologickejrovine. 1.30  FilozofickoinformacnopsychologickpozadieinteligentnUchsymbolovUchsystmov ,(,""   KeienmideotvorbuprogramovUchproduktovmanifestujcichfenomninteli .). gencie,jeiaduceaspokrtkosazmienioniektorUchvUchodiskovUchfilozofickoinfarmacnopsychologickUchaspektoch.  Benlaick,alecastoajodbornpozorovanieasebapozorovanie(introsepekcia)spenUchprocesovmysleniaobchdzaotzku povahytUchtoprocesov,sp=sobovich k uskutocovania ,baanittootzkuneberienavedomieI 2#  4      .VedeckUmskmanmprocesov V mysleniasazaober kognitvnapsychol;gia .Tvytvra pracovnmodelyprocesovmys A    lenia .SkmamyslenieclovekaprveztakUchpohadov,ktorsvisiaspredmetomnho , | zujmu.Bstrednoudeoukognitvnejpsychol;giejeto,e84444=-)j ( % `@@; ;  ""                  ""Pojmom mentlnymodel sarozumie(urcitnevyhnutnzoskupenie)znalosto _  r83#b (  `@" ; "3r ""                        ""  Nazkladementlnehomodelumclovekocakvania,apircie,volsiciele,tvorplny,selektvnevyberhypotzyainformcie,ktorvyhodnocujeaspracva,prijmacivytvrapremisyapropozcie,aajnaichzkladehypotzydokazujezamieta/potvrdzujespochybuje.Mentlnymodeljefenomn,nazkladektorhopriinterakciiindivduasokolm(sinUmiindivduami,spolocenstvami,soivouajneivouprrodou,sfyzickUmiciduchovnUmidielamicloveka)dochdzakprocesom porozumenia .Ktomutojavudochdza  X buivtedy,keiindivdumprijmaninformciedokebezprostredne(vUznamovoapropozicne) interpretovavrozsahusvojhomentlnehomodelu ,alebokeiviakatUmtoinfor !,   !q mciam modifikujesvojmentlnymodel (dopluje,men,vylucujeniektorjehoprvky, "! vzahymedzinimi,premisyapropozcie)cmimpriraiuje(vUznamovapropozicn)interpretciu.  Dsatedavyslovitvrdenier83#b (  `@+" " +"V'r ""            "*J&*   Sp=sobiloscosi vysvetli predpoklad,edanmuboloporozumen.Zrovespen  vysvetleteniejepotvrdenmporozumenia.Procesvysvetovaniasaodohrvanajmenejmedzidvomacastnkmi sp=sobilUmiporozumietme .Toznamen,eprjemcavysvetovania V musudisponovaurcitUmipoznatkami(mentlnymmodelom),abyvUkladmoholpochopi. A  r83#b (  `@" " r ""               ""Vnaomprpadejeprincipilnouotzkou,cisadajvytvoriaj modelyfunkcneumouj   simulciumyslenia. Otzkasajavjasn,ajkeibybolopotrebnnajprvsadohodnna t  vUznamovomobsahuajrozsahupojmumyslie.Najdenieodpovedejevaknrocnsvedc _  otomuniekokodesaroctrvajceastleneukoncenpoznvaciesiliefiloz;fovajpsychol;gov.Filoz;fovprvepreto,lebovovednUchodboroch,ktorUmsapriraiujeprediktexaktn,absentujjednoznacnprostriedkyumoujcevyhadvaodpovedeadokazovaichkorektnos.  Vialom,bezdokazovania,savychdzazpredpokladu,e premodelyasimulciu = myslenia nemusbypodstatnUmudskUmozog(prirodzenUnosite,realiztormyslenia)so ( svojimimechanizmamivnmaniaaprodukovaniaakci.Idepritomhypotzu symbolizmu .   r83#b (  `@ " "  "r ""                     ""Ttohypotza 󀄀spocvajcaokreminhonaskutocnosti,eaktivityneur;novvmozgusa  F prejavujprocesmiichexcitcieainhibcie(excitovan:zapnutprenajsignl,inhibovan:vypnutneprenajsignl,;m=ubytedaibavnmdobreznmych binrnychstavoch ) "! implikujemonosvytvramodelymysleniapoctacom.KorepondujesosnahamiUIotvorbu poctacomrealizovatenUchpracovnUchmodelovasimulovaniamyslenia . $#   Nasledujcerozvjajcehypotzyialejpribliujpredstavyosp=sobilostipoctacamyslie,resp.vytvravniektorUchoblastiachzdaniemyslenia.Trebavakzd=razni,e r&!% jestvujenezanedbatenUpocetrenomovanUchodbornkov,ktorichprijmajsvUhradami,prpadneichajich,aleboichd=sledkyodmietaj.MysleniepovaujzavUlucnUprejavibaudskho(prpadneivocinho)mozgu(wetware).Pokiaideohardwer(dryware),jeho .)~$( sp=sobilosmysliearadiklnevylucuj,hocipripaj,ezdaniemysleniadokuvyvola.R 2#  5      ׀ +Q&*   Takenasledujniektorhypotzy(oznacujemeichHsnslednUmporadovUmcslom),oktor  sadoprievnadvzujcichvahch. H1: k 8  Materilnapodstataneurofyziologickhosubstrtu(mozgu)beztoho,abykldlaohranicenia,poskytujebiofyziklnezkladyprocesovmysleniatUm,emschopnosrealizovarekurzvnefunkcietedatocosaduskutocovaTuringovUmstrojom.  _  H2:0  Mysleniesadskmanezvisleodskmaniamozgu,t.j.nezvisleodneurofyziol;gie. ""    Nasledujcich6hypotzomyslenpochdzaz"mylienkovejdielne"vUznamnhokognitvnehopsychol;gaJohnsonLairdazrokov198789,ktorUhlbokoprenikoldote;rieinformatikyajpraktickUchotzokprogramovania,poskytujemotivujcemylienky): H3: )y 0  Psychologickte;riasadpovaovazaschopncosivysvetliibavtedy,keijejumonformulovaakoefektvnuprocedru(TuringovstrojTS). K""  H4:  0  Psychologickte;rie(pokrUvajcerozsiahleoblastimyslenia)sadajponmaako  vypoctatenfunkcie.Jestvujvaktakaspektyudskejmentality,ktorsanedajvystihniadnoute;riou.Zrovevaknemonovylcirozreniekonceptuefektvnejprocedry(TS)tak,abybolschopnUzahrnviacnemnoinuscasnevypoctatenUchfunkciatUmpokryajialiementlnefenomny. [""  H5: -} 0  Produkcnpravidlvytvrajgramatiku,ktorjeekvivalentnuniverzlnemuTS,pricomspovaovanzazkladupsychologickyorientovanUchte;rivypoctatenosti,ktorumoujtvorbupecifickUchte;rikogncie.  8""  H6: " ! 0  Funkcnorganizciamentlnychprocesovm=ebycharakterizovatenpojmomefektvnychprocedrpretoeschopnosmyslevytvrapracovnmodelyzodpovedvUpoctovmuprocesu. u% $"" 84444=-)j (  `@@."0(."0( ""                     ".).   H7hovorotom,e mysleniepokiajevurcitomrozsahustotonitensvUpoc   .). tovUmprocesom,sadrealizovaajpoctacom.  l  H8:0  AkTuringovtzyafunkcionlnypohadssprvne,takvznikajcete;riemysleniabudvyjadritenvtermnochvypoctatenosti.  I""   KhypotzeH8:Problemspocvavtom,ekdanejvypoctatenejfunkciiexistujemnohoefektvnychprocedr,ktorsam=uvzjomneaprincipilneli.Ztohoplynie,eajkebysmepresnepoznalifunkcievUpoctovozodpovedajcejednotlivUmmentlnymprocesom,ajtakbyvznikliproblmysnachdzanm(identifikciou)procedr,ktorsichschopnvypocta(Marr,1977).NapriektomutvorbaprogramovUchsystmov schopnUchvytvra o  pracovnmodelymyslenia jeoprvnenUmpredmetomteoretickhoajpraktickhozujmu Z  UI.Opierasaozsadnmylienkyomonostiachvyuvaniapoctacovvlohe prostriedku E modelovaniaprocesovopercisosymbolmi, ktorzodpovedajnajcharakteristickejej 0 udskejcinnostimysleniu.ZkladytUchtomylienokvznikliuvpriebehuDartmouth k SummerConferenceonArtificialIntelligencevroku1956.NslednUvUvojvhodnUch U programovacchprostriedkovaexperimentovaniasnimivytvorilipredpokladynavysloveniezkladnejhypotzymotivujcejrozvojUI.VyslovilijuA.NewellaH.A.Simonvr.1976anazUasa hypotzafyziklnehosymbolovhosystmu a 2#  6      .Jejformulciajenasledovn:  84444=-)j (  `@@( "~( "~ ""                  ""  E.A.Feigenbaum,profesorStanfordskejuniversity,vedcaosobnoskolektvutvorcovDENDRALuobohacujeH9tzv. znalostnouhypotzou:  !-  84444=-)j (  `@@.*"~( "~.*"$ ""                     ""  PokracujcirozvojpoznvaniavediekialiemuobohacovaniuzkladnUchmylienok. +2'+ B.Smith,zMassachusettsInstituteofTechnology,vroku1982(zpohaduprednateavemivUznamnUmsp=sobom)rozvjaH10formulovanmnasledovnejhypotzy(nazvimeju propozicn ):    V  oOa8f????=-)j (  `@@)")" ""                                 ""TtohypotzaosvetujevUznamnstrnky(mechanickej)inteligencie:8  (A) Nevyhnutnossymbolovejreprezentcieznalostpropozicneinterpre n   n  tovatenUmiprvkami (monoimpriraiovapravdivostnhodnoty) vytvrajci Y   Y  mikonzistentneinterpretovatenvetyurcithojazyka. D 8  (B)Inkorporovaniezodpovedajcichvietdosystmu (mechanickej -} inteligencie) jenevyhnutnUmpredpokladomjehointeligentnhosprvania h sa. S   Poznmka:HociintuitvnerozumiemevUrazu"pravdivos,pravda",predsalennem=emeobsskutocnos, % esajednopojmyfilozofickejpovahy.BezzachdzaniadopodrobnostaibaprepotrebyporozumeniaprincpomtvorbyexpertnUchsystmovjevhodnakceptova,e(a)tvrdeniejepovaovanzapravdiv,keijevsladesurcitUmstavomvec(zleitost)vosvete,alebourcitoumnoinoutvrdenvytvrajcichistUobjemznalost,(b)aleajvtedy,keijevsladesurcitUmipostojmi,nzormi,stanoviskami,civierou,atonezvislenapoznanejalebonepoznanejskutocnosti(prejavujesatonapr.vprvnych,politickUch,ideologickUchamnohUchinUchoblastiach,vktorUchnemonovylcipouiteexpertnUchsystmov;hermeneutikajenzovdisciplny,ktorsa l zaobertUmitoaspektami"pravdivosti"). .   UvedenhypotzyrozvjajaspresujuvdzajceasercietUkajcesatoho,epoctacomrealizovanprocesynrokujcesiatribtinteligentnhosprvanianevystaciasrealizciouiba vopreddanUchjednoznacnUchdeterministickUchnvodov .Schopnos Z!! manifestovafenomninteligenciespocvana situacnomuplatovan(prehadvaccha E"" revokovatenUch,t.j.odvolatenUch)procesov,ktorUchpostupnosniejevopreddeterministickydan . $i$   Jetovsladespoznatkamiomyslencloveka.Tenr83#b (  `@1")"1"%r """/@+1                                  "/@+1 oOa o o  oOa o o    Obdobnsp=sobilostisaocakvajajodfyziklnehosymbolovhosystmupokiampatridokateg;rieinformacnUchtechnol;gisatribtominteligentn.NazkladevyieuvedenUchhypotzbytomalobyvurcitom(doterazdefinitvnenevymedzenom)rozsahumon: poctacbymalbysp=sobilUvykonaviac,nemujeprogramompredpsan!       Fyziklneprincpy(pneumatick,hydraulick,relov,elektr;nkov,polovodicov,   integrovanobvody)afunkcie(registre,organizciaALU,pamte,vykonvatenk;dy)konkrtnehopoctacaniesztohtopohadurelevantn.y8:*&j  `@ @"p"py ""                        ""  MnohztUchtoprincpovsuznme.Spoznalosa,eichprogramovrealizciavyaduje zmenutUluprogramovania. JednouzpodstatnUchmonostjedoplnenie(na    hradenie) procedurlneho programovania deklaratvnym .Atojetma,ktorejjevenovan  vcinaznasledujcehovUkladu. 1.40  Procedurlneadeklaratvneprogramovanie 2""   Neuronov(konekcionistick)siete,genetickalgoritmy,objektovoorientovana  U deklaratvnaparadigmaprogramovaniavyvreliznovhoponmaniaprogramovacch  > technol;givspojitostisproblmami,ktorUchrieenienepodliehaalgorotmickmupostupuimplikovanmuichformulciou.Vtomtokontextejed=leitujasnisipredovetkUmodlinostiavzahmedzi klasickUmprocedurlnym anovm deklaratvnymtUlom #" programovania . $#   Podstatouklasickho procedurlneho sp=sobu programovania jetvorbapostupnosti % $ prkazov,prektorplat:8????=-)j (  `@@'-"p"p'-"=( ""                  ""PodstatouuvedenhojevemijednoduchUprincpriadeniazabezpecujcehozbiehanieprocedurlnehoprogramu:Nech n jeporadovcslointrukcie, m jecelcsloaNILzodpoved .). przdnejintrukcii,potomtentoprincpmvo funkcnomvyjadren tvar  8????=-)j ( t `@@_ jb_ jb ""                                       ""  Jednoduchosriadiacehoalgoritmumzansledoknevyhnutnosdomysliedo p  vetkUchpodrobnostisitucie,doktorUchsaspracvaniedajovm=edosta,asp=soby,akosavnichmvUpoctovUprocessprva. VedietokpotrebetvorbySX XX;Xriadiacejinfra B  B truktryvUpoctovUchprocesov.XXIXSXZodpovedajceprkazysspravidlaroztrsenvtele -} programov,cosp=sobuje,eriadiacainfratruktrajecastoneprehadnaakozrozumitendokoncaajsamotnmuautoroviprocedurlnehoprogramu.  Ubolopovedan,eESsavytvrajnarieenieproblmov,prektorniesvopred 9 dandeterministickalgoritmy,ibanapoznatkochspocvajcesituacnpredpisyvedceknachdzaniurevokovatenejpostupnostivyuitenUchrieiacichkrokovpotencilnevedcichkelanmuvUsledku.Programovrealizciazodpovedajcichprocesovvyvolvapotrebu  programovaniaodlinhotUluvporovnansklasickUmprocedurlnymtUlomprogramovania:8????=-)j (  `@@ 4""_ jb4""J ""                  ""Aprvevtomtospocvaprincp deklaratvneho(situacnho)tUluprogramovania . "!  Zd=razujsapritomzkonitostirieeniajednotlivUchdruhovproblmov,pricomsado #" znacnejmieryichsymbolovvyjadrenie(reprezentcia)separujeodvlastnUch(univerzlnych)rieiacichprocesov.K 2#  7       }% $   Prideklaratvnomprogramovan rieitenosproblmunezvisodiadnejkonkrt f&!%  f&!% nejriadiacejstratgie ,ibaodpecifikovanUch,vzjomnenezvislUch(alebolenmlo Q'"& zvislUch)symbolovUchvUrazovreprezentujcichzkonitosti,ktorUmpodlieharieenieproblmu.ProgramovaniespocvanavyjadrenpodstatnUchabenepredvdatenUchsitu %)u$(  %)u$( cichvyskytujcichsapririeenUchproblmoch(teda nievUpoctovUchprocesoch )apriraden  zodpovedajcichakci.To,ciakedyvzniknjednotlivsituciesanemuspredvda.Jed    notliv situciesurcenzostavami   0  znmychdajov 󀄀tiem=ubydodan,zskan,odvoden,predpokladanaete n nespochybnen), "" 0  chUbajcichanedostupnUchdajov ,B "" 0  dajovkorepondujcichsobsahominfratruktry rieiacichprocesovzodpove - }  - } dajprebiehajcimstavomrieenhoproblmu. "" (Uvedenkateg;riedajovcharakterizujrieenUproblmajjehopriebeh.)  KeiezbiehanierieiacehoprogramujepodmieovanvUskytomsituciatiesurcovandajmi,hovorme osituacnomaleboodajmiriadenomvykonvanprogramu .  #    Prideklaratvnomprogramovantedastac,keisavhodnereprezentujzkonitosti   problmovejoblasti.Nsledne,pririeenproblmovsanemusformulova ako sam   postupova,stacuvies co samriei.   8'''':*&j  `@@!c"fc"f ""                              ""y8:*&j  `@ @"""fc"f""iy ""                     ""  Programovrealizciainterprettorajeprostriedkom,ktorUumoujevytvraniede "!  "! klaratvnychprogramov.OdbremeujetvorcutakUchprogramovodnevyhnutnostipredvdapostupnosvykonvaniajednotlivUchkrokovdeklaratvnehoprogramu,tedastarosoriadeniejehozbiehaniaavytvraniazodpovedajcejinfratruktry. % $  y8:*&j  `@ @#-"f""f-"U'y ""                     ""   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 ?  (mnoinaaplikovatenUchoperciimplikujevzniknedeterminizmu!),t.j.situacne * z  * z akcnUchpravidiel(vprpade,eabsentujpotrebnpoznatkym=ebyttomnoinaajprzdna,covyadujeprostriedokoetreniatakhostavu), ""  10  f je funkcia, ktorvoveobecnostinetrivilnymsp=sobomvyberievhodnoper  6    6  ciu(pravidlo,intrukciu),jejporadovcsloznacme n ,aleboukonccinnos(tomu  !  zodpoved NIL ). "" Tedariadiacaprocedrazodpoved zobrazeniuanslednejaplikciivUberovejfunkcie ,co   vyjadrmevtejtopodobe8????=-)j ( t `@@$_ cbM_ cbM ""                     ""   VUberovfunkciaf ,vzvislostiodd=myselnostijejrealizcie,m=esymbolizova  odtrivilnehoapovemisofistikovanUm heuristikm zodpovedajciproces:  mechanickUvUbernajmenieho,cinajvcieho n , k nhodilUvUberopercie(akcie),vUberopercie(akcie),ktor0  1bolaposlednepreruen,tedanedokoncen, "" 0  1jebuizovetkUchprpustnUchnajveobecnejiaalebonajpecializovanejia, "" 0  1poslednevykonannajlepiedopluje,alebojeprvejejopakom, "" 0  1saposlednevykonanejaibaciastocnespenejnajviacpodob, "" 0  1mpreuskutocneniekdispozciinajviacdajovalebonajvhodnejiedaje(spoahlivos,presnos,kategoricnosapod.), "" vUberopercie,ktor0  1jebuinajcastejiealebonajzriedkavejiepouvan, "" 0  1sp=sobaktivciubuinajvciehoalebonajmeniehopoctunadvzujcichakci, "" 0  1sp=sobaktivciunajlacnejch(napr.vzmyslevUpoctovejzloitosti,nrokovnadoplneniechUbajcichdajovapod.)nadvzujcichakci, "" 0  1mpotencilzskanajviacnovUchalebonajdiferencujcejichinformci, "" 0  1savanalogickejsituciinajcastejieosvedcila, "" 0  1vzhadomnadankrtria,pokiaichspluje,zabezpecujenajrUchlejiedosiahnutiecieovhostavu, "" aialie.  Jezrejm,eibatakrealizciavUberovejfunkciejemon,ktorbuijednoznacnevyberiejedinztUchtoalternatvtojeprpad(pomernedobrezvldnutUch)procesovniej .). rovne,alebojedin makrooperciu tvorenvhodnoudeterministickoukombinciou  zodpovedajcichopercicojeprpad(zatianedostatocnepreskmanUch)rieiacichprocesovvyejrovne.HocisamotnUprocesvUberuopercimnevyhnutnepovahuurcithoviaccimenejkognitvneefektnhoalgoritmu(ajkeibyspocvalibanamet;degenerovanianhodnhovUberu),vzhadomnaabsentujcicielenUnvodnarieenie jetakUproces V nedeterministickUibanezvzneskmaaplikovatenosaspenosvybranUchoperci!  A     Nedeterminizmus ,akocharakteristickUrysproblmovrieenUchES,implikuje,e * z rieiaceprocesyspravidlaobsahujmnohotakUchkrokov,vktorUchnastvaaspojednaznasledujcichsitucio80 b  `@% "  " o ""                     ""  Prialternatvnompreklenovannedeterminizmovsauplatuj heuristickpravidl.  / Stoaksinezd=vodnenen,sksenosounadobdannvodynarozhodovanievnedeterministickUchsitucichrieiacehopostupu.Hociscastospen,predsalenniesspoahlivouzrukounjdeniasprvnehopostupu,m=uviesajknezdaru.akosspocvavtom,eo8e0 b  `@&*"  " *"o ""            ""pretoniejenvodomkdeterministeckmurieiacemupostupu. 1.50  Paradigmadeklaratvnehoprogramovaniaaproduktvnerieiacepostupy  V""   Takenazkladedoterajchvahsaoaplikovatenostiprocedurlneho,resp.deklaratvnehoprogramovania,dvyslovinasledovn }% $  }% $ 84444:*&j  `@@'"" ""                                "" Paradigmadeklaratvnehoprogramovania b  84444:*&j  `@@(`""`" ""                        "" Deklaratvnyprogram84444:*&j  `@@)+"`"+"  ""                                    ""Tvorbadeklaratvnehoprogramupodlieha  , (,  .).  w/*/ 84444:*&j  `@@*Z "Z " ""                  ""  Odclenenierieiacichprocesov,atedasvisiacichriadiacichkontruktov,odvlastnhodeklaratvnehoprogramu,vUrazneuahcujetvorbujednotlivUchprvkovprogramu,porozumenieichposlaniuacinkovichpouitia.y8O:*&j  `@ @+/"Z "/"y ""               ""Zhrujcuvdzame: Produktvnerieiacepostupy  b o80 b  `@,("/"("o ""                                                            ""  PodkapitoluuzatvrameetepoznmkoutUkajcousar=zneponmatenUchpohadovnaprocesy prehadvania .Zd=razovanaspektynajcastejiehovoriaorieiacichpostupoch *<&* vterminol;gii: -(-  -(- o8V0 b  `@- " "o ""          ""Ideovzjomnesanevylucujcehadisk,ktor0  sstreiujpozornosnaliacesaprstupykreprezentovaniuarieeniuproblmov,  _ pricomkadUznichmsvojeoprvnenieajposlanie, "" 0  zosyntaktickUchhadsksvoveobecnostivzjomnezameniten. 1 "" y8:*&j  `@ @." ""y ""                     ""y8U:*&j  `@ @/"""y ""                              ""y8X:*&j  `@ @07'""7'" y ""                     "")XXXX 1.60  FormlnalogikaajejpostaveniepritvorbeES )h$(""   InterpretciadeklaratvnehoprogramustelesujcehopotrebnznalostsvissrealizciouuniverzlnychprocesovuplatovaniareprezentovanUchpoznatkov.Zodpovedajciprocesmusspocva(by"ukotven")napevnUchteoretickypodloenUchprincpoch.Avtommajformlnelogikynezastupitenpostavenie.StUmsvisobsahtejtopodkapitoly.  Zpohaduformlnejlogikysstavaznalost Z (axi;myateormy)reprezentovan .). prslunUmisymbolovUmiprostriedkamimvkonkrtnychprpadochumoninjdenievet z/*/ kychpravdivUchviet(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 y8:*&j  `@ @1R" R" y ""                  ""Tiemusiaumoninaprkladnazkladepravidieltypu0  zx(a(x)[c(x))  """(1.1) j nazkladeplatnostiprediktu a(K) 󀄀t.j.zpravdivostitvrdenia 'K mvlastnosa'odvodi > zo Z preindivduovkontantu K odpoveinaotzku Q ,tedaplatnos c(K) ,coznamen,e )  K majvlastnos c .Symbolovopeme  0  a(K)c(K)  """(1.2)  kde  jesymbolompre"odvoditen".Odvodenieodpovede c(K) zabezpecujpravidlin l   ferencieaplikovannapravidlatypu(1)obsiahnutv Z anafakt(poznatok) a(K) . W 8Z4444:*&j  `@@2"" R" ""+ ""               ""  Logikavytvrazkladu syntaktickUch 󀄀mechanizmovalgoritmickhoexhaus #"  "! tvneho(zosmantickehohadiskanedeterministickho) prehadvaniavetkUchd=sledkov, $#  ktorvyplUvajzmnoinysplnenUchpredpokladov.Jej % $ 8[????=-)j (  `@@3x*" "" $ x*`' ""            ""@$`urcujd=sledkypriamoodvoditenzmnoinypredpokladov,umoujusudzovao8h????=-)j ( : `@@4/" x*" /, """.).       ".). @G`ktorvak@V$`nemusianastaaleboniesplauzibiln(vierohodn)anirelevantn(vUznamn),  k  8i????=-)j (  `@@5@ "= @ "=  ""               ""y8n:*&j  `@ @6"= @ "= " y ""                                       ""  Vimnimesiialieakosti.  Vpriebehurieeniakonkrtnychproblmovm=esamenipravdivostvrdenorealite(napr.kv=lidynamickUmzmenmvnej).PretojenevyhnutnsstavnesledovabezospornosvetkUchdanUchaodvodenUchtvrdenapodapotrebyjenevyhnutnichaktualizciouzabezpecovakonzistentnosrieiacehopostupu.y8q:*&j  `@ @7P&"= "= P&" y ""                  ""  Pririeenrelnychproblmov,vpociatocnomstaverieeniaspravidlanieskdispozciivetkypotencilnepouitendaje.Tiesavpriebehurieeniapostupne,podapotreby,zskavaj,zhromaiuj.PrlivnovUchdajovm=eviesksitucii,ktorvyaduje(dramatick) preformulciup=vodnhoproblmu arieenieplnenovho.Procesyprefor *Q%)  *Q%) mulovaniaproblmunieszaloenna formalizova(te)nUchpostupoch ,majpredovetkUm *<&* empirickpovahu.y8s:*&j  `@ @8S0"= P&"= S0",y """{/*/       ".).   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"pravdivos", x&!% resp."nepravdivos",neostr/fuzzylogikaimplikujcaaspojit(prpadneajnelinerne)kontinuummedzipravdouanepravdou, "" 0  nezvznpouvanie ocakvatenUch(predpokldatenUch)dajov nahradzujcich 5)$( chUbajce, "" 0  udrovanie konzistentnosti odvodenUchfaktov nemonot;nnalogickinferencia  +Y&*  (odvodzovanie),+D'+"" 0  oceovanie"nkladov" zavyhodnocovaniepodmienok(zskavaniedajov)a ,-(, vykonanieoperci(ichinformacnUprnos), "" 0  smantickodlovanie poslaniaoperci(pravidiel),cicaststavovhopriestoru .*. rieeniaproblmu(napr.rozliovaniehlavnUchavedajchinferencnUchschm,rozliovaniefenomenologickUchakauzlnUchzvislost,repektovanieohranicenapod.), "" 0  pecifikovanie,generovanieapouvanie podpornUchriadiacichdajovUchtruktr k aciastkovUch(generickUchmakro)procesov umoujcichobohacovaprostriedky V odvodzovania,ktorvyplUvajzvlastnostJPPL, "" ain.  Voveobecnostijestvujdve alternatvypouvaniamimologickUchkontruktov  c  amonosichkombinovania:  N  (1)0  rozreniesystmulogickUchklauzloriadiacedajovtruktry,ktorumouj  7  explicitnevyjadrovasituacnepodmienenriadiaceakciea "" (2)0  rozreniefunkcnUchsp=sobilostinterprettoralogickUchformlosituacneriaden   spanieprocedurlnychrieiacichmechanizmov. ""   1.70  Poznatkyaznalosti ] "" NazvertejtouvdzajcejkapitolyvenujmepozornosetevUznamu,vktorompouvamekcovpojmysvisiacesfenomnom(nazvanUm)expertnUsystm: poznatok a znalos .S i topojmy,ktorUchvUznamsanedjednoduchodefinova,najmvtedynie,kebysamalizohladnivetkysvisiaceaspekty.PrepotrebyvUkladuvnadvzujcichkapitolach(akv=li = vytvoreniuneprzdnhoprienikuprvkov'mentlnehomodelu'citateaaautora)uvdzame ' vymedzenia,ktorsnepochybneprimeranouaproximciutUchtofenomnov,pricomchpovaujemezaotvoren,tedanenrokujcesidefinitvnos.8t????:*&j  `@@9>0"e>0"e """/*/                                                             ".).  8v????:*&j  `@@:N""N"" ""                                                                                             "" Termnznaloszahrujeakombinuje #" 0  deskripcie(opisy,defincie) identifikujce a rozliujceentity ajich triedy 󀄀s $# vyjadrovan vetamiurcithojazyka, ktorUchprvkystvoren primtivnymi v% $ konceptami ,a&!%"" 0   relcie ,ktorvyjadruj vzahy (zvislosti,podmienenosti)enttzodpovedaj K'"&  definicnUm,asociatvnym(empirickUm),prcinnUm(kauzlnym),taxonomickUm, 6(#' trukturlnym,kontextovUm,priestorovUm,casovUm,funkcnUm,lohovUm,ohranicujcim,modelovUmariadiacim/regulacnUm vzbm(svislostiam),*X%)"" 0   procedry(preskripcie) ,ktor postupnosamioperci vpriebehurieeniaproblmov *C&* (situacne) vymedzujpouvanieainterpretovaniedeskripciarelci .+.'+"" 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  a ne(nite)nUvzah(y),spojenie(a)medzidvomialeboviacerUmientitami(napr.ichscasnUalebonslednUvUskyt). ` "` "  Kauzalita(prcinnos) 󀄀znmezd=vodnitensvislostimedzidvomialeboviacerUmi    0  0` ""entitami,ktorsvovzahuprcinyansledku. ` "` "  Taxon;mia 󀄀zodpovedusporiadanUmvzahomtypuveobecnejpecilnej(generali   0  0` ""zacnopecializacnvzahy),aleajnadriadenUpodriadenU,predchdzajcinsledncky(napr.vUvojvcase)umoujceorganizovanie/usporiadavanieentt. _ ` "` " truktra0 ` vzjomnUvzahprvkovcelku,t.j.ichzloenieaorganizcia,akoajvzah H prvkovkcelku. ` "` "  Kontext 0 ` okolnosti,svislosti,zaktorUchsauplatujurcitpecifickvzahymedzi l entitamipodmieujceichliacesapostaveniecilohy,tedaajr=zneprpustnvUznamy(poritielohy).@` "` "  Priestorovvzahy 󀄀vtomtoprpadesaspravidlajednopozicn,rozmerovasmerov * 0  0` ""vzahymedzientitami(susedstvo,vntrovonkajok,vekos,vzjomnvzdialenosti/poloha/orientciavpriestore,tvar,smerpohybuati.). ` "` " basov(temporlne)vzahy 󀄀spravidlasauvaujsvislostimedzientitami,ktorvzha  0  0` ""domnaichvUskytalebozmenyvurcitUchcasovUchokamihoch/intervalochpodmieujokamit,scasnacasovonslednvUskyty,cizmenyinUchenttτumoujuvaovaojavochminulUch,scasnUchabudcich. ` "` "  Funkcnvzahy 󀄀sprvanie,poslanie,cipouitieentt.  = Blohy 0 ` znmecipredpokladanpolymorfizmy(polyfunkcnosti)entt(tistaentita (x m=emar=zne(situacnepodmienen)lohyaposlaniesodlinUmikvalitami,vlastnosami(pozritiekontext).. L` "` "  Ohranicenia predpisyazkony(spolocenskaprrodn,vrtanevzahovkfyziklnym, !6  0  0` ""chemickUm,biologickUm,ekonomickUmkontantm)vzahujcesakentitmaichvzjomnUmfunkcnUm,trukturlnym,ekonomickUm,socilnymainUmvzbm(podmienenostiam). ` "` "  Modelovvzby 󀄀znmecipredpokladandynamicksvislostiurcitUmsp=sobom0 % $ " " 0  vzjomnepreviazanUchaovplyvujcichsaentt,ktorreprezentujtruktruasprvaniesamodelovanejpredlohy. ""  Regulacn/riadiacevzahy 󀄀pecifickzvislosti,nazkladektorUchjemonovplyvova I(#' sprvaniesaentt.  Zverometedvapojmy,ktorrozlujznalostzhadiskaichposlaniavznalostnUchsystmoch: term a asercia . +?'+  .). Ї   84444:*&j  `@@;"" ""                                 ""84444:*&j  `@@<""" ""                                    ""   UvedentypyznalostjevUhodnsymbolovoreprezentovaodlinUmiformalizmami. q Onichsapojednvavnasledujcichkapitolach.Predpokladme,euajpoprectantejtovodnejbycitatemalmaasponeplnpredstavuotomcosaskrUvazafenomnomnazvanUmexpertnUsystmasniajvczujemttopredstavusiprehbitdiomnasledujcichkapitol.7XXd(]d7 XXX)X% > 2.0  SYMBOLOVREPREZENTCIAPOZNATKOVAZNALOST0  7""  2.10  Prostriedkysymbolovejreprezentcie " !""   Vpredolejkapitoleuvedenhypotzy,najmkonceptmentlnehomodelu 2#  8      ,s $# vUchodiskomrealistickhopredpokladuouvaovanclovekaX XXXstovmysliuskutocovan v% $ procesy(opercie,manipulcie)sentitamimentlnehomodelu,tedasmentlnoureprezentcioutUchtoentt#XXSXX}#X XXX.#XXIXX~#ԀExistenciaprslunUchenttvmysli/pamticlovekaje J'"& nevyhnutnoupodmienkouuskutocovaniatakUchtoprocesovatedamyslenia.  Procesodvodzovania/usudzovaniauskutocovanUpoctacomjevaktieproces )n$( operci(manipulci)sentitamivjehoaritmetickologickejjednotke.NevyhnutnoupodmienkouichuskutocovaniajeexistenciasymbolovejreprezentcieprslunUchenttvpamtipoctaca. +*'+   ZtejtoevidentnejanalogievyplUvapozornos,ktorsavsvislostistvorbouESaveobecnevUI,venujesymbolovejreprezentciipoznatkovaznalost.Menovite  84444:*&j  `@@=3 "3 " ""                  ""   Symbol jejednoznacneidentifikovatenUamanipulovatenUfenomn,ktorUm=e  I oznacova(zastupova,reprezentova)inentity.ZkladnUmelementrnym(nerozloitenUm)symbolomhovorme symbolovprimitva .Umouj vytvranie zloitejchsymbolovUch    truktr .Aprvevsvislostistakoutvorbousadhovorio procesoch umoujcich   nielen vytvra a vzjomneviaza, aleaj rui,spja,rozcleova, rozdelova, ciinak    meni taktotruktry.     Zhadiska symbolovejreprezentcieznalost vpamtipoctacajevemivUznamn y  rozoznvaavovzjomnUchsvislostiachuvaovaovlastnostiach reprezentacnUch d  prostriedkov ,oich O 84444:*&j  `@@>"3 ""# ""                     ""  Predmetreprezentcie jeto co savurcitom rozsahu mam=ereprezentova.Ten  istUpredmetreprezentciesadzastpi(reprezentova)r=znymisymbolovUmiprostriedkami. m Pretojepotrebnrozhodn cm reprezentova,t.j.voli symbolreprezentovanho .Naviac, V d=leitUjeaj prostriedokreprezentcie ,t.j.prostrednctvom coho sareprezentujetak,aby A bolomonzachytivetkyzistUchhadskpodstatncrtypredmetureprezentcie.Tovetkosviss expresivitou symbolovejreprezentcie.  e   Blohuexpresivityosvetlmenadvochprkladoch.  Uvaujmenajprvproblmidentifikovaniastavu(diagnozy)urcithotechnickhozariadenia,povedzmetelevzora.Narieenieproblmujepotrebnreprezentovajehotruktru, # " funkcieasprvanie(prejavy).TUmjepecifikovan co samreprezentovaaj rozsah  $# reprezentovanho(nespomnamenapr.fyziklnezkonypodmieujcefunkciezariadenia).Reprezentciabymohlamapodobunapr.(1)0  fotografievntornejkontrukcieapartu,b'"&"" (2)0  grafickhovyjadreniablokovejciK(#'"" (3)0  podrobnejschmyelektrickhozapojeniasuvedenmpoadovanUchhodn=tjednot 4)$( livUchparametrov,tieaj "" (4)0  slovnhoopisuprvkovsystmu,ichfunkciavzjomnUchvziebkorepondujci +V&* schmecelhosystmu,prpadne "" (5)0  formlnemu(symbolovmu)prepisuschmycislovnhoopisu.,((,""   Uvaujemeteda cm reprezentova,o symbolochreprezentovanho (vetky -)- spomenutalternatvyobsahujzodpovedajcesymbolyreprezentovanho).Jezrejm,esapritomlia prostriedkyreprezentcie ,t.j.prostrednctvom coho sareprezentuje.Vprvom /*/ prpadebyiloobitmapuzodpovedajcuelementrnymbodovUmtvarompovedzmenafotografii.Vdruhomatreomprpadestozauvangeometricktvary,napr.trojuholnky,tvoruholnky,secky,krunice,pirlovitkrivkyapod.,prpadneajvofarbeaspriradenUmidohovorenUmiznackami/symbolmi(napr.csla,oznaceniafyziklnychjednotiek).Prostriedkomrealizcietakejtoreprezentciesikony,cibitmapy.KebyilooslovnreprezentciusymbolmibybolizauvanvUrazovprostriedkyprirodzenhojazyka,ktorUchpostupnospodliehazodpovedajcimgramatickUmpravidlm.Napokonvprpadeformlnehozpisubyiloosymbolovprostriedkyapravidlzvolenhoformalizmu,napr.vUrokovejaleboprediktovejlogiky.  JednoduchmapriezracnejmprkladomozrejmujcimvUznampojmu expresivita   1  jereprezentovaniekvantt.Keimmereprezentovacelocselnmnostv( co ),m=emesa    rozhodn( cm )prevyjadrenieslovn,dohovorenUmisymbolmi(napr.bodkamiaciarkami   akovmorzeovke,zoskupeniamiznaciek / 󀄀povedzmepopticich,kombinciamisymbolov    O a I zodpovedjcichbinrnmuvyjadrovaniu,arabskUmicslicami,ichkombincious   psmenamiakojetonapr.vhexadecimlnejsstave,vymedzenUmipsmenamiprpadrmskychcisielati.).Prostriedkomreprezentcie(t.j coho )s(vporadpredolho)pravidl a  Morzeovejabecedy,zvolenpravidlzoskupovania,pravidlbinrnehok;dovaniacisiel(napr.binrnek;dovaniedesiatkovejcselnejsstavyBCDk;d),desiatkovpozicnsstava,pravidlhexadecimlnejreprezentcieanapokonpravidl,ktorUmpodliehatvorbarmskychcisiel.   Odvodzovaciacinnos jepodmienenprostriedkomreprezentcie.Idevlastneo @  pouitenosreprezentanta ,o procesy ,ktorumouje produkova ,tedaoto coaako + umoujeodvodzova .    NaprkladochprostriedkovreprezentciecelocselnUchmnostievmonoilustrova  vUraznrozdielyodvodzovacejcinnosti.Slovnreprezentciajenesporneprostriedkomzaznamenvaniaaprpadnhoprenosuinformciomnostvch.KebysavakmalavykonaoperciascinumedzivUrazmityristosedemdesiatdevadevstosedemdesiattyri,vznikli m byurcitakosti.Toistmonotvrdioprpade,vktorombysaspomnanmnostvmalireprezentovanazkladeMorzeovejabecedy.AnijedenztUchtoprostriedkovreprezentcieneposkytujetoticinnprostriedkynauskutocovanieprslunUchvUpoctovUchoperci.OmlovUhodnejiebybolopouvanievhodnUchzoskupensybolov /// ...,aspozhadiska  b operciesctu.Binrnareprezentciamnostiev,najmsohadomnar=znemonostipravidielk;dovaniaanimipodmieneUchoperci,poskytuje(predovetkUmpreelektronickzariadenia)rozsiahlemonostiprodukovazodpovedajcevUpoctovprocesy.Keisanapr.kvantity479a974vyjadriavtvareIIIOIIIIIaIIIIOOIIIO,operciansobenia,akojetodobreznme,savykonzodpovedajcimiposuvmiascitovanm.VprpadeBCDk;dunadobdajuvedencslapodobuOIOOOIIIIOOI,resp.IOOIOIIIOIOOacitateahkozistpravidl,nazkladektorUchvznikneprocesnsobenia.Oprednostiachdekadickejcselnejsstavy(najmvzhadomnato,evcinaudstvajedobre"naprogramovan"nazodpovedajceopercie,hocikontruktrzodpovedajcichelektronickUchobvodovzrejmesledujeinhadisk)savarinetrebazmieova.Prehexadecimlnucselnsstavuplatiaanalogickpohady,hociudstvoniejenajejpouitiezvyknut("naprogramovan").NapokonsaprichodzmienioreprezentciicelocselnUchkvanttrmskymicslami.PorovnanmnasledujcichvzjomnesaodliujcichreprezentciuvedenUchcsel 479=IIIOIIIII=CDLXXIX .). 974=IIIIOOIIIO=CMLXXIV  /*/ jezrejm,epokiaideoexpresivitussiekvivalentn,alevzhadomnaodvodzovaciucinnossavUznamnelia.Vprpadermskychcisiel(nepozicncselnsstava)narazmenaakostinielensrealizcioujednotlivUcharitmetickUchoperci,aledokoncaajnaohraniceniaprivyjadrenvUsledkuscinuuvedenUchdvochcisiel.  Anapokonetezmienkao vUpoctovejcinnosti(efektivita,zloitos) procedr,ktor T sa(situacne)vykonvajs reprezentantantamireprezentovanhovichvzjomnUch ?  vzbch .OpktomupouijemeprpadoperciescinunadvyiepouitUmicslami. * z   Vprvomradejezrejm,epocetelementrnychoperci,ktorjenevyhnutn,abyuskutocnilclovek,savovetkUchprpadochvUznamneli.ObdobnejetoajspamovUminrokmi,ocomsaahkopresvedcme,keivUpoctyuskutocnmepomocouperaapapiera.Bezproblmovsadtiepresvedci,eniejetomuinakanivprpaderealizciezodpovedajcichprocesovpoctacom,hocipoctyelementrnychoperciapamovnrokysaviakapouitejelektronikym=uvUznamneli.Prirodzene,snahoujevolitakprostriedkyreprezentcie,ktorsefektvnezpohaduvUpoctovejcinnosti,tedaminimalizujvUpoctovzloitos.  Predmetomzujmupriskmanprostriedkovreprezentciepoznatkovaznalostsvhodnsymbolyasymbolovtruktry.Aprvepriichvobecivytvranjevemid=leitozrejmisiuvedentricharakteristikyaichoptimlnevyvenie.  Vyjadritenosapouitenospoznatkov/znalostsd=leitUmivlastnosamivetkUchprostriedkovreprezentcie.KadUznichposkytujeistUsborsymbolovUchtruktr,ktorovplyvujcovetkomononimi vyjadri aakomonovyjadren poui .Priuplatnen Q hociktorhoprogramovaciehojazyka,pouitentruktryreprezentciesdeterminovanjednakprpustnUmisyntaktickUmikontrukciamijazykaajednakpovolenUmimonosamiorganizovaniadajovkprocesomrealizovanUmvytvorenUmprogramom.  Netrebazd=razova,evkonecnomd=sledkupouitenosubovonesymbolovoreprezentovanUchpoznatkovsaredukujena poctacomrealizovatenvUpoctovprocesy (so  symbolmi,ktorzvykvameoznacovaOaIainterpretovaako0a1) 2#  9      .Nadruhejstrane { nezvislea/alebovplyvomrozvojate;rieaaplikcimet;dUI,vznikliavznikajviacer̄0  (relatvne)novprogramovaciejazyky(napr.LISP,Prolog,FRL,ain),M"" Є0  met;dyprogramovania(napr.volanieprocedrniemenom,alecieom,resp.operci 6 ami,ktorm=uvykona,situacneaktivovanprocedrynazUvandmon,objektovoorientovanmet;dyaprogramovanie), "" Є0  prostredianatvorbuaplikci(napr.programytypuworkflow,groupwork,  A geografickinformacnsystmy,vUvojovprostrediatvorbyaplikacnUchESasstavnenarastajcemnostvoinUch). "" Sprostriedkomzvyovaniaexpresivityreprezentcieapouitenostireprezentovanho.ZtohtopohadusastrucnezmienimeoprodukcnUchpravidlchaprvordovomprediktovompocte. P'"& o80 b  `@? " "o ""            ""  TeoretickyvemidobreprepracovanUmprostriedkomreprezentciepoznatkov/znalostjejazykprvordovejprediktovejlogiky(JPPL),oktoromubolarecvclnku1.6.Vzhadomnaprverozoberantmuideozd=raznenietoho,eJPPLsvojimipravidlamizostavovaniasprvneutvorenUchformlurcujeprpustnreprezentacntruktryatUm vyjadri  1  tenospoznatkovexpresivitureprezentcie 󀄀ajtermovhotypu. Pouitenospoznatkov     (proceduralitatohtoformalizmu,jeho odvodzovaciacinnos ),t.j.akosadtocionourobi,   vediekproblematikenachdzaniacinnUchprocedr dokazovania teorm(substituovanie,   unifikciaarezolvovanie)nazkladedanUchaxi;madanUchciodvodenUchteorm.  HociJPPLjezmnohUchhadskpovaovanUza"pevnUbod"vo"svetereprezentcie",zajeho"uholnUkame",viacerohraniceniakuktorUmvedie,okremuspomenutUch(clnok1.6),nepriaznivoovplyvujejehoexpresivituajodvodzovaciucinnos.Vsvislostis E vyjadrovacioucinnosounaramenapr.naakosti,keijepotrebnJPPLpriamociaroa / jednoznacnereprezentovavprirodzenomjazykubenevyjadritenvzahyakonapr."vzjomne","respektve"(vzahovanieprvkovzoznamov),"spolocne","mus","m=e"apod.,alebokeijepotrebnpecifikovavlastnostiprediktov,nekategorickykvlifikovaplatnospropozcievUrazmiako"zvca","takmer","spravidla","casto","zriedka","sasne","nsledne",akoajinUch,preuvaovanieclovekavemivUznamnUchkvalifiktorov. 2#  10      ׀    2.20  Znalosti:zaclenenpoznatky x"" Akhovormeoznalostiach,nemmenamyslinavzjomizolovanpoznatky,aleich vzjomn K svislosti,previazanos. PretoprireprezentciiznalostjevUznamnpoiadavka zacleni 6 tenostipoznatkov .Ztohoplyniepoiadavkanaprostriedkyreprezentciepoznatkov:mali !q byposkytovamonostinazacleovaniepoznatkov.Sstavusymbolovreprezentujcichzaclenenpoznatkyoznacujemetermnom bzaznalost(skrteneBZ).   E   Nasledujceclnkytejtokapitolystrucneuvdzajnajcastejiesavyskytujcereprezentacnprostriedky,sktorUmisastretvamevUI.HocisamedzineradajJPPL,samostatnesanmnezaoberme.JetopredovetkUmpreto,ereprezentciiznalostprostriedkaniJPPLjevenovanUsamostatnUpredmet.NaviaczpohaduprincpovESboliuviacersvisiaceotzkyspomenutavialomsakniektorUmetevrtime.Natomtomiestesavakiadauvies,evprpadeprostriedkovtypuJPPLzaclenitenospoznatkovvyplUvaz implicitnUch vzjomnUchsvislostmedziformulamivd=sledkujednotnejinterpretcierov V'"& nakUchsymbolov.Prklad:Vetkyformuly,vktorUchsavyskytujesymboltvorenUreazcomEU,reprezentujurcitUaspekttUmtosymbolomreprezentovanejentity(povedzmeEuropskejnie).Prostrednctvomtohtosymboluimplicitnevzjomnesvisiaatedatvoriavzjomnezaclenenpoznatky. *L&*   NepochybnezorientovanUcitaterozpozn,eJPPL,resp.jehorigor;zneprincpysadajidentifikovavpozadostatnUchreprezentacnUchprostriedkov,oktorUchpojednvamevnasledujcichclnkoch,ajkeiichinterpretcianespocvanaprincpochrezolvencie.2.2.1ReprezentciaznalostprodukcnUmipravidlami =  8????:*&j  `@@@" "  ""                  ""UplatovanieprodukcnUchpravidieljemotivantUm,esajednoteoretickydobrezd=vodnenUaprebdanUformalizmus,ktorUvznikolvoblastivUpoctovUchvUskumovlogiky.V X  matematickejinformatike,vpodobeprepisovaciehosystmu,jepouvanUakojedenz B modelovvUpoctov.Svojeuplatnenienachdzaajvoblastikognitvnejpsychol;giepri ,| vUskumochmysleniacloveka(NewellSimon). f tandardntruktraprodukcnhopravidlajezloenzdvochcast:*hg dh, d ,+td , t +  /444 " / predpokladov ,hovorsajejaj z  situacn ,vterminol;giilogiky an e tecedent ,aarg;netvorcova P pouvateovEStie AKcas ,av ; strana(LS),vanglictineleftside &v (LS)alebolefthandside(LHS) 24'4!`444 2 44'44!z4'4 4 d=sledkov ,vanal;giispredolUm z  akcn , konzekvent , TAKcas , e pravstrana(PS),rightside(RS) P aleborighthandside(RHS)1'%9 0  4'44 1 Predpokladovcasjetvorenformulou 󀄀vsyntaktickyvopredstanovenejpodobe c  tvorenjednoualeboviacerUmipodmienkami.Akspodmienkyvpoadovanej N truktresplnen,takpredpokladjesplnenUcoimplikujeajplatnosd=sledkovejcastipravidla:oprvnenosvyvodiurcitUzver (platnos,resp.neplatnosreferencovanho ! ! faktu) alebovykonaistakciu. Formulatvoriacapredpokladovcas,m=ebyvytvoren " " kombinciour=znych podmienok vzjomneviazanUchlogickUmiopertormi. Podmienka , ## tvoriacaat;m,jeelementrnymprvkom predpokladu .Predpokladje propozicnUmvUrazom $$  AKcastipravidla.Ajakcn(d=sledkov)casm=ebytvorenkombinciouviacerUchzlo |% % iek(podrobnejievialom).FormalizmusprodukcnUchperavidieljenajfrekventovanejmprostriedkomreprezentcieznalostpretoe *0  umoujeprirodzenUmsp=sobomvyjadrovapoznatkyasertvnehotypu *C&+ (vyjadritenos),+,',"" *0  ichinterpretciaumoujeprirodzenUmsp=sobomimitovapostupnostivah ,(- (usudzovan)cloveka(pouitenos),-(."" *0  vysvetovanieazd=vodovanierieiacichpostupnost(vysvetovacm .)/ mechanizmomexpertnhosystmu)jepomernepriamociareatedaajjed /*0 noduch, "" *0  umoujepostupnmodulrnutvorbuaupravovaniebzznalost, ""  *0  dsapouiakonositemimologickUchreprezentacnUchkontrukci:"" 0  najmnareprezentovanier=znychdruhovneurcitost, "" 0  situacnesauplatujcichriadiacichprznakov(semaf;rov,nvet,priortapod.), ""  Symbolovopeme:  _  s;pd;a ,  1  kde pd sanazUva jadrom produkcnhopravidla(vyjadrujepropozicnUpoznatokdanej   problmovejoblastitUm,ezosplnenia,t.j.pravdivosti,predpokladu p vyplUvaplatnos,d=s   ledku d ),symbol s sanazUva semaf;rom alebo nvetm pravidla(zodpovedriadiacej   podmienke,ktorsituacnepripaalebozabraujepouitiupravidla)asymbol a zodpoved v   (riadiacim)akcim ,ktorsasituacnevykonajpovyhodnotenpravidla.(Ofakultatvnom a  pouitsemaf;rovauplatovanakcnejcastipravidielsapojednvavialom).MedzinedostakysystmuprodukcnUchpravidiel(produkcnUchsystmov)vzhadomnaich n odvodzovaciucinnosradmeto,e*0  pravidlreprezentujrelatvneizolovanpoznatky,cobezdodatocnUchopatren,najm A reprezentovaniapoznatkovtermovhotypu,vediespravidlalenkloklneponmanUm + rieiacimpostupom,bezpriamociarUchmonostrealizovarieeniezurcitho  globalizujcehopohadu;jetodanajtUm,evprpadeprodukcnUchpravidiel,takakovprpadeJPPL,zaclenitenospoznatkovvyplUvaibaz implicitnUch svislost  plyncichzjednotnejinterpretcierovnakUchsymbolov, "" *0  produkcnUsystmbezvhodnhotruktrovaniaaprpadnUchriadiacichkontruktov l (napr.semaf;ryalebomimologickkontruktyprevyjadrovanieneurcitost)vediekrieiacimprocesom,ktorniejemonpovaovazaadekvtusudzovacchprocesovcloveka. "" 2.2.2Reprezentciaznalostasociatvnousieou !2  Problematika zaclenitenosti poznatkovzvUrazuje asocionistickpredstavy avovUvoji #" reprezentacnUchprostriedkovviedlikvzniku asociatvnych(smantickUch)sieti .Motivciou $# bolasnahaoprekonvanieakostsizolovanoureprezentcioupoznatkov,ktorsaprejavujvprpadeformalzimovJPPLaprodukcnUchsystmov.Ilotedaosnahunjsformalizmusumoujcireprezentova konceptulnejednotky 󀄀termy. Konceptulnoujednotkousa ]'"& rozumiecosi,comonoopsa,comnejakvlastnosti,ocomm=emecosivedieacosipredpoklada,ocomm=ememainformcie. ReprezentacnUprostriedokmaltedaumoni 1)$( zdruovanievetkUchinformciapoznatkovodanejkonceptulnejentitetak,abyboliconajbezprostrednejiesprstupnitenzmiesta,kdejesymbolovreprezentciatejtoentityuloen.Mylienkaspocvavnjdencelnejaefektvnejorganizciedajovreprezentujcichznalostityputermovzodpovedajcich .).  /*/ *0  konceptom (pojmom,entitm),sktorUmiszdruennielenopisy,aleimplicitne(to  vplUvanakontrukciufunkciinterprettora)aj sp=sobyakosnimizachdza ,"" *0  monostivyjadrovalen ciastocnznalos ,ktormonopostupne doplova ,"" *0  met;damumoujcim porovnvadanUpojemsostatnUmivsieti atUm spozna q kontext ,vktoromsadanUpojemvyskytuje.\"" Asociatvnesietesadajvoveobecnosticharakterizovatakto: *0  konkrtne(indivduov)ajveobecnpojmysreprezentovansamostatnUmi  R vrcholmivsieti, "" *0  elementrnepoznatkysreprezentovanpodgrafmisiete,ktorskadUm  $  javovUmvrcholomobsahujvetkyjehopovinnatribty(vlastnosti), "" *0  kadmupojmuzodpovednajviacjedenvrcholvsietiavetkysnmsvisiace   informciesadajvyctazjehovziebsokolitUmivrcholmi,menoviteidenajmovzbyna "" 8  veobecnejiepojmyktorhoobsahovovymedzuj,  8  napecilnejiepojmyapoindivdua,ktorsjehoprpadmi,  8  javy,naktorUchsadanUpojemzcastuje.   PrednostitUchtosietispocvajv*0  monostivytvra taxon;mie entt vzahygeneralizciapecializcia ,'"" *0  spornostireprezentcie zahrovanie ,bezpotrebyopakovavlastnostizskavanz  nadtriedy, "" *0  reprezentciivzahov exkluzivity 󀄀vzjomnhovylucovaniasaentt."" Prakticksymbolovreprezentciaasociatvnychsietisam=erealizovaprostriedkamivhodnhoJPPLsprediktmitypu JE_PODMNOINOU(trieda1,trieda2),  ^ JE_PRVKOM(trieda,indivdum),  H JE_bASOU(trieda1:indivdum_a,trieda2:indivdum_b) !2  JE_bASOU(indivdum1,indivdum2), "! JE_VLASTN0KOM(trieda1:vlastnk,trieda2:vlastnen,cas:zaciatok,cas:koniec), #" JE_PR0PADOM(vlastnenie:vlastnctvo_i), $# VLASTN0CTVO_i(vlastnk:Ivan,vlastnenU:Dunco,od:1985,do:1992).  % $ MedzivUraznnedostatkyasociatvnychsietijenevyhnutnraditskutocnos,etietoexplicitneneimplikujprocesyprodukujcepostupyusudzovania.Beztoho,abyboliobohatenprslunUmprodukcnUmsystmom,alebozodpovedajcimiprocesmivrmciinterprettora(cobyneboladekvtnyprstup),niesprostriedkomgenerovaniaprslunUchprocesov.2.2.3Procedurlnareprezentciapoznatkov - )- Preduvedenmobsahutohtoclnkujenevyhnutnozrejmid=leitUrozdielmedzi /*/ proceduralitoustelesnenouinterprettorom(procedurlnymprogramom)deklaratvnehoprogramuaprocedurlnoureprezentciouznalost,ktortvoriascasdeklaratvnehoprogramu.*h dd d +td t gh,d ,t +  144" T p1@% Deklaratvnyprogram 44'4!L44 4@_Procedurlnyprogram F4445!L p 4'4 Fm=eobsahovamnostvò vzjomnesa liacichpartikulrnych v  procedr reprezentujcichprocedurlne a   poznatky,t.j.ajopakovanepouitendeterministickpostupy,nvodypouitia,avakbezdeterministickhopredpisuichpotencilnehopouitiastosituacneuplatnitenprocedrybezvopreddanejsekvencieichpouitia. 44'44!444 4akUmjeajinterprettor,spravidlaviacnsobnepouva veobecnparamet v  rizovatenprocedry (vprpade a   interprettoranapr.rezolvovanie,modusponensapod.),ktorUchpouitiejedeterminovansyntaxouprostriedkovreprezentciepoznatkov.1'%W  0  4'44 1Keitedavtomtoclnkuhovormeoprocedurlnejreprezentcipoznatkov,mmenamyslipecifickoperacionistickznalosti,t.j.tak,ktorvykonvajpecificke problmovo  zameranopercie .VzniktohtodruhureprezentciebolmotivovnUzd=razovanm   pouitenosti poznatkovprostrednctvomsboru procedr ,ktorUmisareprezentuj   partikulrne (parametrizovaten) poznatkymajcepovahuurcithoprocesu . n JednouznajvUznamnejchcharakteristktohtosp=sobureprezentcieje volanieprocedr B ciemi ,t.j.nazkladeichfunkcie,ciichobsahu.Tojeprincipilneinakovolanieprogramu -} menom!Princpvyslovenhoozrejmimenaprklade.Uvaujmetrivilnyprpad,keijepotrebnidentifikovamnohostenyakonkrtnesamzisti,ciobjektjekockou.MmetedaCie:KOCKA(objekt:W)0  (idevlastneopoiadavkuzodpovedaotzku:JeobjektWkockou?)  "" anasledovnfaktyscas(objekt:W,stena:A)0  tvorec(stena:A)`##"" scas(objekt:W,stena:B)0  tvorec(stena:B)I$$"" scas(objekt:W,stena:C)0  tvorec(stena:C)2% %"" scas(objekt:W,stena:D)0  tvorec(stena:D)&k!&"" scas(objekt:W,stena:E)0  tvorec(stena:E)'T"'"" scas(objekt:W,stena:F)0  tvorec(stena:F)'=#("" Nadosiahnutieciea(zodpovedanieotzky)monopouinasledovndveprocedry(uvdzameiba )%* tievUatkyznich,ktorbymaliumoniozrejmenierozoberanejtmy) *%+ PROCEDBRA_1(zisujepocetstienmnohostenov) ;-(. ...SBbAS(objekt:x,stena:y)(propozcia,test)  /]*0 ...z:= PObET_STIEN(objekt:x) (vUslednUfaktsazapmt)  ......PROCEDBRA_2(zisujetvarystien) & v ... PObET_STIEN(objekt:x) =6(propozcia)  H ...TVOREC(stena:y)(propozcia)    ... KOCKA(objekt:x) (cieovpropozcia)   ...pecifikovanUcie(KOCKA(objekt:W))rieeniaproblmuvediektomu,einterprettor(po Y  substitci)identifikujepouitenosdruhejzuvedenUchprocedr(zodpovedajciliterlsanachdzavtelePROCEDBRA_2).Prizbiehantejtoprocedrysanaraznapropozciu ,|  PObET_STIEN(objekt:W) =6.Jejvyhodnoteniesastvapodcieom.Interprettorzisuje f procedru,ktorjejdosiahnutiezabezpec.VtelePROCEDBRA_1identifikujekontruktz P := PObET_STIEN(objekt:W) ,cosp=sobinicializciutejtorocedry. : Uvedenjejednoduchouilustrciousp=sobu volaniaprocedrciemi .Jezrejm,einterpre   ttormusstelesovaprostriedkysubstituovania,unifikcieaprslunhoprehadvaniaprocedr.Nazkladestanovenhociea,resp.aktulnehopodciea, prehadva procedurlne  reprezentovanpoznatkya vyber znichtie,ktorm=usvojimcinkomzabezpecido | siahnutievUsledku.TUmrealizujepostupn, vopredpresnenedetrminovanreazenie par g tikulrnychprocedrateda produkuje rieiacupostupnos. R VUpoctovcinnosodvodzovaciehoprocesu,ktorUnahradzujeslepprehadvanieprocedrtvoriacichscasdeklaratvnehoprogramuprocesomcielenUm,sazabezpecujevhodnUmiprostriedkami.PatriaknmdajovtruktryposkytujceprehadninformciejednakourcujcichprvkochzabezpecujcichfunkciejednotlivUchprocedr,jednakoichstave(aktivcii,zamietnut,preruen,opustenapod.)aimplementciucinnUchtechnkprehadvaniatUchtotruktr,cmsaddosiahnvUpoctovefektvnos.MedzinevUhodyprocedurlnejreprezentciepoznatkovradmestratumonostpostupnho,ahkomodifikovatenhoanezvislhoreprezentovaniajednotlivUchpoznatkov,potencilneakostisozrozumitenosoudeklaratvnehoprogramu(m=esavomvyskytovazloitrekurzvnevolanieprocedr)anebezpecenstvo,esadozavedneahkoidentifikovatennekonzistentnosti.Pokiaideozaclenitenospoznatkovmonovyslovinasledovn:*0  vprpadebenUchprogramovacchjazykochsaspravidlajedno explicitn odvolva +4'+ nienaprocedryichmenami,tedasvislosmedzidvomizlokamiprogramuvyplUvaztoho,esanajednommiestevyskytujemenoprocedryakoargumentopercievolaniaanadruhommiesteakoidentifiktorurcitejsekvenciek;dov, "" *0  vprpadedeklaratvnychprogramovsavlastnetiejednoexplicitnvzahyrozdiel /*/ jeibavtom,etiespecifikovansymbolovUmikontruktami,ktorvprpadeodvolvaniatvoriazlokupropozcie(podmienky)avprpadevolanhoprvokpriraiovaciehoprkazuvteleurcithoprogramu. "" 2.2.4Rmcovreprezentciaznalost T Motivciuvznikutejtoformyreprezentcieznalosttermovhotypujepotrebnvidievsnahchdvojakhotypu*W ddd t W,d ,t +  144"  I p1@0 informatickUaspekt 44'4!  44 4@@tpsychologickyaspekt F'445!   p 4'4 F celnacinnsyntzaatribtov b  vyjadritenosti,zaclenitenostiapouitenosti 4''44!4 '44 4 reprezentciapredstvaocakvan  b  (mentlnymodel) svisiacichsurcitou M  entitouaichzlaiovaniesoskutocnosou .1'%!  0   ''44 1Nanasledujcomilustracnomprkladeosvetlmepodstatutohtoreprezentacnhoformlizmu.Predstavmesi,esanachdzamevlohenvtevnkavnmniedostatocneznmomdome:  (1)0  Hadmevomzasadaciumiestnos,vktorejsammezcastnirokovania.Prednamijeraddver,za Q ktorUmipredpokladmecieovmiestnos. "" (2)0  Ocakvame, epoichotvorenuvidmeurcit charakteristikyatribty miestnosti:povedzmetyri # urcitUmsp=sobomupravenstenyvyzdobenobrazmi,kdesivstenchoknaprpadneialiedvere,podlahuurcithotypuskobercom,stropsosvietidlom,dlhkonferencnUst=lobklopenUstolickami,nevylucujemeurcitosvieujcenpojenastoleprtomnostabule,premietaciehopltna,sptnhoprojektoraapod.h"" (3)0  Vmyslimmeteda pripravenpredstavu,urcitocakvania 󀄀tedaakUsi(zrejmeveobecnUapomerne ) flexibilnU) rmec (vpsychologizujcompoatmentlnymodel)zodpovedajci konceptu primeranej  zasadacejmiestnosti._"" (4)0  Vzvislostiodtoho,copootvorendvernaozajuvidme,naep=vodn predpoklady/ocakvaniasabui  p naplnia,alebonenaplnia. Akbysmeotvorilidverevedcedozhrady,kschodomnapovalu,cido 3 pivnice,d=jdeknezhoderealitysnaoupredstavou.AkbysmezaotvorenUmidveraminebodajzazreliryocen,nezhodabymohladosiahnstupeoku.Vprpade,ebyilookancelrskumiestnos,predsie,klasickucebu,citreapod.m=esituacned=jsk ciastocnejzhodesrmcovoupredstavou miestnosti.( x""" (5)0  Ibaakbytobolanaozajtypickzasadackaalebomiestnos,ktorpodanaichpredstvbymohlasliako  ;# zasadacka,dochdzakdostatocnejzhode medziocakvanUmiaskutocnUmivlastnosamireality ,pricom !$ sa konkretizuj,modifikujhlavncharakteristickpredstavy ohadanUchvlastnostiachmiestnosti o"% (napr.tvarapozciaokien,druh,kvalita,rozmeryaumiestnenienbytku,vekosakvalitakobercaapod.)nezvisleodtoho,cijealeboniejevmiestnostitabua,sptnUprojektorspremietacmpltnom,cinastolejenejakpohostenie,alebocimiestnosmeteialiedvere.$ ("" TentoprkladhovorourcitUchpredstavchazisovantohocisatietozhodujadoakejmierysrealitou.Niektorzocakvan,ajkeismodifikovaten,spovaovanzanevyhnutnpodmienkytakejzhody(akbynamiestostola/stolovbolivmiestnostipostele,nebolabysplnennevyhnutnpodmienka),insibafakultatvne(absenciakoberca,prtomnosbohatejkvetinovejvUzdoby).bostedarmceakoprostriedkyreprezentcie?MonoichcharakterizovanasledovnUmsp=sobom:0  stosvojim menomidentifikovatendajovtruktry, ktorsvzjomne x/*4 prepojiten(m=unasebaodkazova,odvolva), "" 0  ich truktra obsahuje(ajhierarchicky) usporiadanpostupnosr=znychpome  novanUchatypovocharakterizovatenUchdajovUchpoloiek, nazUvanUch   rubrika, ktorsajednakvrozsahurmcam=unaseba odvolva ajednaks o  referencovatenajzinUchrmcovaleboreferencujinrmceciichrubriky  Z (menomrubrikyamenomrmca,vktoromsanachdzaj), "" 0  rubriky zodpovedaj vlastnostiamreprezentovanejentity, sto rezervovan , | pamovmiest, vktorUchbuiu s poadovandaje,alebosatietodonich,na  g zkladepozorovaniaskutocnosti,postupne vkladajakoichhodnoty vsladeso  R pecifikovanUm typom rubriky, = "" 0  typ(abl;na)rubrkurcujepoiadavky,resp.ohraniceniavzahujcesak  (  hodnotm, ktorjepovolendonichvklada(napr.kardinalitu,t.j.cijeprpustniba   jedinaleboajviacnsobnhodnota,druhobsahu,t.j.cisaurcitkvantitavyjadrujecelUm,prirodzenUm,relnym,cikomplexnUmcslom,alebocisajednopravdivostn(propozicn),reazcovhodnotu,menoprocedry,teloprocedry,produkcnpravidloati.), "" 0  (ajdynamickymenitenUm) predpisomprioritnhozaplovaniarubrkhodnotami , R resp.prioritnho prehadvaniaavyhodnocovaniaobsahu rubrk,="" 0  obligat;rnymi (povinnUmi)rubrikami spovinnUmialebovolitenUmihodnotami  (x (zodpovedajnevyhnutnUmvlastnostiamreprezentovanejentity),alebo fakultatvnymi  c rubrikami(zodpovedajcemonUm,avaknepovinnUmvlastnostiamentity)napr. N minimlny_pocet_stien_miestnosti:3,rozmer_steny_i:,farba_stenyi:,prtomnos_okna_v_stena_i:,(oknojereprezentovatenvlastnUmrmcom)rozmery_mistnosti:(procedravypoctavajcattohodnotuzrozmerovstien),tabua_v_miestnosti:,osoba_v_miestnost:,apod.,i"" 0  obsahom(hodnotou)rubrk,ktorUm=eby definovanUafixnU,zskanUfixnUalebo R docasnUamodifikovatenU(dynamickU),nhradnU(zstupnU,predpokladatenU,'default')nahradzujcinepoznan,lenocakvaten,domnelskutocnos, &v"" 0  hodnotamirubrk(spravidlaobligat;rnymi)sa pecifikuj _"" 0  zoveobecnia reprezentovanejentity,ich nadtriedy ,ktorstiereprezentovan J  rmcami (napr.miestnosjeprvkomtriedyuzavretUpriestor),5"" 0  pecializcie ,t.j.buiich podtriedy aleboindivduovprpady,ktorstie   reprezentovan rmcami (napr.miestnosmpodtriedy:obUvacka,spla,sla,trieda,hala,ain,   pricomzasadackac.5nakonkrtnejadresejeindivduoventita),! "" 0  scastireprezentovanejentity akoodkazynazodpovedajcermce(stena,okno, g"! podlaha,sptnUprojektor,...),R#""" 0  prcinyad=sledky reprezentovanejentityodkazujcenaprslunrmce,;$#"" 0  procedry (identifiktoraleboteloprocedrym=ebyobsiahnutUvrubrike),&%v $"" 0  srubrikamijemonspjaajexplicitnaleboimplicitnpodmienkuspustenia &a!% imzodpovedajcichprocedrprinadobudnut,modifikovan,zruenichhodnoty (napr.vyhadanienajbliejvonejstolicky,pozdraviprtomnUch,aksaunachdzajvmiestnosti,keije '5#' potrebnvypoctaplochupodlahy,zistenierozmerovaichuplatnenievzodpovedajcejvUpoctovejprocedre).g)$)"" ̀Rmecmtedavlastnosti asociatvnejsiete ,ktorobohacujeoreprezentciu procedurlnych 9+&+ znalost a ocakvatenUchhodn=tvlastnostreprezentovanejentity ,pricomm=ezahrova #,s', reprezentciupoznatkovajformulamiJPPLaprodukcnUchpravidiel. ./*/  2.30  Prostriedkyreprezentcieznalost "" VetkyspomnanreprezentacnprostriedkymonorealizovapodavlastnejkoncepcievniektoromzbenUchprogramovacchjazykov.PrirodzenevetkymajvzhadomnaproblematikureprezentciesvojevUhodyajnedostatky.Vaplikcichmet;dUIsapomernecastomonostretnsprogramovacmijazykmiakojeLISPaleboPROLOG.VostatnomobdobajsobjektovoorientovanUmiprogramovacmijazykmi,napr.C++aleboSMALLTALK.OtzkaoptimlnehovUberuprogramovaciehojazykatvormnohodimenzionlnuproblematiku.KadUmonototihodnotizviacerUchhadskatiessprvidlaprotichodn.Naviac,prihodnotensauplatujajpoiadavkyaplikci.KomplexnUrozborcelejproblematiky,vzhadomnanevyhnutnpredpoklady,rozsahanrocnospresahujezmertUchtotextov.PretolenznacneveobecnUvaha:vUhodnjepouijazyk,ktorUjevUkonnUpriuskutocovanrozmanitUchreazcovUchoperci(operciesoznakmi)aposkytujdostatokmonostnatvorburozmanitUchdajovoriadicichtruktr,ktorsnevyhnutnpreefektvneriadenieinterpretciedeklaratvnehoprogramu.KeisajednotvorbunetrivilnychreprezentacnUchprostriedkov,realizciazodpovedajcichproduktovjeintelektulne,rozsahomaprcnosouzvycajneveminrocn.Vsnaheracionalizovaprslunprogramtorskecinnost,bolivytvorenviacerpecilneprogramovaciejazyky,napr.KRL(KnowledgeRepresentationLanguage),FRL(FrameRepresentationLanguage),OWL(OneWorldLanguage).TietojazykymalipredovetkUmteoretickUvUznam,vpraxinenaliprlivekuplatnenie.Vscasnostisask=ruplatuj vUvojovprostredia   tvorbyexpertnUchsystmov,t.j.deklaratvnehoprogramu bzaznalost ,jehointerprettora   inferencnUmechanizmus , pouvateskUpovrch ain.PrkladmitakUchto(komercne v dostupnUch)prostredsnapr.Egeria,ARTIM,KEE,Kappa,NexpertObject,RTworks,G2amnohoialch.VmnohUchsauplatujprincpyobjektovoorientovanUchprogramovacchtechnol;gi.Hocir=zneprostrediaposkytujrozmanitmonosti,ktorUmisadvyhoviepoiadavkmvyjadritenosti(expresivite),pouitenostiazaclenitenosti(odvodzovacejcinnosti),akoajefektivite(vUpoctovejcinnosti),ajtiemajsvojevzjomnesaliaceprednostiaohraniceniaasnositemir=znychimplementacnUchnhodilost.Predichzakpenmcenovosveminkladnjepotrebnvemistarostlivozvaovaapreskava,civyhovujpoiadavkmaplikci.Ichvhodnossaspravidlapreukeaprikonkrtnomaopakovanompouit.Takakopriprogramovacchjazykoch,aniprivUvojovUchprostredichniejezatiamonposkytndostatocnveobecnnvodynaichoptimlnyvUber.Rozhodnevaktrebauprednostovatakprostredia,ktorvzhadomnaaplikcieposkytujconajprunejiemonostireprezentcieapouvaniaznalost.Menovitetak,coumouj̄0  prstupktomuistmupoznatkuzr=znychaspektov,*X%)"" Є0  realizciur=znychreprezentacnUchformalizmov,*A&*"" Є0  vytvrarozmanitproblmovozameranmakroopercie.+*'+"" Najmpokiaideomakroopercie(stretnemesasnimietevneskorchkapitolch)jed=leit,abyichbolomonvytvranazkladevhodnejkonceptualizcierieiacichpostupovdanejaplikacnejoblastibeztoho,abyichtvorbaprlipodliehalavlastnostiamdanhoprogramovhoprostredia. ~/*/ Ї