Consider shifting to pddl

[haz]

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]

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]

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]

Let's see...

AI-Planning/pddl#40

Anything else that would be required?

[TheAeryan]

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

[TheAeryan]

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]

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]

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]

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]

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