Generate finite-domain action fluents by mutex analysis

prost-planner / prost

probabilistic planning system for tasks encoded in RDDL

MIT License

37 stars 17 forks source link

Generate finite-domain action fluents by mutex analysis #102

Closed thomaskeller79 closed 4 years ago

thomaskeller79 commented 4 years ago

We have generated finite-domain action fluents for our SoCS paper (https://ai.dmi.unibas.ch/papers/geisser-et-al-socs2020.pdf) by combining mutually exclusive binary action fluents. In this issue, we refactor the implementation and merge it into the master branch.

thomaskeller79 commented 4 years ago

The generation of finite-domain action fluents and the computation of applicable action states (in particular those that are computed using the special rules for ipc2018) don't work together. I fixed the problem by using z3 to compute applicable action states, which was its own issue before (issue #90) and therefore closed issue #90.

thomaskeller79 commented 4 years ago

Issue resolved in 6a3ee67445a32ecf213163d96359391df149154f