shi-raida/up-lpg

LPG is a automated planner supporting classical and numeric state variables, and supports durative actions too. It computes plans using one-shoot and anytime operation mode.

LPG Unified Planning integrator

The aim of this project is to make the LPG planning engine available in the unified_planning library by the AIPlan4EU project. LPG is one of the most successful planning systems for classical, numerical and temporal planning.

Installation

We recommend the installation from PyPi because it has pre-built wheels for all common operating systems.

Installation from Python Package Index PyPi

To automatically get a version that works with your version of the unified planning framework, you can list it as a solver in the pip installation of unified_planning:

pip install unified-planning[lpg]

If you need several solvers, you can list them all within the brackets.

You can also install the LPG integration separately (in case the current version of unified_planning does not include LPG or you want to add it later to your unified planning installation). After cloning this repository run

pip install up-lpg

you get the latest version.

This repository incudes the LPG binaries compiled for Linux and Windows. The installation has been tested in Ubuntu 20.04.3 LTS and Windows 10 version 22H2.

If you need an older version, you can install it with:

pip install up-lpg==<version number>

You can test it using:

python up_test_cases/report.py lpg lpg-anytime lpg-repairer 

Usage

Solving a planning problem

You can for example call it as follows:

from unified_planning.shortcuts import *
from unified_planning.engines import PlanGenerationResultStatus

problem = Problem('myproblem')
# specify the problem (e.g. fluents, initial state, actions, goal)
...

planner = OneshotPlanner(name="lpg")
result = planner.solve(problem)
if result.status == PlanGenerationResultStatus.SOLVED_SATISFICING:
    print(f'{Found a plan.\nThe plan is: {result.plan}')
else:
    print("No plan found.")

See also the following notebook

Features:

• One shot planning
• Anytime planning
• Plan Repairer

LPG Team

Current members: Alfonso E. Gerevini , Alessandro Saetti and Ivan Serina

Planning group coordinator: Alfonso E. Gerevini

PhD students: Mauro Vallati, Alberto Rovetta, Valerio Borelli.

Undergraduate students (now graduated) previously involved: Marco Lazzaroni, Stefano Orlandi, Valerio Lorini, Fabrizio Morbini, Sergio Spinoni, Alberto Bettini, Paolo Toninelli, Fabrizio Bonfadini.

Programmer previously involved: Maurizio Vitale (for InLPG)