Klasické plánování

More documents

Recommendations

Info

Výsledek pˇríkladu cíl: writeValue(a,3); výsledná sekvence: 1 start 2 connectServer(a) 3 writing(a, 3) Metody plánování Logika a prohledávání Radek Maˇrík (marikr@felk.cvut.cz) Klasické plánování 16. dubna 2013 38 / 70
Metody plánování Logika a prohledávání Plánování - hledání logických formulí do hloubky % Depth first search % ================== depthFirstSearch(AnsPath) :initialState(Init), depthFirst([Init], AnsPath). depthFirst([S|_], [S]) :finalState(S), !. depthFirst([S|Path], [S|AnsPath]) :extend([S|Path], S1), depthFirst([S1, S |Path], AnsPath). extend([S|Path], S1) :nextState(S, S1), not(memberState(S1, [S|Path])). memberState(S, Path) :member(S,Path). Radek Maˇrík (marikr@felk.cvut.cz) Klasické plánování 16. dubna 2013 39 / 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 and 20: Reprezentace STRIPS STRIPS - reprez
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: 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í

Create successful ePaper yourself

Delete template?

Save as template?