SlowGuess/NeurIPS_2023_OCR huggingface dataset:
Listing 2: ALFRED PDDL problem file with task achievement goal
define (problem problem0) (:domain alfred_task)   
(:objects agent0 - agent AlarmClockType/appleType ArmChairType BackgroundType BaseballBatType BasketBallType BathtubBasinType BathtubType BedType BlindsType BookType BootsType BowlType BoxType BreadType ButterKnifeType CDType CabinetType CandleType CartType CellPhoneType ... - itemtype f0_0_0f f0_0_1f f0_0_2f f0_0_3f f0_1_0f - location MoveAhead RotateLeft RotateRight - movement empty0 - obj emptyR - receptacle   
( :init (emptyObj emptyO) (emptyReceptacle emptyR) (canContain BedType CellPhoneType) (canContain CounterTopType PotatoType) (canContain CoffeeTableType StatueType) (canContain DiningTableType PanType) .... (openable MicrowaveType) (atLocation agento f0_0_0f) (move RotateRight) (move RotateLeft) (move MoveAhead) (canHeat MicrowaveType PlateType) (canHeat MicrowaveType PotatoType) (canHeat MicrowaveType MugType) (canHeat MicrowaveType CupType) (canHeat MicrowaveType BreadType) (canHeat MicrowaveType TomatoType) (canHeat MicrowaveType AppleType) (canHeat MicrowaveType EggType) (conn f0_0_1f f0_0_0f RotateLeft) (conn f0_0_3f f0_0_2f RotateLeft) (conn f0_0_0f f0_0_1f RotateRight) (conn f0_0_1f f0_0_2f RotateRight) (conn f0_0_2f f0_0_3f RotateRight) (conn f0_0_0f f0_1_0f MoveAhead) (conn f0_0_2f f0_0_1f RotateLeft) (conn f0_0_3f f0_0_0f RotateRight) (conn f0_0_0f f0_0_3f RotateLeft) (unknown f0_1_0f)   
( :goal exists (?goalObj - obj ?goalReceptacle - receptacle) (and (inReceptacle ?goalObj ?goalReceptacle) (objectType ?goalObj PotatoType)
151   
152   
153
(receptacleType ?goalReceptacle TableType) (isHeated ?goalObj)))   
）   
）
As not plan was found for the problem in Listing 2, the goal is changed to exploration in listing 3.
Listing 3: ALFRED PDDL problem file with exploration goal
1 :goal (and (explore ) (not (holdsAny ))) 3