next up previous
Next: Planning (block world) (ad-hoc Up: A comparison of Constraint Previous: Structure prediction (simplified PF-2D)

Action Theory

Specification:
actionthBlocks.txt
CLP(FD) solver:
actionSolv.pl

Specification translator (from Action theory into ASP):
Translator.pl

Results:

Planning in blocks world.

Symbol `-' denotes no answer within 20 minutes of CPU-time.
Instance (using (6), see code) Plan lparse SMODELS CMODELS SICStus
Blocks Length exists     mChaff Simo  
5 5 N 2.31 0.14 0.02 0.02 0.20
5 6 N 2.29 0.17 0.11 0.06 0.11
5 7 Y 2.34 0.21 0.12 0.10 0.08
6 7 N 7.64 0.32 0.16 0.13 0.31
6 8 N 7.65 0.37 0.19 0.15 1.70
6 9 Y 7.69 0.55 0.27 0.43 0.99
7 9 N 22.96 0.64 0.32 0.27 6.23
7 10 N 23.06 0.75 0.39 0.32 38.24
7 11 Y 23.10 2.15 0.57 1.35 17.40
8 11 N 36.71 1.18 0.63 0.53 154.96
8 12 N 36.81 1.92 0.74 0.62 948.31
8 13 Y 37.10 7.98 2.14 10.36 422.51
9 13 N 98.69 2.25 1.09 0.93 -
9 14 N 98.45 5.99 1.46 1.13 -
9 15 Y 100.01 433.28 4.16 23.07 -
Instance (using (6'), see code) Plan lparse SMODELS CMODELS SICStus
Blocks Length exists     mChaff Simo  
4 4 N 0.40 0.05 0.00 0.00 0.08
4 5 N 0.41 0.06 0.06 0.02 0.01
4 6 Y 0.42 0.06 0.06 0.02 0.01
5 11 N 1.67 0.35 0.18 0.33 2.17
5 12 N 1.68 0.59 0.26 0.64 5.92
5 13 Y 1.68 0.75 0.28 0.50 8.07
6 25 N 3.38 - 685.43 - -
6 26 N 3.38 - 1173.55 - -
6 27 Y 3.41 - 1181.99 - -


next up previous
Next: Planning (block world) (ad-hoc Up: A comparison of Constraint Previous: Structure prediction (simplified PF-2D)
Last update: 21-12-2005 by andy