Otazky_jaro2008

r2(Z,V).  HTMLCONTROL Forms.HTML:Option.1 r2([X],[X]). r2([X,Y|Z],U):-r2(Z,V),append(V,[X,Y],U).  HTMLCONTROL Forms.HTML:Option.1 *r2([],[]). r2([X,Y|Z],U):-r2(Z,V),append(V,[X,Y],U).


Uvažte gramatiku definitních klauzulí
num(1) --> [1]. num(2) --> [2]. num(3) --> [3].
exp(Z) --> exp(X),[-],num(Y),{Z is X-Y}.
exp(Z) --> num(Z).
Na dotaz ?- exp(Z,[3,-,2,-,1],[]). Prolog odpoví*Z = 0 ? Forms.HTML:Option.1 zacyklí se Z = 2 ?
Ideální refinement operátor musí býtlokálně konečný a úplný lokálně konečný, optimální a úplný HTMLCONTROL Forms.HTML:Option.1 *lokálně konečný, vlastní a úplný
Kolik kroků je zapotřebí k tomu, abychom klauzuli . specializovali na klauzuli _odpovedniky/test2_soubory/tex2img_012.png" \* MERGEFORMAT ?*šest pět sedm
Které z následujících tvrzení platí pro každou uzavřenou predikátovou formuli ?*Existuje ukončené tablo s kořenem . Existuje tablový důkaz pro . Ukončené tablo s kořenem _soubory/tex2img_013.png" \* MERGEFORMAT nemusí existovat.
Který z následujících operátorů je operátorem specializace?*přidání literálu do těla klauzule změna pořadí literálů v těle klauzule zrušení literálu z těla klauzule
Gramatiky definitních klauzulí*jsou silnější než bezkontextové gramatiky jsou ekvivalentní bezkontextovým gramatikám  HTMLCONTROL Forms.HTML:Option.1 jsou ekvivalentní regulárním gramatikám


Pro klauzule INCLUDEPICTURE "ia008_odpovedniky/test2_soubory/tex2img_003.png" \* MERGEFORMAT a INCLUDEPICTURE "ia008_odpovedniky/test2_soubory/tex2img_014.png" \* MERGEFORMAT platí HTMLCONTROL Forms.HTML:Option.1 druhá je specializací první  HTMLCONTROL Forms.HTML:Option.1 něco jiného *první je specializací druhé
Která z následujících klauzulí je generalizací klauzule ? *INCLUDEPICTURE "ia008_odpovedniky/test2_soubory/tex2img_008.png" \* MERGEFORMAT  HTMLCONTROL Forms.HTML:Option.1 INCLUDEPICTURE "ia008_odpovedniky/test2_soubory/tex2img_006.png" \* MERGEFORMAT  HTMLCONTROL Forms.HTML:Option.1 INCLUDEPICTURE "ia008_odpovedniky/test2_soubory/tex2img_007.png" \* MERGEFORMAT


Systém WiM - kromě doménové znalosti - pro učení*požaduje pozitivní a případně negativní příklady požaduje vždy pozitivní i negativní příklady požaduje vždy jen pozitivní příklady
Mějme prologovský program p(f,g).  p(X,X).  p(Z,X) :- p(X,Y), p(Y,Z). Cíl ?- p(X,Y) dává postupněX=f, Y=g ; no X=f, Y=g ;  X=g, Y=f ; no HTMLCONTROL Forms.HTML:Option.1 *X=f, Y=g ; X=Y ; X=g, Y=f; ...
Určete, která z následujících množin literálů je unifikovatelná. (Písmena ze začátku abecedy jsou konstanty, z konce abecedy proměnné.){ R(x,g(x,a),z), R(g(y,a),y,b) }  HTMLCONTROL Forms.HTML:Option.1 { P(u,f(u)), P(x,y), P(y,z) }  HTMLCONTROL Forms.HTML:Option.1 *{ Q(g(a),f(w),u), Q(v,f(b),c), Q(x,f(y),z) }


Výrok modální logiky INCLUDEPICTURE "ia008_odpovedniky/test3_soubory/tex2img_003.png" \* MERGEFORMAT  HTMLCONTROL Forms.HTML:Option.1 *platí jen v některých rámcích neplatí nikdy platí vždy
Specializační operátor je úplný, pokud pro lib. klauzule INCLUDEPICTURE "ia008_odpovedniky/test3_soubory/tex2img_009.png" \* MERGEFORMAT , kde INCLUDEPICTURE "ia008_odpovedniky/test3_soubory/tex2img_010.png" \* MERGEFORMAT je specializací INCLUDEPICTURE "ia008_odpovedniky/test3_soubory/tex2img_008.png" \* MERGEFORMAT , platí HTMLCONTROL Forms.HTML:Option.1 *existuje formule INCLUDEPICTURE "ia008_odpovedniky/test3_soubory/tex2img_015.png" \* MERGEFORMAT ekvivalentní s INCLUDEPICTURE "ia008_odpovedniky/test3_soubory/tex2img_010.png" \* MERGEFORMAT a INCLUDEPICTURE "ia008_odpovedniky/test3_soubory/tex2img_002.png" \* MERGEFORMAT  HTMLCONTROL Forms.HTML:Option.1 existuje formule INCLUDEPICTURE "ia008_odpovedniky/test3_soubory/tex2img_015.png" \* MERGEFORMAT ekvivalentní s INCLUDEPICTURE "ia008_odpovedniky/test3_soubory/tex2img_010.png" \* MERGEFORMAT a INCLUDEPICTURE "ia008_odpovedniky/test3_soubory/tex2img_017.png" \* MERGEFORMAT  HTMLCONTROL Forms.HTML:Option.1 existuje formule INCLUDEPICTURE "ia008_odpovedniky/test3_soubory/tex2img_015.png" \* MERGEFORMAT ekvivalentní s a
Předpoklad (assumption) je formulenepravdivá vždy pravdivá *potenciálně pravdivá
Platí, že SLD-strom pro cíl ?-a. a programa:-b,b.b:-c.OL Forms.HTML:Option.1 *je konečný neexistuje je nekonečný
WiM je*IL