pddl-lib icon indicating copy to clipboard operation
pddl-lib copied to clipboard

type super-sets

Open hfoffani opened this issue 6 years ago • 0 comments

Hi Noah,

I am very glad you find pddlpy useful. Regarding your question, I am afraid this feature is not implemented currently.

However the grammar does support it (see lines 88 to 106 of pddl.g4) so I assume it would not be too hard to implement it. My first thought it would only require changes in enterTypedVariableList and enterTypedNameList methods; _set_operator_groundspace should be modified too plus some tests.

If you feel brave enough give it a try and let me know.

Best, Hernán


Hi Hernán, My name is Noah XXXXXX, and I am using your pddlpy module to parse some pddl files I have. I'm running into one tough spot and wondered if your module already accounts for it or if I will need to write an extension for myself. With object typing, sometimes there are super-sets of types within pddl files.

(:types robot cart object xc yc xrel yrel)

vs

(:types hand level beverage dispenser container - object ingredient cocktail - beverage shot shaker - container)

Does your module include anywhere a mapping of super-types to sub-types, i.e. something like a dictionary where the key is "object" and the value is the list ["hand", "level", "beverage", "dispenser", "container"]?

p.s. I am an A.I. researcher doing action model learning from pddl domains in case you were wondering. Thanks for any help you can give!, Noah XXXXXXXXX

hfoffani avatar Jul 27 '18 14:07 hfoffani