Publikace na Matematicko-fyzikální fakulta |
2006
Abstrakt
Tento článek popisuje rozpracovaný výzkum. Zabýváme se problémem dosažitelnosti stavů v plánovacím grafu z perspektivy programování s omezujícími podmínkami.
Navrhujeme alternativní způsob konstrukce plánovacích grafů známých z algoritmu Graphplan. Navrhujeme kontrolovat konzistenci pakaždé, když je naše varianta plánovacího grafu rozšířena o další akci.
Toto vede na přesnější aproximaci dosažitelnosti stavů než jakou poskytuje standardní verze algoritmu Graphplan. V našem článku je teoreticky ukázáno, že naše varianta plánovacího grafu zakazuje striktně více situací než standardní verze algoritmu Graphplan.