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

splnitelna mnozina klauzuli, kterou LI rezoluci nelze vyvratit

Vime, ze existuje interpretace, v niz vyrokova formule A slozena pouze z konjunkce, disjunkce a negace neni pravdiva, potom plati:
*existuje tablovy dukaz A
*existuje nekontradiktoricka cesta v dokoncenem tablu s korenem FA
*existuje kontradiktoricka cesta v dokoncenem tablu s korenem TA

Kolik kroku je potreba, abychom specializovali p(X,W):-q(X,Y), r(Z,W) na p(a,b):-q(a,Y0, r(Y,b), s(Y,Y)?
*5
*6
*7

Ktery z nasledujicich vyroku modalni logiky plati
*ct.A neg.(ct.neg.A)
*ct.A neg.(dia.neg.A)
*ct.A -> neg.A..........ct. operator "ctverec", dia. operator "diamant" v modalni logice, neg.=negace

Predpoklad (assumtion) je formlule, ktera je
*potencialne pravdiva
*vzdy pravdiva
*nepravdiva

Pokud v ukoncenem tablu pro vyrokovou formuli A s korenem FA existuje nejaka nekotradiktoricka vetev, potom
*A je nepravdiva alespon v jedne interpretaci
*A je pravdiva alepon v jedne interpretaci
*A

Stáhnout celý tento materiál

Předchozí

1 2 3

Další

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