Otazky_jaro2008

P systém založený na učení z předpokladů (assumption-based learning) ILP systém pro učení ze spojitých dat. ILP systém pro učení z velkého objemu dat.
Máme-li prologovský program a(s(X)):-a(X). a(0)., potom na dotaz ?- a(Y). Prolog zareagujeLCONTROL Forms.HTML:Option.1 *zacyklením odpovědí Y=0 odpovědí Y=s(0)
Pokud v ukončeném tablu pro výrokovou formuli 08.png" \* MERGEFORMAT s kořenem existuje nějaká nekontradiktorická větev, pak z toho vyplývá, že*y/test4_soubory/tex2img_008.png" \* MERGEFORMAT je nepravdivá alespoň v jedné interpretaci je pravdivá alespoň v jedné interpretaci je nepravdivá ve všech interpretacích
Pro predikátový počet omezený na jazyk Hornových klauzulí neplatí, žeML:Option.1 *existuje nesplnitelná množina, kterou lineární vstupní rezolucí nelze vyvrátit lineární vstupní rezoluce je korektní lineární vstupní rezoluce je úplná
Který z následujících výroků modální logiky neplatí?*img_009.png" \* MERGEFORMAT
Je dána množina klauzulí obsahující klauzule {mg_007.png" \* MERGEFORMAT } a {}. Taková množinanemůže nikdy být sporná *je vždy sporná TMLCONTROL Forms.HTML:Option.1 může, ale nemusí být sporná
Strom lineárního rezolučního odvození z , kde je množina klauzulí a je klauzule, je vždy zároveň stromem*rezolučního vyvrácení rezolučního odvození z lineárního vstupního odvození z
Který z následujících výroků modální logiky platí?*
Která z následujících klauzulí není specializací klauzule ?*
Máme-li predikátovou formuli a její skolemizaci , pak platí*
Které z následujících tvrzení platí pro každou uzavřenou predikátovou formuli ?Nemusí existovat ani ukončené tablo s kořenem , ani ukončené tablo s kořenem . *Existují ukončená tabla s kořeny a . Existuje buď ukončené tablo s kořenem anebo ukončené tablo s kořenem .
Formule A logicky vyplývá z formule B, jestližeexistuje model A, který není modelem B každý model A je i modelem B *každý model B je i modelem A
Víme, že existuje tablový důkaz pro výrokovou formuli . Které z následujících tvrzení platí?je logicky nepravdivá. je pravdivá právě v jedné interpretaci. * je pravdivá ve všech interpretacích.
Systém WiM - kromě doménové znalosti - pro učenípožaduje vždy pozitivní i negativní příklady požaduje vždy jen pozitivní příklady *požaduje pozitivní a případně negativní příklady
Pokud je doménová znalost, je výsledná teorie a , jsou množiny pozitivních a negativních příkladů, potom aposteriorní bezesporností (posterior satisfiability) v induktivním logickém programování míníme podmínku*
Která z následujících tvrzení jsou pravdivá?Je-li konečně se větvící strom T konečný, pak má nekonečnou cestu *Je-li konečně se větvící strom T nekonečný, pak má nekonečnou cestu Je-li konečně se větvící strom T nekonečný, pak všechny cesty jsou nekonečné
Víme, že existuje tablový důkaz pro výrokovou formuli . Které z následujících tvrzení platí?* je pravdivá ve všech interpretacích. je pravdivá právě v jedné interpretaci. je logicky nepravdivá.
Specializační operátor je lokálně konečný pro jazyk klauzulí , pokud*pro je konečná množina pro má alespoň jeden prvek pro
Nechť neexistuje dokončené kontradiktorické tablo pro predikátovou formuli s kořenem . Potom platí, žeje pravdivá alespoň v jedné interpretaci je nepravdivá ve všech interpretacích * je nepravdivá alespoň v jedné interpretaci
Uvažte gramatiku definitních klauzulí
num(1) --> [0]. num(1) --> [1].
bin(Z) --> bin(X),num(Y),{Z is 2*X+Y}.
bin(Z) --> num(Z).
Na dotaz ?- bin(Z,[1,0,1,1],[]). Prolog odpovíZ = 13 ? zacyklí *Z = 11 ?
Která z formulí je logickým důsledkem množiny formulí , , ?*
Předností učení z předpokladů (assumption-based learning) není*učení ze zašuměných dat snadné nastavení omezujících podmínek (bias) malý počet požadovaných učicích příkladů
Pokud je doménová znalost, je výsledná teorie a , jsou množiny pozitivních a negativních příkladů, potom apriorní nutnou podmínkou (prior necessity) v induktivním logickém programovánímíníme podmínku*
Víme, že existuje interpretace, v níž výroková formule obsahující spojky a není pravdivá. Které tvrzení platí?existuje tablový důkaz formule *existuje nekontradiktorická cesta v dokončeném tablu pro existuje kontradiktorická cesta v dokončeném tablu pro
IA008 – Testové otázky z odpovědníku 2008