Agentní systémy a plánování

Planner

Agentní systémy a plánování
« kdy: 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.


Planner

Re:Agentní systémy a plánování
« Odpověď #1 kdy: 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.

Jerry

Re:Agentní systémy a plánování
« Odpověď #2 kdy: 28. 09. 2017, 09:06:17 »
tvuj dotaz by měl směřovat sem  http://cs.fel.cvut.cz/en/people/pechouce

Planner

Re:Agentní systémy a plánování
« Odpověď #3 kdy: 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ě.