Klasické plánování

More documents

Recommendations

Info

Reprezentace STRIPS Rozloˇzená reprezentace stavu Reprezentace stavu světa atomická . . . stav je dále nedělitelný rozloˇzená . . . stav je kolekce proměnných Radek Maˇrík (marikr@felk.cvut.cz) Klasické plánování 16. dubna 2013 22 / 70
Reprezentace STRIPS STRIPS - reprezentace stav˚u [Wic11] Necht’ L je jazyk prvého ˇrádu s konečně mnoha predikátovými symboly, s konečným počtem konstatních symbol˚u, a ˇzádnými funkčními symboly stav STRIPS plánovací domény je mnoˇzina základních atom˚u z L: (základní) atom p platí ve stavu s ⇔ p ∈ s s splňuje mnoˇzinu (základních) literál˚u g (s |= g), jestliˇze kaˇzdý pozitivní literál v g je v s kaˇzdý negativní literál v g není v s Radek Maˇrík (marikr@felk.cvut.cz) Klasické plánování 16. dubna 2013 23 / 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: Klasické representace [Wic11] Repr
Page 21 and 22: 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ý prost
Page 45 and 46: Zpětné hledání [Wic11] 1 Backwa
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

Klasické plánování

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?