Presná definícia
Čo znamená STRIPS?
STRIPS je klasický formalizmus automatizovaného plánovania, v ktorom stav tvorí množina faktov a akcia má preconditions, add list a delete list. Pôvodná verzia predpokladá deterministický, plne pozorovateľný svet a diskrétne kroky. Je základom mnohých plánovacích jazykov, nie univerzálnym modelom reálnej činnosti.
Skúsenosť a kontext
Ako sa pojem používa v praxi
Doména pre presun balíka definuje, kedy ho možno naložiť a ktoré fakty akcia pridá či odstráni. Planner hľadá sekvenciu a validátor ju prehrá od počiatočného stavu. Čas, kapacity a neistota sa musia pridať rozšíreným formalizmom alebo externou kontrolou.
Overiteľnosť
Odborné zdroje
Praktické odpovede
Často kladené otázky
Ako funguje STRIPS?
Aplikácia akcie overí všetky preconditions, odstráni fakty z delete listu a pridá fakty z add listu.
Kedy má STRIPS praktický význam?
Doména pre presun balíka definuje, kedy ho možno naložiť a ktoré fakty akcia pridá či odstráni.
S čím si pojem nezamieňať?
Automated planning je širší problém; STRIPS je konkrétna reprezentácia stavov a deterministických operátorov.
Ako sa výsledok kontroluje?
Overuje sa každá akcia simuláciou, dosiahnutie cieľa, konzistencia add/delete zoznamov a malé ručne riešené domény.
Na čo si dať pozor?
Closed-world a úplná pozorovateľnosť sú silné predpoklady a nevymodelovaný účinok zostane pre planner neviditeľný.