Encoding of Planning Problems and Their Optimizations in Linear Logic

Authors:
Lukáš Chrpa;Pavel Surynek;Jiří Vyskočil
Affiliations:
Department of Theoretical Computer Science and Mathematical Logic Faculty of Mathematics and Physics, Charles University in Prague,;Department of Theoretical Computer Science and Mathematical Logic Faculty of Mathematics and Physics, Charles University in Prague,;Department of Theoretical Computer Science and Mathematical Logic Faculty of Mathematics and Physics, Charles University in Prague,
Venue:
Applications of Declarative Programming and Knowledge Management
Year:
2009

Citing 13
Cited 1

Macro-operators: a weak method for learning

Artificial Intelligence - Lecture notes in computer science 178
Linear logic

Theoretical Computer Science
Planning as satisfiability

ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
Generating plans in linear logic I: actions as proofs

Theoretical Computer Science
Logic programming in intuitionistic linear logic: theory, design, and implementation

Logic programming in intuitionistic linear logic: theory, design, and implementation
Plan Generation by Linear Proofs: On Semantics

GWAI '89 Proceedings of the 13th German Workshop on Artificial Intelligence
Timed Petri Nets and Temporal Linear Logic

ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Deductive Synthesis of Recursive Plans in Linear Logic

ECP '99 Proceedings of the 5th European Conference on Planning: Recent Advances in AI Planning
From Petri Nets to Linear Logic

Category Theory and Computer Science
Automated Planning: Theory & Practice

Automated Planning: Theory & Practice
FLUX: A logic programming method for reasoning agents

Theory and Practice of Logic Programming
Linear Logic in Computer Science (London Mathematical Society Lecture Note Series)

Linear Logic in Computer Science (London Mathematical Society Lecture Note Series)
Planning via Petri net unfolding

IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence

Review:

The Knowledge Engineering Review

Quantified Score

Hi-index	0.00

Visualization

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. We observed a rich usage of a construct of consumable resources in planning problem formulations. This fact motivates us to provide a possible encoding of planning problems in linear logic. This paper shows how planning problems can be encoded in Linear Logic and how some optimizations of planning problems can be encoded. These optimizations can help planners to improve the efficiency of finding solutions (plans).