renamed ex-blocksworld to blocksworld-ex AI-Planning#4

README.md

@@ -68,7 +68,9 @@ Second, the PRP paper modified three domains from [**2006 IPC5 Probabilistic Tra
 - `elevators`
 - `zenotravel`
 
-Many additional domains were added later to its [repo](https://github.com/QuMuLab/planner-for-relevant-policies/tree/master/fond-benchmarks) that were not included in the original 2012 paper, but became default benchmarks for later FOND planners. 👍
+Many additional domains were added later to its [repo](https://github.com/QuMuLab/planner-for-relevant-policies/tree/master/fond-benchmarks) (but not reported in the 2012 paper itself) and became default benchmarks for later FOND planners: 👍
+
+- `blocksworld-ex`: FOND version of the probabilistic `ex-blocksworld` in 2008 IPC-6. In this domain, blocks can explode.
 
 ## FOND-SAT (2018)
 

benchmarks/blocksworld-ex/domain.pddl

@@ -0,0 +1,62 @@
+;; FOND version of probabilistic version ex-blocksworld (blocks world with explosion) from IPC 2008
+;; [**2006 IPC5 Probabilistic Track**](https://ipc06.icaps-conference.org/probabilistic/)
+;;
+;; In this domain, blocks can explode
+;;
+;; Authors: Michael Littman and David Weissman
+;; Modified by: Blai Bonet
+;; Comment: Good plans are those that avoid putting blocks on table since the probability of detonation is higher
+(define (domain exploding-blocksworld)
+  (:requirements :strips :typing :non-deterministic)
+  (:types
+    block
+  )
+  (:predicates
+    (on ?b1 ?b2 - block)
+    (on-table ?b - block)
+    (clear ?b - block)
+    (holding ?b - block)
+    (emptyhand)
+    (no-detonated ?b - block)
+    (no-destroyed ?b - block)
+    (no-destroyed-table)
+    (detonated ?b - block)
+  )
+
+  (:action pick-up
+    :parameters (?b1 ?b2 - block)
+    :precondition (and (emptyhand) (clear ?b1) (on ?b1 ?b2) (no-destroyed ?b1))
+    :effect (and (holding ?b1) (clear ?b2) (not (emptyhand)) (not (on ?b1 ?b2)))
+  )
+  (:action pick-up-from-table
+    :parameters (?b - block)
+    :precondition (and (emptyhand) (clear ?b) (on-table ?b) (no-destroyed ?b))
+    :effect (and (holding ?b) (not (emptyhand)) (not (on-table ?b)))
+  )
+  (:action put-down-nodet
+    :parameters (?b - block)
+    :precondition (and (no-detonated ?b) (holding ?b) (no-destroyed-table))
+    :effect (and (emptyhand) (on-table ?b) (not (holding ?b))
+      (oneof
+        (and)
+        (and (not (no-destroyed-table)) (not (no-detonated ?b)) (detonated ?b))))
+  )
+  (:action put-down-det
+    :parameters (?b - block)
+    :precondition (and (detonated ?b) (holding ?b) (no-destroyed-table))
+    :effect (and (emptyhand) (on-table ?b) (not (holding ?b)))
+  )
+  (:action put-on-block-nodet
+    :parameters (?b1 ?b2 - block)
+    :precondition (and (no-detonated ?b1) (holding ?b1) (clear ?b2) (no-destroyed ?b2))
+    :effect (and (emptyhand) (on ?b1 ?b2) (not (holding ?b1)) (not (clear ?b2))
+      (oneof
+        (and)
+        (and (not (no-destroyed ?b2)) (not (no-detonated ?b1)) (detonated ?b1))))
+  )
+  (:action put-on-block-det
+    :parameters (?b1 ?b2 - block)
+    :precondition (and (detonated ?b1) (holding ?b1) (clear ?b2) (no-destroyed ?b2))
+    :effect (and (emptyhand) (on ?b1 ?b2) (not (holding ?b1)) (not (clear ?b2)))
+  )
+)

benchmarks/catalogue.py

@@ -106,9 +106,9 @@ def extract_instance_no(file_name):
     for f in get_instances("elevators", pattern="p*.pddl")
 ]
 
-ex_blocksworld = [
+blocksworld_ex = [
     ("domain.pddl", os.path.basename(f))
-    for f in get_instances("ex-blocksworld", pattern="p*.pddl")
+    for f in get_instances("blocksworld-ex", pattern="p*.pddl")
 ]
 faults = [
     (
@@ -293,7 +293,7 @@ def extract_instance_no(file_name):
     "doors": doors,  #
     "earth-observation": earth_observation,  #
     "elevators": elevators,  #
-    "ex-blocksworld": ex_blocksworld,
+    "blocksworld-ex": blocksworld_ex,
     "faults": faults,
     "faults-new": faults_new,  #
     "first-responders": first_responders,
@@ -343,7 +343,7 @@ def extract_instance_no(file_name):
         "tireworld-truck",
     ],
     "extra": [
-        "ex-blocksworld",
+        "blocksworld-ex",
         "puffbot_dialogue_pddl",
         "rectangle-tireworld",
         "rectangle-tireworld-noghost",