Encoding of Planning Problems and their Optimizations in Linear Logic

Abstract

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

We concentrated on expressing planning problems by linear logic in this paper. We observed a rich usage of a construct of consumable resource in planning problem formulation.

This fact motivates us to develop encoding of planning problems in linear logic. This paper shows how planning problems can be encoded in Linear Logic and how to encode some optimizations of these planning problems which can be used to improve the efficiency of finding solutions (plans).T

Keywords

• Encoding
• Planning Problems
• Linear Logic