AI-Planning / AI-Planning/planutils

ENHSP-2020 result different from JAR on ENHSP website

Đang mở
#136 3 bình luận 0 reaction 0 người được giao Xem trên GitHub
Ngôn ngữ chính
Shell
Star
140
Fork
37
Chỉ số merge pull request
Không có pull request nào được merge trong 30 ngày

Mô tả

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

Hướng dẫn đóng góp

Chưa lập chỉ mục được hướng dẫn đóng góp cho kho mã nguồn này

Đánh giá

Issue này chưa được đánh giá.

Nhận issue mới trong hộp thư của bạn

Bản tóm tắt ngắn những issue GitHub phù hợp với người mới.