AI-Planning / AI-Planning/planutils

ENHSP-2020 result different from JAR on ENHSP website

未关闭
#136 3 条评论 0 个 reaction 已指派 0 人 在 GitHub 查看
主要语言
Shell
星标
140
派生
37
PR 合并指标
30 天内没有已合并 PR

描述

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

贡献指南

这个仓库没有索引到贡献指南

评估

这个 Issue 还没有评估数据。

把新 issue 发到你的邮箱

精选适合新手参与的 GitHub issue 摘要。