Cvičení předmětu A4M33PAH

• na cvicenich se pisou minitestiky.
• Prosim doplnte chybejici/nedodelane.

Na tomhle cviku jsem nebyl, prosim upravte.

• Vyjadrit logickou operaci (XOR), reseno pres pravdivostni tabulku.

Block World

V systemu Block World (viz slidy z prednasek 2011) zadefinovat operaci move(), ktera vezme kosticku sedici na jine kostce a polozi ji na stul.

Takze pouzit: preconditions, effects+, effects- a predikaty jako on(a,b), clear(table), etc..

Swap - Backwards search

Zase navazuje na priklad viz slidy prednasek 2011, metoda swap(var1,var2,value1,value2) a tri promenne.

Popsat a ilustrovat beh algoritmu zpetneho prohledavani a vyresit tim konkretni zadanou instanci tohoto problemu.

Docela tezky.

Priklad ze slidu, vypocitat h_add heuristiku + obrazek;

s={a,b}
g={b,e,f}
a1=<{a},0,{b,c}>
a2=<{a,b},0,{d}>
...

Nebude tam pocitani POP (moc dlouhy), spis naka teorie - flaw,threat,….

Tak byla teorie; flaw, threat, causal link + popis alg POP/PSP

Pomoci HTN/STN dovest Robota v hraci plose (prazdny obdelnik) na jizni pol. Robot umi: krok, turn-right, hitWall=?1/0, headingNorth=?1/0

1/ rekurzivni-kroky
task: rkrok
net: t1=krok, t2=rkrok; t1<t2; before(t1, not(hitWall));

2/ konec-chuze
task: rkrok
net: t1=<>, before(t1,hitWall);

3/ najdi-sever
task: rtoc
net: t1=turn-right, t2=rtoc; t1<t2; before(t1, not(headingNorth));

4/ jsem-severne
task: rtoc
net: t1=<> ; before(t1,headingNorth));

5/ ultimate-solution
taks: start-task
net: t1=rtoc, t2=turn-right, t3=turn-right, t4=rkrok; t1<t2, t1<t3, t2<t4, t3<t4, after(t4,solved_jsemNaJihu)

Na cviku jsme delali rozvrhovani/scheduling jednoho a dvou Jobu :P na 1 a 2 procesorech. K tomu heuristiky: Longest-Processing-Time-First, Shortest-Proc_Time-F, ktera otevre nejvic dalsich uzlu, ktera vybira z kriticke cesty (CP),…

V testu: 
zadany doby tasku t1,t2,...
a jejich naslednosti t1<t2,...

i) nakreslit graf zavislosti
ii) CP
iii) nejdelsi (na 1 proc) a nejkratsi (na oo proc) dobu rozvrhu

v testu ma byt: modalni logika, algoritmus TL Plan., nebude tam vypocet Progress fce (moc dlouhe, u Zk mozna jo)

tak jak sliboval, model (obrazek) a u nej potvrdit nejakou vetu z mod. logiky. 
stavy: A(x=1,y=0), B(x=0,y=1), C(x=0,y=0);
relace: A->B, A->C, C->A; zaciname v A.
?otazka: ctverecek(x=1 -> diamant y=1)
  // plati, vzdy, kdyz je x=1 se lze nejak dostat do y=1.

Testik, zadana domena a problem jednoducheho PDDL. Pouze urcit proveditelne akce z pocatecniho stavu.