Kódování plánovacích problémů a jejich optimalizace v lineární logice

Abstrakt

Girardova lineární logika je formalismus, který lze užít pro modelování mnoha problémů, kde se jedná o konzumovatelné zdroje. Její expresivita je vhodná pro velmi srozumitelné modelování.

Využili jsme lineární logiky pro modelování plánovacích problémů.

Klíčová slova

• Encoding
• Planning
• Problems
• Their
• Optimizations
• Linear
• Logic