Klasické plánování
Klasické plánování Klasické plánování
Pˇríklad STRIPS stavu [Wic11] Stav v DWR doméně Reprezentace STRIPS state = {attached(p1, loc1), attached(p2, loc1), in(c1, p1), in(c3, p1), top(c3, p1), on(c3, c1), on(c1, pallet), in(c2, p2), top(c2, p2), on(c2, pallet), belong(crane1, loc1), empty(crane1), adjacent(loc1, loc2), adjacent(loc2, loc1), at(r1, loc2), occupied(loc2), unloaded(r1)} Radek Maˇrík (marikr@felk.cvut.cz) Klasické plánování 16. dubna 2013 24 / 70
Reprezentace STRIPS STRIPS - reprezentace operátor˚u a akcí [Wic11] plánovací operátor STRIPS plánovací domény je trojice o = (name(o), precond(o), effects(o)), kde jméno operátoru name(o) je syntaktick´y v´yraz tvaru n(x1, . . . , xk), kde n je (jednoznačn´y) symbol a x1, . . . , xk jsou vˇsechny proměnné, které se vyskytují v o, a vstupní podmínky precond(o) a efekty effects(o) operátoru jsou mnoˇziny literál˚u. akce STRIPS plánovací domény je uzavˇrená instance plánovacího operátor˚u. Radek Maˇrík (marikr@felk.cvut.cz) Klasické plánování 16. dubna 2013 25 / 70
- Page 1 and 2: Klasické plánování Radek Maˇr
- Page 3 and 4: Koncept plánu [Nau09] Plán mnoho
- Page 5 and 6: Pojem plánování Definice Plánov
- Page 7 and 8: Pojem plánování Koncepční mode
- Page 9 and 10: Pojem plánování Koncepční mode
- Page 11 and 12: Plánovací úloha [Nau09] Pojem pl
- Page 13 and 14: Typy plánovač˚u [Nau09] Plánova
- Page 15 and 16: Klasické plánování [Nau09] Poje
- Page 17 and 18: Klasické representace [Wic11] Repr
- Page 19: Reprezentace STRIPS STRIPS - reprez
- Page 23 and 24: Reprezentace STRIPS Aplikovatelnost
- Page 25 and 26: Reprezentace STRIPS STRIPS: plánov
- Page 27 and 28: Základy PDDL [Wic11] Reprezentace
- Page 29 and 30: Reprezentace PDDL Plánovací probl
- Page 31 and 32: Metody plánování Logika a prohle
- Page 33 and 34: Metody plánování Logika a prohle
- Page 35 and 36: Metody plánování Stavov´y prost
- Page 37 and 38: Metody plánování Stavov´y prost
- Page 39 and 40: Metody plánování Stavov´y prost
- Page 41 and 42: Metody plánování Stavov´y prost
- Page 43 and 44: Metody plánování Stavov´y prost
- Page 45 and 46: Zpětné hledání [Wic11] 1 Backwa
- Page 47 and 48: Metody plánování Stavov´y prost
- Page 49 and 50: Metody plánování Stavov´y prost
- Page 51 and 52: 4 Pˇríloha PDDL Specifikace Pˇr
- Page 53 and 54: PDDL typy [Wic11] Pˇríloha PDDL S
- Page 55 and 56: PDDL predikáty: pˇríklad [Wic11]
- Page 57 and 58: PDDL popis cíle [Wic11] Pˇríloha
- Page 59 and 60: PDDL operátor: pˇríklad [Wic11]
- Page 61 and 62: Pˇríloha PDDL Specifikace PDDL pr
Reprezentace STRIPS<br />
STRIPS - reprezentace operátor˚u a akcí<br />
[Wic11]<br />
plánovací operátor STRIPS plánovací domény je trojice<br />
o = (name(o), precond(o), effects(o)),<br />
kde jméno operátoru name(o)<br />
je syntaktick´y v´yraz tvaru n(x1, . . . , xk),<br />
kde n je (jednoznačn´y) symbol<br />
a x1, . . . , xk jsou vˇsechny proměnné,<br />
které se vyskytují v o, a<br />
vstupní podmínky precond(o) a efekty effects(o) operátoru jsou<br />
mnoˇziny literál˚u.<br />
akce STRIPS plánovací domény je uzavˇrená instance plánovacího<br />
operátor˚u.<br />
Radek Maˇrík (marikr@felk.cvut.cz) <strong>Klasické</strong> <strong>plánování</strong> 16. dubna 2013 25 / 70