AI-Planning / AI-Planning/planutils

ENHSP-2020 result different from JAR on ENHSP website

Open
#136 3 comments 0 reactions 0 assignees View on GitHub
Dominant language
Shell
Stars
140
Forks
37
PR merge metrics
No merged PRs in 30d

Description

I've run ENHSP-2020 with a simple domain and problem, and I get a different result than what I get by running the ENHSP-2020 JAR file from the [project website](https://sites.google.com/view/enhsp). With `planutils` the problem is deemed to be unsolvable, while with the JAR file it is solved easily.

If nothing is different in the code, it may just be a different default `-planner` and/or `-h`(euristic) across the two versions. This may be relevant to @hstairs too.

Domain file:

```
(define
(domain maze)
(:requirements :strips :typing)
(:types cell - object)
(:constants goal - cell)
(:predicates
(is-at ?x - cell)
(is-open ?x - cell)
(connected ?x - cell ?y - cell)
)
(:action move
:parameters (?from - cell ?to - cell)
:precondition (and
(is-at ?from)
(is-open ?to)
(connected ?from ?to)
)
:effect (and
(is-at ?to)
(not (is-at ?from))
)
)
)
```

Problem file:

```
(define
(problem solve-maze)
(:domain maze)
(:objects
a - cell
b - cell
c - cell
d - cell
)
(:init
(is-open b)
(is-open c)
(is-open d)
(is-open goal)

(connected a b)
(connected b c)
(connected c d)
(connected b goal)
(connected d goal)

(is-at a)
)
(:goal
(is-at goal)
)
)
```

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.