search

prost-planner / prost

probabilistic planning system for tasks encoded in RDDL
MIT License
41 stars 17 forks source link

examples of support for "continuous"? #126

Closed fdouglis closed 3 years ago

fdouglis commented 3 years ago

Hi, just wondering if prost supports continuous values? I did a grep for examples of this in rddlsim and prost. In prost I simply didn't find examples specifying it. In rddlsim I found for instance two "Mars rover" examples. One has a single rover, so there is just an X location and Y location; the other (multiagent_mars_rover.rddl2) has objects that have X and Y attributes. The file explicitly comments that it is using RDDL2, which I assume simply means it is old enough that RDDL2 was new, but maybe not. (I note that it dies with that same stack overflow with the Boolean policy we discussed in another thread, but that is not germane to prost.)

My thinking is that if it supported them, there'd be an example using them, but maybe that is a bad assumption. Just want to confirm one way or the other... Thanks.

geisserf commented 3 years ago

Continuous variables are not supported by Prost. I was under the impression we have that listed somewhere, but I can't find it anymore. I'll talk to @thomaskeller79 in our meeting today about documentation on what subset of RDDL the planner supports.

fdouglis commented 3 years ago

Thanks @geisserf for confirming. As you say, it's probably there someplace. I was a bit surprised though. Is there a roadmap for when such things may be added, assuming there is ongoing improvement to the system?

geisserf commented 3 years ago

There are a couple of open issues relating to implementing newer RDDL features (e.g. issue #3, #5, #8, #13, #14, #15), but we do not have a set out roadmap on when we want to implement these. Some of these will potentially take a lot of work (for example, supporting continuous variables), so there has to be some strong incentive to add these, e.g. feedback from external users that they would like to see a specific feature implemented.

thomaskeller79 commented 3 years ago

Continuous variables are not supported by Prost. I was under the impression we have that listed somewhere, but I can't find it anymore. I'll talk to @thomaskeller79 in our meeting today about documentation on what subset of RDDL the planner supports.

We decided to add a page to the wiki that describes the subset of RDDL that is supported by Prost.

Regarding the issue here, there is already an issue for this (issue #5), so I suggest we close this one and add a comment there to refer to the discussion here.

fdouglis commented 3 years ago

Thanks. Regarding user preferences, have you had any sort of a survey asking users to prioritize features?