====== Cvičení předmětu A4M33PAH ======
  * na cvicenich se pisou minitestiky. 
  * Prosim doplnte chybejici/nedodelane. 

===== 2. týden - Pravdivostni tabulka =====
Na tomhle cviku jsem nebyl, prosim upravte. 

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


===== 3. týden - move()-Block World =====
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..

===== 4. týden - Swap()-Backwards search =====
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.

===== 5. týden - h_add heuristika =====
 Priklad ze slidu, vypocitat h_add heuristiku + obrazek; 
<code>
s={a,b}
g={b,e,f}
a1=<{a},0,{b,c}>
a2=<{a,b},0,{d}>
...
</code>

===== 6. týden - PSP plan state search =====

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

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

===== 7. týden - HTN hiearchical task network planning =====
Pomoci HTN/STN dovest Robota v hraci plose (prazdny obdelnik) na jizni pol. 
Robot umi: krok, turn-right, hitWall=?1/0, headingNorth=?1/0

<code>
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)
</code>

===== 8. týden - Scheduling =====
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),...

<code>
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

</code>

===== 9. týden - Temporal Planning =====
v testu ma byt: modalni logika, algoritmus TL Plan., nebude tam vypocet Progress fce (moc dlouhe, u Zk mozna jo)
<code>
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.
</code> 

===== 10. týden - PDDL =====
Testik, zadana domena a problem jednoducheho PDDL. Pouze urcit proveditelne akce z pocatecniho stavu. 

~~DISCUSSION~~