2

该声明是否有任何版本有效，表示一个演员知道另一个演员或一个位置？或者我必须指定单独的谓词know_actor 和knows_location？

 (:predicates     
    (knows     ?a - ACTOR ?thing - ACTOR LOCATION)
 )
4

1 回答 1

2

如果您使用的规划器支持类型，一个可能的简单解决方案是在类型部分定义超类型：

ACTOR LOCATON - ACTOR_OR_LOCATION

然后使用类型ACTOR_OR_LOCATION定义谓词的第二个参数（ ?thing ）

于 2019-06-06T07:40:48.297 回答