此陈述是否存在任何有效版本，表示演员知道其他演员或位置？还是必须指定单独的谓词Knows_actor和Knows_location？
(:predicates
(knows ?a - ACTOR ?thing - ACTOR LOCATION)
)
答案 0 :(得分：1)
如果您使用的计划器支持类型，则可能的简单解决方案是在类型部分中定义超类型：
ACTOR LOCATON - ACTOR_OR_LOCATION
，然后使用类型 ACTOR_OR_LOCATION
定义谓词的第二个参数（事物）