Využití formálních gramatik v automatickém plánování: na cestě k sjednocujícímu modelu

Abstract

V práci navrhujeme použít atributové gramatiky jako sjednocující model pro existující modely plánovacích domén. Takový sjednocující model přinese do plánování řadu nových možností využitím existujících technik vy-tvořených pro formální gramatiky. Můžeme například ověřit, zda plán odpovídá danému doménovému modelu. Můžeme dokonce verifikovat, zda je daný mo-del vnitřně konzistentní, což je problém, který plánovací komunita dosud ani neřešila. Můžeme využít techniky učení se gramatiky z příkladů slov jazyka pro automatické učení doménových modelů, tedy jednu z důležitých schopností au-tonomních systémů, která je v případě plánování zatím na velmi nízké úrovni. Samozřejmě je možné pomocí gramatik plány přímo generovat, případně nao-pak lze z pozorované části plánu odvodit, jaké akce budou následovat nebo kte-ré byly přehlédnuty. Formální gramatiky tam mohou posloužit jako vhodné mé-dium pro transport technik a znalostí mezi tak vzdálenými komunitami jako je zpracování jazyka a plánování.