PDDL中激活LED任务触发Segmentation fault错误，请求排查

以下是针对你遇到的问题的常见排查方向：

• 检查activate_led动作的前置条件
  确认动作的前置条件是否正确写为(not (activated ?led))——如果误写成(activated ?led)，规划器会在寻找满足前置条件的动作时陷入异常，甚至触发段错误。同时要确保:parameters里正确声明了?led的类型（比如( ?led - led )），类型未定义也可能导致解析错误。

• 验证谓词与动作效果的语法
  检查activated谓词的定义是否正确，比如(predicates (activated ?led - led))，参数类型必须和问题文件中的led1类型匹配。另外，activate_led的效果要确保是(activated ?led)，不要写成(not (activated ?led))或者遗漏括号，语法错误容易导致规划器解析崩溃。

• 排查初始状态的否定写法
  有些规划器对初始状态中的否定声明有严格要求，比如是否允许在:init里直接写(not (activated led1))。如果规划器不支持这种写法，可以尝试用“默认未激活”的逻辑：只在初始状态中列出已激活的LED，未列出的默认视为未激活，目标状态直接写(activated led1)即可。

• 检查领域文件的整体语法完整性
  确认领域文件的结构是否完整：比如:domain声明、:requirements（如果需要）、:types、:predicates、动作定义的各个块（:parameters、:precondition、:effect）有没有遗漏必要的括号或关键字，哪怕是一个少写的括号都可能导致规划器解析时出现段错误。

• 尝试更换规划器测试
  部分老版本规划器对否定前置条件的处理存在bug，你可以换用主流规划器（如Fast Downward、LAMA）测试，如果更换后正常，说明原规划器存在兼容性问题。

内容的提问来源于stack exchange，提问作者Javier Sánchez