PDDL中如何建模对象集合包含关系与动作前置条件

核心建模思路 #

PDDL原生没有内置集合数据类型，领域内通用的标准方案是通过二元谓词描述成员-集合的从属关系，配合全称量词实现「集合内所有成员满足属性要求」的前置条件判定，所有支持PDDL2.1及以上版本的主流规划器（Fast Downward、OPTIC等）都原生支持该写法。

具体实现步骤 #

• 首先在域文件的类型声明块定义两类对象的类型：

(:types
  A B - object
)

• 在谓词声明块添加从属关系谓词，语义为「对象a是集合b的组成成员」：

(:predicates
  ; 保留你已经定义的其他谓词
  (is-part-of ?a - A ?b - B)
)

• 定义动作时，通过forall全称量词+imply蕴含逻辑，实现「传入的B对象包含的所有A都满足属性判定」的前置约束。
  举个示例：假设你已经为A定义了数值属性(attr-val ?a - A)，要求所有属于当前B的A的属性值不小于5才能执行动作process-B，动作的完整写法如下：

(:action process-B
  :parameters (?b - B)
  :precondition (and
    ; 此处可追加动作需要的其他前置条件
    (forall (?a - A)
      (imply
        (is-part-of ?a ?b)
        (>= (attr-val ?a) 5)
      )
    )
  )
  :effect (and
    ; 此处填写动作的实际效果
  )
)

• 在问题文件的初始化块，明确枚举所有A和B的从属关系，同时初始化各A的数值属性即可：

(:init
  ; 声明B1包含A1、A2、A3三个成员
  (is-part-of A1 B1)
  (is-part-of A2 B1)
  (is-part-of A3 B1)
  ; 初始化各A的属性值
  (= (attr-val A1) 6)
  (= (attr-val A2) 7)
  (= (attr-val A3) 5)
)

特殊场景适配 #

如果你使用的是仅支持纯STRIPS、不提供全称量词支持的老旧规划器，可以通过派生谓词预计算集合的合格状态：

1. 额外定义谓词(all-member-qualified ?b - B)，标记某个B集合的所有成员都满足属性要求
2. 通过派生规则绑定判定逻辑，动作前置直接判断该标记谓词是否成立即可。
   该方案灵活性低于全称量词写法，仅作为兼容老旧规划器的备选。

注意：不要尝试用PDDL函数直接实现集合映射，PDDL的函数仅支持单值返回，无法承载多成员的集合关系，前述谓词建模方案是工业界规划建模的通用实践，不存在搜索效率兼容问题。

内容的提问来源于stack exchange，提问作者Vishal Agarwal