AI-Planning / AI-Planning/api-tools

Updated optimal plans for caldera

Open
#15 0 comments 0 reactions 0 assignees View on GitHub
task
Dominant language
Python
Stars
14
Forks
8
PR merge metrics
No merged PRs in 30d

Description

The optimal plans for the Caldera domain (released in the 2018 IPC) were computed by Patrik Haslum: [caldera-sols.tar.gz](https://github.com/AI-Planning/api-tools/files/9183456/caldera-sols.tar.gz)

These should be added as solutions to the relevant problems (domains 131+143). These are just for the unsplit variant. All solutions were computed to be optimal, and this is the conversation snippet indicating as such:

> I have found what should be optimal solutions to all
> the instances of the caldera domain (opt and sat sets). The biggest
> problem in the sat set took just over 20 minutes to solve (I think I can
> trim that down a bit).
>
> The domain is not quite delete-free (some actions have a negative
> precondition (not (created ?v)) which is effectively "deleted" by adding
> (created ?v)), but it's close enough to monotone that a small tweak to
> my h+ solver was enough to make it generate valid plans for all
> problems; since it's a relaxation, the plan costs should never be
> greater than the optimal. (The grounding problem was trickier to deal
> with...) The plan costs fall within the bounds you provided. In most
> cases it's equal to your current upper bound, in a few cases it's one
> action less.
>
> Attaching the plan files (vlog.txt for each set is a summary of the
> validator output, plus your bounds).

### Update String
`hsps/test_ilb -ce -flx -ho`

### TODO
- [ ] Get optimal submission string
- [ ] Update plans (/upper bound)
- [ ] Update lower bounds w/ message string

Contributor guide

No contributing guide indexed for this repository

Research direction

Start by locating the stored problems and solution or upper-bound data for Caldera domains 131 and 143, then inspect how unsplit solutions are represented. Use the attached caldera-sols.tar.gz and the TODO checklist as the source material; done means the optimal plans and corresponding bounds are updated and the optimal submission string is resolved.

Written by the indexing model from the issue text.

Assessment

Domain
data
Issue type
Feature
Difficulty
3/5
Estimated time
1-2 days
Activity status
Stale
Clarity
Mostly clear
Newbie friendliness
35/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.