Fórum Root.cz

Ostatní => Odkladiště => Téma založeno: Planner 28. 09. 2017, 02:12:40

Název: Agentní systémy a plánování
Přispěvatel: Planner 28. 09. 2017, 02:12:40
Pokud se tu někdo vyzná v agentech a plánování, měl bych dvě otázky.
1. K vyhledání optimálního plánu se dá použít např. Graphplan nebo Satplan. Existují nějaké rychlé aproximace? Vzhledem k tomu, že SAT je NP-těžký, pro větší instance problémů to asi nebude úplně ideální. Odkazy na Wikipedii nic dalšího neuvádí (“absence of evidence”, proto se radši ptám).
2. Klasické algoritmy pro plánování používají Strips, což je verze logiky prvního řádu. Je to postačující, není to v něčem svazující v tom smyslu, že logika vyššího řádu by některé problémy umožnila řešit nebo usnadnila? K tomu jsem nenašel nic, v literatuře o plánování se skoro vůbec reprezentace neřeší, přitom její volba vypadá jako dost podstatné rozhodnutí ovlivňující celý systém.
Název: Re:Agentní systémy a plánování
Přispěvatel: Planner 28. 09. 2017, 08:55:45
Abych to trochu upřesnil, jde o reprezentaci typu
Kód: [Vybrat]
on(book(1), table(2)) tedy kniha 1 je na stole 2, kde akce pak mění ty výroky v lineárním diskrétním čase.
Název: Re:Agentní systémy a plánování
Přispěvatel: Jerry 28. 09. 2017, 09:06:17
tvuj dotaz by měl směřovat sem  http://cs.fel.cvut.cz/en/people/pechouce
Název: Re:Agentní systémy a plánování
Přispěvatel: Planner 28. 09. 2017, 10:50:10
tvuj dotaz by měl směřovat sem  http://cs.fel.cvut.cz/en/people/pechouce
To vypadá zajímavě.