Encoding of Planning Problems and Their Optimizations in Linear Logic

Abstract

Girard's Linear Logic is a formalism which can be used to manage a lot of problems with consumable resources. Its expressiveness is quite good for an easily understandable encoding of many problems.

We concentrated on expressing planning problems by linear logic in this paper.

Keywords

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