Merge branch 'master' of github.com:tansey/strips

tansey · Sep 20, 2011 · 827c787 · 827c787
2 parents 01e4610 + b452edf
commit 827c787
Show file tree

Hide file tree

Showing 3 changed files with 28 additions and 0 deletions.
diff --git a/towers1_strips.txt b/towers1_strips.txt
@@ -0,0 +1,12 @@
+Initial state: On(Disk3, Pole1), Clear(Pole2), Clear(Pole3), Smaller(Disk3, Pole1), Clear(Disk3) Smaller(Disk3, Pole2), Smaller(Disk3, Pole3)
+Goal state: On(Disk3, Pole3)
+
+Actions:
+               // Move a disk from source to dest
+               Move(Disk, Source, Dest)
+               Preconditions: Clear(Disk), On(Disk, Source), Clear(Dest), Smaller(Disk, Dest)
+               Postconditions: On(Disk, Dest), !On(Disk, Source), !Clear(Dest), Clear(Source)
+
+               //Move(Disk3, Pole1, Pole3)
+               //Preconditions: Clear(Disk3), On(Disk3, Pole1), Clear(Pole3), Smaller(Disk3, Pole3)
+               //Postconditions: On(Disk3, Pole3), !On(Disk3, Pole1), !Clear(Pole3), Clear(Pole1)
diff --git a/towers2_strips.txt b/towers2_strips.txt
@@ -0,0 +1,8 @@
+Initial state: On(Disk2, Disk3), On(Disk3, Pole1), Clear(Disk2), Clear(Pole2), Clear(Pole3), Smaller(Disk2, Pole1), Smaller(Disk2, Pole2), Smaller(Disk2, Pole3), Smaller(Disk3, Pole1), Smaller(Disk3, Pole2), Smaller(Disk3, Pole3)
+Goal state: On(Disk2, Disk3), On(Disk3, Pole3)
+
+Actions:
+               // Move a disk from source to dest
+               Move(Disk, Source, Dest)
+               Preconditions: Clear(Disk), On(Disk, Source), Clear(Dest), Smaller(Disk, Dest)
+               Postconditions: On(Disk, Dest), !On(Disk, Source), !Clear(Dest), Clear(Source)
diff --git a/towers_strips.txt b/towers_strips.txt
@@ -0,0 +1,8 @@
+Initial state: On(Disk1, Disk2), On(Disk2, Disk3), On(Disk3, Pole1), Clear(Disk1), Clear(Pole2), Clear(Pole3), Smaller(Disk1, Disk2), Smaller(Disk1, Disk3), Smaller(Disk1,Pole1), Smaller(Disk1,Pole2), Smaller(Disk1, Pole3), Smaller(Disk2, Disk3), Smaller(Disk2, Pole1), Smaller(Disk2, Pole2), Smaller(Disk2, Pole3), Smaller(Disk3, Pole1), Smaller(Disk3, Pole2), Smaller(Disk3, Pole3)
+Goal state: On(Disk1, Disk2), On(Disk2, Disk3), On(Disk3, Pole3)
+
+Actions:
+               // Move a disk from source to dest
+               Move(Disk, Source, Dest)
+               Preconditions: Clear(Disk), On(Disk, Source), Clear(Dest), Smaller(Disk, Dest)
+               Postconditions: On(Disk, Dest), !On(Disk, Source), !Clear(Dest), Clear(Source)