aiplan4eu / 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.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

LPG returns empty plan

jrenoux opened this issue · comments

Hi !

I am playing again with LPG to compare with Tamer on the flexible manufacturing problem, and LPG returns an empty plan even though it outputs "Solved_satisficing" and a plan exists. For information, Tamer does output the correct plan, in that case only 2 actions.

I attached the domain and problem in pddl (sorry for the crazy long domain...).

I am using up-lpg (==0.0.6.3).
I get the warning "UserWarning: We cannot establish whether lpg can solve this problem!"
The characteristics of the problem are:

PROBLEM_CLASS: ['ACTION_BASED']
PROBLEM_TYPE: ['GENERAL_NUMERIC_PLANNING']
TIME: ['CONTINUOUS_TIME']
EXPRESSION_DURATION: ['STATIC_FLUENTS_IN_DURATIONS']
NUMBERS: ['DISCRETE_NUMBERS']
CONDITIONS_KIND: ['EQUALITIES', 'NEGATIVE_CONDITIONS']
EFFECTS_KIN
[problem.pddl.txt](https://github.com/aiplan4eu/up-lpg/files/12455583/problem.pddl.txt)
D: ['FLUENTS_IN_NUMERIC_ASSIGNMENTS']
TYPING: ['FLAT_TYPING']
FLUENTS_TYPE: ['NUMERIC_FLUENTS']

domain.pddl.txt
problem.pddl.txt

Thanks!

Ok, fixed.
Unfortunately, lpg doesn't solve this problem (I'll try to check what happen asap) but at least now it doesn't provide a wrong solution.
Regards