search

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.
Apache License 2.0
2 stars 5 forks source link

LPG returns empty plan #17

Open jrenoux opened 1 year ago

jrenoux commented 1 year ago

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!

IvanSerina commented 1 year ago

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