Question

我遇到如下问题

  (define (problem GP)
   (:domain world)
   (:objects x1 z1 y1)
   (:init (X x1) (Z z1) )
   (:goal (Y y1))
   )

和域名如下

  (define (domain GP-domain)
    (:action A
     :paremeters(?x y1)
     :precond((X ?x))
     :effect((Y y1)))
  )

我尝试用计划程序运行它，但没有结果。通过右边，操作A将在满足前提条件（X？x）时执行。我不知道出了什么问题。

另一个疑问是，当我在对象问题中声明y1作为对象时，我是否允许在上面的动作A中实际“声明”（Y y1）？这是对的吗？

（解决）

我应该用更简单的方式把它放在

 (define (domain GP-domain)
  (:action A
   :precond X
   :effect Y)

 (define (problem GP-problem)
   (:domain GP-domain)
   (:init X Z)
   (:goal Y)
  )

Answer 1

我应该用更简单的方式把它放在

 (define (domain GP-domain)
  (:action A
   :precond X
   :effect Y)

 (define (problem GP-problem)
   (:domain GP-domain)
   (:init X Z)
   (:goal Y)
  )

Lisp没有输出任何结果

1 个答案: