Otazky_jaro2008

Který z následujících operátorů je operátorem generalizace?změna pořadí literálů v těle klauzule *zrušení literálu z těla klauzule přidání literálu do těla klauzule
Pro formule {} a {} platí*{NCLUDEPICTURE "ia008_odpovedniky/test1_soubory/tex2img_008.png" \* MERGEFORMAT } je generalizací formule {INCLUDEPICTURE "ia008_odpovedniky/test1_soubory/tex2img.png" \* MERGEFORMAT }  HTMLCONTROL Forms.HTML:Option.1 {INCLUDEPICTURE "ia008_odpovedniky/test1_soubory/tex2img.png" \* MERGEFORMAT } a {INCLUDEPICTURE "ia008_odpovedniky/test1_soubory/tex2img_008.png" \* MERGEFORMAT } nejsou v relaci generalizace  HTMLCONTROL Forms.HTML:Option.1 {INCLUDEPICTURE "ia008_odpovedniky/test1_soubory/tex2img.png" \* MERGEFORMAT } je generalizací formule {}
Víme, že existuje interpretace, v níž výroková formule tex2img_022.png" \* MERGEFORMAT obsahující spojky INCLUDEPICTURE "ia008_odpovedniky/test1_soubory/tex2img_006.png" \* MERGEFORMAT , INCLUDEPICTURE "ia008_odpovedniky/test1_soubory/tex2img_012.png" \* MERGEFORMAT a INCLUDEPICTURE "ia008_odpovedniky/test1_soubory/tex2img_014.png" \* MERGEFORMAT není pravdivá. Které tvrzení platí? HTMLCONTROL Forms.HTML:Option.1 existuje tablový důkaz formule existuje kontradiktorická cesta v dokončeném tablu pro /tex2img_019.png" \* MERGEFORMAT *existuje nekontradiktorická cesta v dokončeném tablu pro
Máme-li prologovský program a([X|Y],U):-a(Y,U). a([X],X)., potom na dotaz ?- a([i,0,0,8],W). Prolog zareaguje odpovědíW = 0 ? *W = 8 ? W = i ?
Který z následujících operátorů vytvoří z programu . jeho generalizaci?přidání klauzule . *přidání klauzule . přidání literálu img_008.png" \* MERGEFORMAT do této klauzule
Pro predikátový počet omezený na jazyk Hornových klauzulí neplatí, želineární vstupní rezoluce je korektní *existuje nesplnitelná množina, kterou lineární vstupní rezolucí nelze vyvrátit lineární vstupní rezoluce je úplná
Vyberte doplnění gramatiky s --> np,vp. np --> noun. tak, aby generovala větu 'Peter loves Mary'.ption.1 noun --> ['Peter']. vp --> ['loves']. np --> ['Mary'].  HTMLCONTROL Forms.HTML:Option.1 *np --> ['Peter']. vp --> ['loves'], ['Mary'].  HTMLCONTROL Forms.HTML:Option.1 np --> ['Peter'], ['loves']. np --> ['Mary'].


Induktivní logické programování je HTMLCONTROL Forms.HTML:Option.1 *metoda strojového učení programátorská technika kombinace matematické indukce a logického programování
Výrok modální logiky mg_003.png" \* MERGEFORMAT platí jen pro některá , neplatí nikdy *platí vždy
Pro predikátový počet platí, želineární vstupní rezolucí dokážeme všechny logicky pravdivé formule ROL Forms.HTML:Option.1 lineární vstupní rezoluce není korektní *lineární vstupní rezoluce není úplná
Která z formulí je logickým důsledkem množiny formulí 009.png" \* MERGEFORMAT ? HTMLCONTROL Forms.HTML:Option.1 INCLUDEPICTURE "ia008_odpovedniky/test1_soubory/tex2img_017.png" \* MERGEFORMAT  HTMLCONTROL Forms.HTML:Option.1 *INCLUDEPICTURE "ia008_odpovedniky/test1_soubory/tex2img_016.png" \* MERGEFORMAT  HTMLCONTROL Forms.HTML:Option.1 INCLUDEPICTURE "ia008_odpovedniky/test1_soubory/tex2img_007.png" \* MERGEFORMAT


Která z následujících klauzulí není specializací klauzule INCLUDEPICTURE "ia008_odpovedniky/test1_soubory/tex2img_018.png" \* MERGEFORMAT ? HTMLCONTROL Forms.HTML:Option.1 *INCLUDEPICTURE "ia008_odpovedniky/test1_soubory/tex2img_015.png" \* MERGEFORMAT  HTMLCONTROL Forms.HTML:Option.1 INCLUDEPICTURE "ia008_odpovedniky/test1_soubory/tex2img_013.png" \* MERGEFORMAT  HTMLCONTROL Forms.HTML:Option.1 INCLUDEPICTURE "ia008_odpovedniky/test1_soubory/tex2img_020.png" \* MERGEFORMAT


Pro výrokový počet neplatí, žesémantická rezoluce je úplná sémantická rezoluce je korektní *existuje nesplnitelná množina klauzulí, kterou sémantickou rezolucí nelze vyvrátit
Pro danou množinu učících příkladů, která neobsahuje šum, a danou doménovou znalost platí, že základní úloha ILPmá právě jedno řešení má nejvýše jedno řešení *má nejméně jedno řešení
append(A,B,C) uspěje, jestliže seznam C vznikne zřetězením seznamů A a B. Potom program r2/2, který revertuje seznam po dvojicích, např. r2([a,b,c,d],[c,d,a,b]), r2([a,b,c,d,e,f],[e,f,c,d,a,b]) je HTMLCONTROL Forms.HTML:Option.1 r2([],[]). r2([X,Y|Z],[U|[X,Y]]):-