Studijní materiály

Zpět

Hromadně přidat materiály

Test 29052006

IA008 - Computational Logic

Hodnocení materiálu:

Zjednodušená ukázka:

Stáhnout celý tento materiál

je nepravdiva ve vsech interpretacich

B domenova znalost, H vysledna teorie, E+/E- mnozina pozitivnich/negativnich prikladu, potom APOSTERIORNI BEZESPORNOSTI v ILP rozumime:
*pro vsechna e z E-: neplati B |- e
*pro vsechna e z E+: B U H |- e
*pro vsechna e z E-: neplati B U H |- e

Specializacni operator q je UPLNY pokud pro libovolne klazule C, D (C je specializaci D) plati:
*existuje formule E ekvivalentni s C a E=q*(D)
*existuje formule E ekvivalentni s C a E=q(D)
*existuje formule E ekvivalentni s D a E=q(C)

Idealni refinement operator musi byt:
*lokalne konecny a uplny
*lokalne konecny, uplny a vlastni (TOTO JE 100% SPRAVNA ODPOVED!!! doc. Popelinsky uvedl, ze v materialech od p. Marecka chybi jeden radek :-)
*nejaka dalsi moznost...tu uz si nepamatuju

Mame prologovsky program a(s(X)):-a(X). a(0). na dotaz ?-a(Y). Prolog zareaguje
*Y=0
*Y=s(0)
*zacyklenim

Spravne odpovedi bohuzel nevim, ale snad Vam to pomuze. Hodne stesti u zkousky :-)
-hv

Stáhnout celý tento materiál

Předchozí

1 2 3

Vloženo: 25.04.2009

Velikost: 1,50 kB

Stáhnout celý tento materiál

Komentáře

Tento materiál neobsahuje žádné komentáře.

Mohlo by tě zajímat:

Skupina předmětu IA008 - Computational Logic
Reference vyučujících předmětu IA008 - Computational Logic

Podobné materiály