Úvod do plánování: Zadání úloh PDDL

Transkript

1 Ing. Jan Strnad TECHNICKÁ UNIVERZITA V LIBERCI Fakulta mechatroniky, informatiky a mezioborových studií Tento materiál vznikl v rámci projektu ESF CZ.1.07/2.2.00/ řízení a měření, který je spolufinancován Evropským sociálním fondem a státním rozpočtem ČR

2 Obsah: řízení a měření 2 / 12 1 Obecné informace 2 Zadání

3 řízení a měření 3 / 12 Zadání úloh pro formalizaci jazykem PDDL Postup pro úspěšné odevzdání úlohy: 1 Prostudování materiálů Úvod do plánování a Zpracování PDDL 2 Výběr z úloh jenž budou následovat 3 Zpracování zadané úlohy do dvou oddělených souborů (doména a problém) 4 Kontrola správnosti syntaxe (validátor) 5 Váš testovací průběh řešení (na papír) 6 Zkušební průběh pomocí solveru (výsledkem je plán) 7 Odeslání úlohy na jan.strnad@tul.cz

4 Úloha 1 řízení a měření 4 / 12 Hanojské věže 3 kotouče Máme tři kolíky (věže). Na začátku je na jednom z nich nasazeno několik kotoučů různých poloměrů, seřazených od největšího (vespod) po nejmenší (nahoře). Pravidla: 1 V jednom tahu lze přemístit jen jeden kotouč. 2 Jeden tah sestává z odejmutí vrchního kotouče z některé věže a jeho položení na vrchol jiné věže. 3 Je zakázáno položit větší kotouč na menší. Úkolem řešitele je přemístit všechny kotouče na druhou věž (třetí přitom využije jako pomocnou pro dočasné odkládání)

5 Úloha 2 řízení a měření 5 / 12 Hanojské věže 4 kotouče Máme čtyři kolíky (věže). Na začátku je na jednom z nich nasazeno několik kotoučů různých poloměrů, seřazených od největšího (vespod) po nejmenší (nahoře). Pravidla: 1 V jednom tahu lze přemístit jen jeden kotouč. 2 Jeden tah sestává z vzetí vrchního kotouče z některé věže a jeho položení na vrchol jiné věže. 3 Je zakázáno položit větší kotouč na menší. Úkolem řešitele je přemístit všechny kotouče na druhou věž (třetí a čtvrtou přitom využije jako pomocnou pro dočasné odkládání)

6 Úloha 3 řízení a měření 6 / 12 Džbány K dispozici jsou dva džbány, pětilitrový a třílitrový. 1 Zdroj vody je neomezený. Úkolem řešitele je odměřit čtyři litry vody.

7 Úloha 4 řízení a měření 7 / 12 Brod Na jednom břehu je pasáček, vlk, koza, zelí a lodička. 1 Vlk by rád sežral kozu a koza si dělá zálusk na zelí. 2 Do lodičky může pasáček vzít jen jedno zvíře nebo zelí. 3 Dvě zvířata nebo zvíře a zelí se na lodičku najednou nevejdou. 4 Koza ani vlk pádlovat neumí. Úkolem řešitele je dostat pasáčka, vlka, kozu i zelí na druhou stranu tak, aby na jednom břehu nikdy nebyla koza s vlkem nebo se zelím bez dohledu pasáčka.

8 Úloha 5 řízení a měření 8 / 12 Misionáři Na jednom břehu jsou tři misionáři a tři kanibalové. Lze využít lodičky, do které se vejdou maximálně dvě osoby. 1 Pokud je na jednom břehu více kanibalů než misionářů, jsou misionáři snědeni. Úkolem řešitele je přepravit všechny na druhou stranu tak, aby nikdy na žádném břehu nebyla přesila kanibalů nad misionáři.

9 Úloha 6 řízení a měření 9 / 12 Žáby Máte sedm kamenů a šest žab. Každá žába sedí na jednom kamenu. Výchozí pozice zelených a hnědých žab jsou odděleně na opačných koncích rybníčku. Jediný volný kámen je tedy uprostřed. 1 Pohyb žáby je možný pouze skokem na volný kámen před její pozicí nebo přeskokem přes jednu žábu (libovolné barvy) na volnou pozici za ní. 2 Skok zpět žába nemá dovoleno. Úkolem řešitele je postupně přemístit žáby do výchozích pozic jejich jinobarevných kolegyň.

10 Úloha 7 řízení a měření 10 / 12 Brod Na jednom břehu stojí otec, matka, jejich dvě dcery a dva synové, policista a vězeňkyně. Platí následující pravidla: 1 Na prám smí maximálně dvě osoby. 2 Otec nesmí být s žádnou z dcer bez přítomnosti matky. 3 Matka nesmí být s žádným ze synů bez přítomnosti otce. 4 Vězeňkyně nesmí být sama s žádným členem rodiny. 5 Pouze policista a rodiče mohou řídit prám. Úkolem řešitele je pomocí prámu dostat na druhou stranu řeky všechny osoby.

11 Úloha 8 řízení a měření 11 / 12 Přelévání vody Mějme tři nádoby. První nádoba má objem 8 l a je plná vody. Druhá a třetí nádoba jsou prázdné a mají 5 l a 3 l. Úkolem řešitele je přeléváním vody dosáhnout, aby v první i ve druhé nádobě bylo po čtyřech litrech vody.

12 Konec prezentace řízení a měření 12 / 12 KONEC děkuji Vám za pozornost