Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

rcll-central: prevent instruct goals for RS from being dispatched when there is an active fill goal for the same RS. #577

Open
snoato opened this issue Oct 9, 2022 · 1 comment
Assignees

Comments

@snoato
Copy link
Contributor

snoato commented Oct 9, 2022

Filling an RS changes the wm s.t. the fill counts are updated. An active instruct goal for an RS has a grounded PDDL precondition, which can be invalidated through the updated counts (even when the count is increased) due to modelling constraints. This can lead to the instruct to fail due to timeout and to a potentially gamebreaking unrecoverable state. An easy solution for such situations is to just prevent instruct goals while filling. Better (mid-term) solutions would include updating the domain to handle actual numbers (switch from STRIPS to another PDDL standard) or to use locking predicates. Since this is up for discussion, the easy solution should be implemented for now.

@TarikViehmann
Copy link
Contributor

The immediate issue is fixed through #588, but regardless of that it makes sense to integrate proper number representations.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants