快速向下规划器可以处理“何时”等条件效果吗？

Question

我遇到了特定代码部分的问题。 这是域名文件：

(define (domain gripper-strips)

(:谓词 (room ?r) （球？b） （夹具？g） （at-罗比？r） （在？b？r） （免费？g） （进位？o？g） （世界 ） （外交部） (q1)(q2)(q3)(q4)

）

---

这是问题文件：

然后我使用这个命令来运行它：

./fast-downward.py 测试/gripper_ltlf/prob01.pddl --搜索“astar(lmcut())”

错误信息如下：

"This configuration does not support conditional effects (operator dfaact)!  
Terminating.  
Tried to use unsupported feature.   
Peak memory: 23248 KB  
Remove intermediate file output.sas  
search exit code: 34"

我尝试使用Fast Downward planner解决一个pddl问题，在代码中我使用了“when”这个词，但是信息提醒它不支持条件效果（operator dfaact），我不知道如何解决这个问题.

Answer 1

它确实支持条件效果，是的，但看起来您使用的配置不支持。可能是启发式的选择。您可以在此处查看哪些支持条件效果：https://www.fast-downward.org/Doc/Evaluator