AI-Planning / AI-Planning/planutils

ENHSP-2020 result different from JAR on ENHSP website

Aperta
#136 3 commenti 0 reazioni 0 assegnatari Vedi su GitHub
Lingua principale
Shell
Stelle
140
Fork
37
Metriche di merge delle PR
Nessuna PR unita negli ultimi 30g

Descrizione

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)
)
)
```

Guida per i contributori

Nessuna guida per i contributori indicizzata per questo repository

Valutazione

Questa issue non è ancora stata valutata.

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.