PDDL에서 유형 비교가 가능합니까? 예를 들어

Question

, 내가 같은 유형을 선언하는 경우 : 가방의 두 가지 유형, 빛 무거운가 말을하는 것입니다

:types 
    bag 
    light heavy - bag 

. 액션 내에서 유형 백의 변수가 빛인데 의 조명이없는 경우에 비교할 수 있습니까?과 비교 하시겠습니까? 두 변수가 아니라 같은 종류보다, 같은 값이있는 경우

(when (= ?light ?bag)) 

하지만 검사 :

가 나는 등의 동등 비교를하는 것이 가능 알고있다.

나는 (when (= light ?bag))을 시도했지만 플래너가 오류를 발생시키지는 않지만 작동하지 않는 것으로 보입니다.

Answer 1

Chaos 교수님의 의견에 대한 답변으로 이것이 가능하지 않다고 나와 있는데 여기서는 술어 (is_light ?x - light)을 만들고 조치에 (when (is_light ?lightobj) (dosomething))을 사용하는 해결 방법을 도출했습니다. 이 술어는 광 오브젝트를 초기화 할 때 문제점 파일에서 사용됩니다.