Publikace na Matematicko-fyzikální fakulta |
2009
Abstrakt
Girardova Lineární Logika je dobrý formalizmus, který lze použít k spravování mnoha problémů se spotřebovatelnými zdroji. Její expresivita je dobrá pro jednoduše pochopitelné kódování mnoha problémů.
Zaměřili jsme se na kódování plánovacích problémů pomocí lineární logiky. Zjistili jsme, že bohatá využitelnost spotřebovatelných zdrojů ve formulaci plánovacích problémů.
Toto nás motivuje k vytvoření kódování plánovacích problémů v lineární logice. Tento článek ukazuje jak kódovat plánovací problémz v lineární logice a jak kódovat některé jejich optimalizece.