Script started on Wed 20 Nov 2002 17:02:56 GMT ~[41]> cd ~/aleph/test/examples/posonly ~/aleph/test/examples/posonly[42]> yap [ Restoring file /users/ashwin/Yap-4.3.18/solaris/startup ] [ YAP version Yap-4.3.18 ] ?- [aleph]. [ consulting aleph... ] A L E P H Version 4 Last modified: Wed Nov 13 16:18:53 GMT 2002 Manual: http://www.comlab.ox.ac.uk/oucl/groups/machlearn/Aleph/index.html [ aleph consulted 1161928 bytes in 0.47 seconds ] yes ?- read_all(animals). [ reconsulting animals.b... ] [ animals.b reconsulted 26748 bytes in 0.01 seconds ] [consulting pos examples] [animals.f] [cannot open] [animals.n] [included generator] [*class/2] yes ?- induce. [select example] [1] [sat] [1] [class(eagle,bird)] [bottom clause] class(A,bird) :- has_covering(A,feathers), has_legs(A,2), nhas_gills(A), habitat(A,land), habitat(A,air). [literals] [6] [saturation time] [0.0] [reduce] [best label so far] [[1,0,2,0.0910425]/0] class(A,bird). [4/ -1.29928] [-------------------------------------] [found clause] class(A,bird). [posonly bayes estimate] [2.43558] [clause label] [[4,-1.29928,1,2.43558,1.36364]] [clauses constructed] [1] [-------------------------------------] class(A,bird) :- has_covering(A,feathers). [4/ -3.09104] [-------------------------------------] [found clause] class(A,bird) :- has_covering(A,feathers). [posonly bayes estimate] [3.97734] [clause label] [[4,-3.09104,2,3.97734,0.227273]] [clauses constructed] [2] [-------------------------------------] class(A,bird) :- has_legs(A,2). class(A,bird) :- nhas_gills(A). class(A,bird) :- habitat(A,land). class(A,bird) :- habitat(A,air). [clauses constructed] [6] [search time] [0.0] [best clause] class(A,bird) :- has_covering(A,feathers). [posonly bayes estimate] [3.97734] [atoms left] [16] [select example] [2] [sat] [2] [class(bat,mammal)] [bottom clause] class(A,mammal) :- has_covering(A,hair), has_legs(A,2), nhas_gills(A), habitat(A,caves), habitat(A,air), has_milk(A). [literals] [7] [saturation time] [0.0] [reduce] [best label so far] [[1,0,2,0.0910425]/0] class(A,mammal). [6/ -1.0116] [-------------------------------------] [found clause] class(A,mammal). [posonly bayes estimate] [2.63669] [clause label] [[6,-1.0116,1,2.63669,1.21212]] [clauses constructed] [1] [-------------------------------------] class(A,mammal) :- has_covering(A,hair). [6/ -2.3979] [-------------------------------------] [found clause] class(A,mammal) :- has_covering(A,hair). [posonly bayes estimate] [3.85632] [clause label] [[6,-2.3979,2,3.85632,0.30303]] [clauses constructed] [2] [-------------------------------------] class(A,mammal) :- has_legs(A,2). class(A,mammal) :- nhas_gills(A). [6/ -1.14513] [-------------------------------------] [good clause] class(A,mammal) :- nhas_gills(A). [posonly bayes estimate] [2.60356] [clause label] [[6,-1.14513,2,2.60356,1.06061]] [clauses constructed] [4] [-------------------------------------] class(A,mammal) :- habitat(A,caves). class(A,mammal) :- habitat(A,air). class(A,mammal) :- has_milk(A). [6/ -1.70475] [-------------------------------------] [good clause] class(A,mammal) :- has_milk(A). [posonly bayes estimate] [3.16317] [clause label] [[6,-1.70475,2,3.16317,0.606061]] [clauses constructed] [7] [-------------------------------------] [clauses constructed] [7] [search time] [0.01] [best clause] class(A,mammal) :- has_covering(A,hair). [posonly bayes estimate] [3.85632] [atoms left] [10] [select example] [7] [sat] [7] [class(shark,fish)] [bottom clause] class(A,fish) :- has_gills(A), has_covering(A,none), has_legs(A,0), habitat(A,water). [literals] [5] [saturation time] [0.0] [reduce] [best label so far] [[1,0,2,0.0910425]/0] class(A,fish). [4/ -1.4816] [-------------------------------------] [found clause] class(A,fish). [posonly bayes estimate] [2.6179] [clause label] [[4,-1.4816,1,2.6179,1.13636]] [clauses constructed] [1] [-------------------------------------] class(A,fish) :- has_gills(A). [4/ -2.3979] [-------------------------------------] [found clause] class(A,fish) :- has_gills(A). [posonly bayes estimate] [3.28419] [clause label] [[4,-2.3979,2,3.28419,0.454545]] [clauses constructed] [2] [-------------------------------------] class(A,fish) :- has_covering(A,none). [4/ -1.99243] [-------------------------------------] [good clause] class(A,fish) :- has_covering(A,none). [posonly bayes estimate] [2.87872] [clause label] [[4,-1.99243,2,2.87872,0.681818]] [clauses constructed] [3] [-------------------------------------] class(A,fish) :- has_legs(A,0). [4/ -1.99243] [-------------------------------------] [good clause] class(A,fish) :- has_legs(A,0). [posonly bayes estimate] [2.87872] [clause label] [[4,-1.99243,2,2.87872,0.681818]] [clauses constructed] [4] [-------------------------------------] class(A,fish) :- habitat(A,water). [4/ -1.99243] [-------------------------------------] [good clause] class(A,fish) :- habitat(A,water). [posonly bayes estimate] [2.87872] [clause label] [[4,-1.99243,2,2.87872,0.681818]] [clauses constructed] [5] [-------------------------------------] [clauses constructed] [5] [search time] [0.0] [best clause] class(A,fish) :- has_gills(A). [posonly bayes estimate] [3.28419] [atoms left] [6] [select example] [8] [sat] [8] [class(crocodile,reptile)] [bottom clause] class(A,reptile) :- has_covering(A,scales), has_legs(A,4), nhas_gills(A), habitat(A,land), habitat(A,water). [literals] [6] [saturation time] [0.0] [reduce] [best label so far] [[1,0,2,0.0910425]/0] class(A,reptile). [6/ -1.4816] [-------------------------------------] [found clause] class(A,reptile). [posonly bayes estimate] [3.1067] [clause label] [[6,-1.4816,1,3.1067,0.757576]] [clauses constructed] [1] [-------------------------------------] class(A,reptile) :- has_covering(A,scales). [6/ -1.70475] [-------------------------------------] [found clause] class(A,reptile) :- has_covering(A,scales). [posonly bayes estimate] [3.16317] [clause label] [[6,-1.70475,2,3.16317,0.606061]] [clauses constructed] [2] [-------------------------------------] class(A,reptile) :- has_legs(A,4). [5/ -2.3979] [-------------------------------------] [found clause] class(A,reptile) :- has_legs(A,4). [posonly bayes estimate] [3.60733] [clause label] [[5,-2.3979,2,3.60733,0.363636]] [clauses constructed] [3] [-------------------------------------] class(A,reptile) :- nhas_gills(A). [6/ -1.70475] [-------------------------------------] [good clause] class(A,reptile) :- nhas_gills(A). [posonly bayes estimate] [3.16317] [clause label] [[6,-1.70475,2,3.16317,0.606061]] [clauses constructed] [4] [-------------------------------------] class(A,reptile) :- habitat(A,land). [6/ -1.99243] [-------------------------------------] [good clause] class(A,reptile) :- habitat(A,land). [posonly bayes estimate] [3.45086] [clause label] [[6,-1.99243,2,3.45086,0.454545]] [clauses constructed] [5] [-------------------------------------] class(A,reptile) :- habitat(A,water). [4/ -1.99243] [-------------------------------------] [good clause] class(A,reptile) :- habitat(A,water). [posonly bayes estimate] [2.87872] [clause label] [[4,-1.99243,2,2.87872,0.681818]] [clauses constructed] [6] [-------------------------------------] [clauses constructed] [6] [search time] [0.01] [best clause] class(A,reptile) :- has_legs(A,4). [posonly bayes estimate] [3.60733] [atoms left] [1] [select example] [17] [sat] [17] [class(snake,reptile)] [bottom clause] class(A,reptile) :- has_covering(A,scales), has_legs(A,0), nhas_gills(A), habitat(A,land). [literals] [5] [saturation time] [0.0] [reduce] [best label so far] [[1,0,2,0.0910425]/0] class(A,reptile). [1/ -1.70475] [-------------------------------------] [found clause] class(A,reptile). [posonly bayes estimate] [0.704748] [clause label] [[1,-1.70475,1,0.704748,3.63636]] [clauses constructed] [1] [-------------------------------------] class(A,reptile) :- has_covering(A,scales). class(A,reptile) :- has_legs(A,0). class(A,reptile) :- nhas_gills(A). class(A,reptile) :- habitat(A,land). [clauses constructed] [5] [search time] [0.01] [best clause] class(A,reptile). [posonly bayes estimate] [0.704748] [atoms left] [0] [theory] [Rule 1] [Pos cover = 4 Rand cover = 0] class(A,bird) :- has_covering(A,feathers). [Rule 2] [Pos cover = 6 Rand cover = 1] class(A,mammal) :- has_covering(A,hair). [Rule 3] [Pos cover = 4 Rand cover = 1] class(A,fish) :- has_gills(A). [Rule 4] [Pos cover = 5 Rand cover = 1] class(A,reptile) :- has_legs(A,4). [Rule 5] [Pos cover = 6 Rand cover = 4] class(A,reptile). [Training set performance] Actual + - + 20 0 20 Pred - 0 0 0 20 0 20 Accuracy = 1.0 [Training set summary] [[20,0,0,0]] [time taken] [0.04] [total clauses constructed] [29] yes ?- ~/aleph/test/examples/posonly[43]> exit exit script done on Wed 20 Nov 2002 17:03:19 GMT