search

AI-Planning / lifted-pddl

A lightweight framework for the efficient parsing and manipulation of PDDL in lifted form.
MIT License
11 stars 0 forks source link

Consider shifting to `pddl` #1

Open haz opened 1 year ago

haz commented 1 year ago

If there's a desire to extend things to more general forms of PDDL expressivity, then a more flexible library might be useful. pddl is a decent candidate (already expressive, and easy-to-extend lark for the parsing context).

TheAeryan commented 1 year ago

Since right now I am a little bit busy, I think I will look into pddl once I start adding more functionality into Lifted PDDL. By this I mean I will 1) integrate pddl into Lifted PDDL and, then, 2) add extra functionality such as conditional effects, negative preconditions, etc.

TheAeryan commented 1 year ago

Since my next step is to implement existential preconditions (:exists) in Lifted PDDL, I have just taken a look at pddl. However, from the Readme, it seems that it does not support that PDDL requirement yet.

haz commented 1 year ago

Let's see...

https://github.com/AI-Planning/pddl/issues/40

Anything else that would be required?

TheAeryan commented 1 year ago

Right now I am using Typed STRIPS + existential preconditions, so nothing else for now.

TheAeryan commented 1 year ago

From our previous conversation, I think it would be a good idea to also have support for universal effects (forall when) and, maybe, all the ADL requirements. In the future I would like to extend Lifted PDDL so that it supports ADL, so it is a matter of when ADL will be supported by pddl. If they have no intention to support it in the near future (since it is a lot of work), maybe I should stick to tarski, since they already support ADL (to the best of my knowledge).

haz commented 1 year ago

Aye, fair enough. Not sure how big of a task it'll be in the end, and something pddl definitely should implement. So we'll see when they respond to the new issue.

TheAeryan commented 1 year ago

For now, I think I'll stick to tarski since I need support for existential preconditions ASAP. But in the future I'll consider shifting to pddl if they have implemented support for ADL by then.

haz commented 1 year ago

Not sure it needs to be closed out -- feel free to leave it on hold and assign me. I'll have a look into what's required on the pddl front for full-on ADL.

haz commented 1 year ago

Re-opening, as we're about to have full ADL support drop.