DerekLong101
commented
1 year ago You have a domain without objects. That's fine, but TIM is concerned with properties that are invariants of the objects in the domain. No objects, no invariants. Now, it is certainly true that there are still invariants in there. One of the ways that we looked at developing TIM is with what we called "zero-analysis". This refers to the way that TIM performed its analysis by considering arguments of predicates at different positions - the first, the second and so on. The "zeroth" would be the predicate itself. There are situations in which it is helpful to suppose that there is an implicit object, "the Actor" or whatever, that is assumed to be present and never explicitly named in the model. In this case, the predicates can be considered to have an implicit reference to this actor and the invariants are the invariant properties of that actor. In an earlier implementation of TIM, this was present, but it is not present in the implementation in the VAL codebase.
There is a problem with your problem file: initial states are built with the closed world assumption, so negative facts are never placed in there. The absence of a fact is treated as the assertion of the negation. That will break the parser.
Also, TIM (again, in this implementation) doesn't handle negative preconditions.
Is your domain a real representation of something meaningful, or a randomly generated structure? 6000 actions that switch 50 predicates in different subsets in different directions seems like quite a specific shape, but the shape doesn't seem meaningful.
I just cut the negative conditions out of the initial state and ran a planner on it and got a plan - not sure if that is what you were hoping for.
;;;; Solution Found ; States evaluated: 469 ; Cost: 0.010 0.00000: (a812) 0.00100: (a3810plus9) 0.00200: (a1390) 0.00300: (a2087) 0.00400: (a3846) 0.00500: (a152) 0.00600: (a5974) 0.00700: (a3028) 0.00800: (a5982) 0.00900: (a3144) 0.01000: (a3727)
From: aymeric75 @.> Sent: 21 October 2022 10:56 To: KCL-Planning/VAL @.> Cc: Subscribed @.***> Subject: [KCL-Planning/VAL] TIM returns nothing (Issue #58)
Hello,
When using:
./TIM domain.pddl problem.pddl
it outputs absolutly nothing. Is there something wrong with the pddls ? (here attached).
Thanks a lot
Aymeroc
— Reply to this email directly, view it on GitHubhttps://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%2FKCL-Planning%2FVAL%2Fissues%2F58&data=05%7C01%7Cderek.long%40kcl.ac.uk%7Ca9dbb4ed0a4d46a7fd9e08dab34a845c%7C8370cf1416f34c16b83c724071654356%7C0%7C0%7C638019430597740244%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=E1wzHIYsnkJPnypUvJ8upBEU%2BFrH5KHQZvUzujnDW8w%3D&reserved=0, or unsubscribehttps://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%2Fnotifications%2Funsubscribe-auth%2FAB2KOVEMOM7AQ7GBK5EAQ53WEJSERANCNFSM6AAAAAARLAEEQI&data=05%7C01%7Cderek.long%40kcl.ac.uk%7Ca9dbb4ed0a4d46a7fd9e08dab34a845c%7C8370cf1416f34c16b83c724071654356%7C0%7C0%7C638019430597740244%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=mt1V%2BM8FKX6PRDzRLXWYMscW6R08UkdxIfnEdZBMbFs%3D&reserved=0. You are receiving this because you are subscribed to this thread.Message ID: @.***>
aymeric75
maltehelmert
alfonsogerevini
domainPlusproblem.zip
Hello,
When using:
./
TIMdomain.pddl problem.pddlit outputs absolutly nothing. Is there something wrong with the pddls ? (here attached).
Thanks a lot
Aymeroc