Encoding of Planning Problems and Their Optimizations in Linear Logic

Part of book or chapter of book English OPEN
Chrpa, Lukáš ; Surynek, Pavel ; Vyskočil, Jiří (2009)

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).
  • References (26)
    26 references, page 1 of 3

    1. Bacchus F., Kabanza F.: Using temporal logics to express search control knowledge for planning. Arti¯cial Intelligence 22:5-27. 1998.

    2. Banbara M. Design and Implementation of Linear Logic Programming Languages. Ph.D. Dissertation, The Graduate School of Science and Technology, Kobe University. 2002.

    3. Bibel W., Cerro L. F., Fronhofer B., Herzig A. Plan Generation by Linear Proofs: On Semantics. In proceedings of GWAI. 49{62. 1989.

    4. Chrpa L. Linear Logic: Foundations, Applications and Implementations. In proceedings of workshop CICLOPS. 110-124. 2006.

    5. Chrpa L. Linear logic in planning. In proceedings of Doctoral Consorcium ICAPS. 26-29. 2006.

    6. Chrpa L., Bartak R. Towards getting domain knowledge: Plans analysis through investigation of actions dependencies In proceedings of FLAIRS. 531{536.

    7. Cresswell S., Smaill A., Richardson J. Deductive Synthesis of Recursive Plans in Linear Logic. In proceedings of ECP. 252{264. 1999.

    8. Doherty P., Kvanstrom J.: TALplanner: A temporal logic based planner. AI Magazine 22(3):95-102. 2001.

    9. Ghallab M, Nau D., Traverso P. Automated planning, theory and practice. Morgan Kaufmann Publishers 2004. 2004.

    10. Girard J.-Y. Linear logic. Theoretical computer science 50:1{102. 1987.

  • Metrics
    views in OpenAIRE
    views in local repository
    downloads in local repository

    The information is available from the following content providers:

    From Number Of Views Number Of Downloads
    University of Huddersfield Repository - IRUS-UK 0 41
Share - Bookmark