Существует ли какая-либо версия этого утверждения, которая действительна, выражая, что актер знает другого актера или местоположение?Или я должен указать отдельные предикаты know_actor и know_location?
(:predicates (knows ?a - ACTOR ?thing - ACTOR LOCATION) )
Если планировщик, который вы используете, поддерживает типы, возможно простое решение - определить супертип в разделе типов:
ACTOR LOCATON - ACTOR_OR_LOCATION
, а затем определите второй параметр предиката (? Thing ) с типом ACTOR_OR_LOCATION