
hipP version 0.1.14 (i686-pc-linux-gnu, threaded mode)
(built on i686-pc-linux-gnu on Thu Nov 30 10:53:25 CET 2006)
For academic or scientific (non-commercial) use only.
Copyright K.U.Leuven, Department of Computer Science.

==================================================================
ACE-ilProlog 1.2.20 for scientific (non-commercial) use only.
Copyright K.U.Leuven, Department of Computer Science.
Contact: http://www.cs.kuleuven.be/~dtai/ACE.
==================================================================

Now loading files for application siblings-episodes 
**Initialising settings** 
  loading /home/tomas/sayphi/domains/rovers/roller/siblings-episodes/siblings-episodes.s ...  
**Initialising language** 
**Initialising knowledge** 
**Loading kb file /home/tomas/sayphi/domains/rovers/roller/siblings-episodes/siblings-episodes.kb ** 
  -> load method =  key 
**No bg file available** 
  -> 1011 examples have been processed 

ace-siblings-episodes> tilde
Loading Tilde
Loading Prediction for ACE
Initializing Query Transformation Library
Initializing C++ Packs Library
Storing attribute: gen(selected(A,B,C),C)
Storing all attributes: ...
HRType:  esh_gainratio 
TILDE
Discretization busy...
Right subtree optimization disabled. 
Preprocessing constant generators. 
Sampling check:  1011  examples, max is  1000 
#Ex=1000, #Q=44

Best test: selected(A,B,C),helpful_sample_rock(A,B,D,E,F)
Sampling check:  919  examples, max is  1000 
#Ex=919, #Q=44

Best test: selected(A,B,C),helpful_sample_soil(A,B,D,E,F)
Sampling check:  828  examples, max is  1000 
#Ex=828, #Q=44

Best test: selected(A,B,C),helpful_calibrate(A,B,D,E,F,G)
Sampling check:  684  examples, max is  1000 
#Ex=684, #Q=44

Best test: selected(A,B,C),helpful_navigate(A,B,D,E,F)
Sampling check:  368  examples, max is  1000 
#Ex=368, #Q=44

Best test: selected(A,B,C),helpful_take_image(A,B,D,E,F,G,H)
Sampling check:  325  examples, max is  1000 
#Ex=325, #Q=44

Best test: selected(A,B,C),helpful_drop(A,B,D,E)
Sampling check:  297  examples, max is  1000 
#Ex=297, #Q=44

Best test: selected(A,B,C),target_goal_communicated_image_data(A,B,D,E)
Sampling check:  97  examples, max is  1000 
#Ex=97, #Q=44

Best test: selected(A,B,C),target_goal_communicated_soil_data(A,B,D)
Leaf: [communicate_rock_data] - 34.0
Sampling check:  63  examples, max is  1000 
#Ex=63, #Q=87

Best test: (selected(A,B,C),target_goal_communicated_soil_data(A,B,D)),target_goal_communicated_rock_data(A,B,E)
Leaf: [communicate_soil_data] - 37.0
Sampling check:  26  examples, max is  1000 
#Ex=26, #Q=162
Leaf: [communicate_rock_data] - 26.0
Sampling check:  200  examples, max is  1000 
#Ex=200, #Q=63

Best test: (selected(A,B,C),target_goal_communicated_image_data(A,B,D,E)),target_goal_communicated_rock_data(A,B,F)
Sampling check:  84  examples, max is  1000 
#Ex=84, #Q=63

Best test: (selected(A,B,C),target_goal_communicated_image_data(A,B,D,E)),target_goal_communicated_soil_data(A,B,F)
Leaf: [communicate_image_data] - 48.0
Sampling check:  36  examples, max is  1000 
#Ex=36, #Q=120

Best test: (selected(A,B,C),target_goal_communicated_image_data(A,B,D,E),target_goal_communicated_soil_data(A,B,F)),static_fact_equipped_for_rock_analysis(B,G)
Sampling check:  14  examples, max is  1000 
#Ex=14, #Q=120
Leaf: [communicate_image_data] - 14.0
Sampling check:  22  examples, max is  1000 
#Ex=22, #Q=214
Leaf: [communicate_image_data] - 22.0
Sampling check:  116  examples, max is  1000 
#Ex=116, #Q=120

Best test: (selected(A,B,C),target_goal_communicated_image_data(A,B,D,E),target_goal_communicated_rock_data(A,B,F)),target_goal_communicated_soil_data(A,B,G)
Sampling check:  46  examples, max is  1000 
#Ex=46, #Q=120

Best test: (selected(A,B,C),target_goal_communicated_image_data(A,B,D,E),target_goal_communicated_rock_data(A,B,F)),helpful_communicate_rock_data(A,B,G,H,I,I,F)
Sampling check:  40  examples, max is  1000 
#Ex=40, #Q=120

Best test: (selected(A,B,C),target_goal_communicated_image_data(A,B,D,E),target_goal_communicated_rock_data(A,B,F)),static_fact_equipped_for_soil_analysis(B,G)
Sampling check:  18  examples, max is  1000 
#Ex=18, #Q=120
Leaf: [communicate_image_data] - 18.0
Sampling check:  22  examples, max is  1000 
#Ex=22, #Q=214
Leaf: [communicate_image_data] - 22.0
Leaf: [communicate_rock_data] - 6.0
Sampling check:  70  examples, max is  1000 
#Ex=70, #Q=215

Best test: (selected(A,B,C),target_goal_communicated_image_data(A,B,D,E),target_goal_communicated_rock_data(A,B,F),target_goal_communicated_soil_data(A,B,G)),helpful_communicate_soil_data(A,B,H,I,G,G,J)
Sampling check:  42  examples, max is  1000 
#Ex=42, #Q=215
Leaf: [communicate_image_data] - 42.0
Sampling check:  28  examples, max is  1000 
#Ex=28, #Q=1121

Best test: (selected(A,B,C),target_goal_communicated_image_data(A,B,D,E),target_goal_communicated_rock_data(A,B,F),target_goal_communicated_soil_data(A,B,G),helpful_communicate_soil_data(A,B,H,I,G,G,J)),static_fact_at_lander(B,I,F)
Leaf: [communicate_image_data] - 8.0
Sampling check:  20  examples, max is  1000 
#Ex=20, #Q=1121
Leaf: [communicate_image_data] - 20.0
Leaf: [drop] - 28.0
Leaf: [take_image] - 43.0
Sampling check:  316  examples, max is  1000 
#Ex=316, #Q=296

Best test: (selected(A,B,C),helpful_navigate(A,B,D,E,F)),helpful_take_image(A,B,D,E,G,H,I)
Sampling check:  212  examples, max is  1000 
#Ex=212, #Q=296

Best test: (selected(A,B,C),helpful_navigate(A,B,D,E,F)),helpful_drop(A,B,D,G)
Sampling check:  90  examples, max is  1000 
#Ex=90, #Q=296

Best test: (selected(A,B,C),helpful_navigate(A,B,D,E,F)),static_fact_at_lander(B,G,F)
Leaf: [navigate] - 78.0
Sampling check:  12  examples, max is  1000 
#Ex=12, #Q=468

Best test: (selected(A,B,C),helpful_navigate(A,B,D,E,F),static_fact_at_lander(B,G,F)),static_fact_equipped_for_rock_analysis(B,D)
Leaf: [navigate] - 6.0
Leaf: [navigate] - 6.0
Sampling check:  122  examples, max is  1000 
#Ex=122, #Q=314

Best test: (selected(A,B,C),helpful_navigate(A,B,D,E,F),helpful_drop(A,B,D,G)),static_fact_at_lander(B,H,F)
Sampling check:  116  examples, max is  1000 
#Ex=116, #Q=314

Best test: (selected(A,B,C),helpful_navigate(A,B,D,E,F),helpful_drop(A,B,D,G)),static_fact_visible_from(B,H,E)
Leaf: [navigate] - 58.0
Sampling check:  58  examples, max is  1000 
#Ex=58, #Q=353

Best test: (selected(A,B,C),helpful_navigate(A,B,D,E,F),helpful_drop(A,B,D,G),static_fact_visible_from(B,H,E)),static_fact_at_lander(B,I,E)
Sampling check:  52  examples, max is  1000 
#Ex=52, #Q=353

Best test: (selected(A,B,C),helpful_navigate(A,B,D,E,F),helpful_drop(A,B,D,G),static_fact_visible_from(B,H,E)),target_goal_communicated_soil_data(A,B,F)
Sampling check:  24  examples, max is  1000 
#Ex=24, #Q=353
Leaf: [drop] - 24.0
Sampling check:  28  examples, max is  1000 
#Ex=28, #Q=353

Best test: (selected(A,B,C),helpful_navigate(A,B,D,E,F),helpful_drop(A,B,D,G),static_fact_visible_from(B,H,E),target_goal_communicated_soil_data(A,B,F)),candidate_communicate_rock_data(A,B,D,I,J,E,J)
Leaf: [drop] - 8.0
Sampling check:  20  examples, max is  1000 
#Ex=20, #Q=984
Leaf: [drop] - 20.0
Leaf: [navigate] - 6.0
Leaf: [drop] - 6.0
Sampling check:  104  examples, max is  1000 
#Ex=104, #Q=438

Best test: (selected(A,B,C),helpful_navigate(A,B,D,E,F),helpful_take_image(A,B,D,E,G,H,I)),target_goal_communicated_rock_data(A,B,E)
Sampling check:  74  examples, max is  1000 
#Ex=74, #Q=438

Best test: (selected(A,B,C),helpful_navigate(A,B,D,E,F),helpful_take_image(A,B,D,E,G,H,I)),target_goal_communicated_soil_data(A,B,E)
Leaf: [take_image] - 68.0
Leaf: [navigate] - 6.0
Sampling check:  30  examples, max is  1000 
#Ex=30, #Q=438

Best test: (selected(A,B,C),helpful_navigate(A,B,D,E,F),helpful_take_image(A,B,D,E,G,H,I),target_goal_communicated_rock_data(A,B,E)),candidate_drop(A,B,D,J)
Leaf: [navigate] - 18.0
Leaf: [drop] - 12.0
Sampling check:  144  examples, max is  1000 
#Ex=144, #Q=202

Best test: (selected(A,B,C),helpful_calibrate(A,B,D,E,F,G)),helpful_take_image(A,B,D,G,H,I,J)
Sampling check:  134  examples, max is  1000 
#Ex=134, #Q=202

Best test: (selected(A,B,C),helpful_calibrate(A,B,D,E,F,G)),target_goal_communicated_image_data(A,B,F,H)
Leaf: [calibrate] - 55.0
Sampling check:  79  examples, max is  1000 
#Ex=79, #Q=246

Best test: (selected(A,B,C),helpful_calibrate(A,B,D,E,F,G),target_goal_communicated_image_data(A,B,F,H)),helpful_communicate_soil_data(A,B,I,J,K,L,M)
Sampling check:  60  examples, max is  1000 
#Ex=60, #Q=246

Best test: (selected(A,B,C),helpful_calibrate(A,B,D,E,F,G),target_goal_communicated_image_data(A,B,F,H)),target_goal_communicated_soil_data(A,B,I)
Leaf: [calibrate] - 13.0
Sampling check:  47  examples, max is  1000 
#Ex=47, #Q=438

Best test: (selected(A,B,C),helpful_calibrate(A,B,D,E,F,G),target_goal_communicated_image_data(A,B,F,H),target_goal_communicated_soil_data(A,B,I)),static_fact_at_lander(B,J,I)
Sampling check:  29  examples, max is  1000 
#Ex=29, #Q=438

Best test: (selected(A,B,C),helpful_calibrate(A,B,D,E,F,G),target_goal_communicated_image_data(A,B,F,H),target_goal_communicated_soil_data(A,B,I)),static_fact_equipped_for_rock_analysis(B,D)
Leaf: [navigate] - 9.0
Leaf: [calibrate] - 20.0
Sampling check:  18  examples, max is  1000 
#Ex=18, #Q=670

Best test: (selected(A,B,C),helpful_calibrate(A,B,D,E,F,G),target_goal_communicated_image_data(A,B,F,H),target_goal_communicated_soil_data(A,B,I),static_fact_at_lander(B,J,I)),target_goal_communicated_rock_data(A,B,G)
Leaf: [navigate] - 12.0
Leaf: [calibrate] - 6.0
Leaf: [calibrate] - 19.0
Sampling check:  10  examples, max is  1000 
#Ex=10, #Q=345
Leaf: [take_image] - 10.0
Sampling check:  91  examples, max is  1000 
#Ex=91, #Q=169

Best test: (selected(A,B,C),helpful_sample_soil(A,B,D,E,F)),helpful_take_image(A,B,D,F,G,H,I)
Sampling check:  84  examples, max is  1000 
#Ex=84, #Q=169

Best test: (selected(A,B,C),helpful_sample_soil(A,B,D,E,F)),static_fact_equipped_for_rock_analysis(B,D)
Sampling check:  20  examples, max is  1000 
#Ex=20, #Q=169

Best test: (selected(A,B,C),helpful_sample_soil(A,B,D,E,F)),static_fact_visible_from(B,G,F)
Leaf: [sample_soil] - 6.0
Leaf: [sample_soil] - 14.0
Leaf: [sample_soil] - 64.0
Leaf: [sample_soil] - 7.0
Leaf: [sample_rock] - 92.0

Refinement finished. 
Output written to file '/home/tomas/sayphi/domains/rovers/roller/siblings-episodes/tilde/siblings-episodes.out'.


ace-siblings-episodes> quit

Bye-bye!

