PDDL中是否允许使用同一谓词的多个定义，但类型不同？

在PDDL中，可以使用同一谓词的多个定义，但定义的参数类型必须不同。例如，可以使用以下代码示例中的“at”谓词的两个定义：

    ; First definition of at predicate
    (at ?x - robot ?l - location)
    ; Second definition of at predicate
    (at ?x - object ?l - location))

(init 
    ; Robot r1 is at location l1
    (at r1 l1)
    ; Object o1 is at location l2
    (at o1 l2))

在此示例中，“at”谓词有两个定义，一个用于描述机器人的位置，另一个用于描述物体的位置。在初始状态下，机器人r1在位置l1，物体o1在位置l2。

这种做法为PDDL中定义谓词的灵活性提供了更多的适应性。