Learning started the 3/3/2003(15:41:20)
Learning parameters:
EXAMPLE No. 2 OBJECT o1 downtown(zone7) =. true
EXAMPLE No. 3 OBJECT o1 residential(zone2) =. true
EXAMPLE No. 4 OBJECT o1 residential(zone4) =. true
EXAMPLE No. 5 OBJECT o1 downtown(zone2) =. false
EXAMPLE No. 6 OBJECT o1 downtown(zone3) =. false
EXAMPLE No. 7 OBJECT o1 downtown(zone4) =. false
EXAMPLE No. 8 OBJECT o1 downtown(zone5) =. false
EXAMPLE No. 9 OBJECT o1 residential(zone1) =. false
EXAMPLE No. 10 OBJECT o1 residential(zone5) =. false
EXAMPLE No. 11 OBJECT o1 residential(zone6) =. false
EXAMPLE No. 12 OBJECT o1 residential(zone7) =. false
SEED: object no. o1 for Concept downtown(_2984882) =. true
SEED: object no. o1 for Concept residential(_2984894) =. true
================ Parallel Conquer for Concepts
================ [downtown(_2984882) =. true,residential(_2984894) =. true]
---------------------- Specialization Step No. 1 ----------------------
Clauses for the concept: downtown(_2984882) =. true
PS_RULE: 3
Pos. ex. covered: [[o1,[1,2]]]
Neg. ex. covered: [[o1,[5,6,7,8]]]
downtown(X1) =. true :-
close_to(X2,X1) =. true.
PS_RULE: 4
Pos. ex. covered: [[o1,[1,2]]]
Neg. ex. covered: [[o1,[5,6,7,8]]]
downtown(X1) =. true :-
close_to(X1,X2) =. true.
PS_RULE: 5
Pos. ex. covered: [[o1,[1,2]]]
Neg. ex. covered: [[o1,[6]]]
downtown(X1) =. true :-
onthesea(X1) =. true.
PS_RULE: 6
Pos. ex. covered: [[o1,[1,2]]]
Neg. ex. covered: [[o1,[8]]]
downtown(X1) =. true :-
high_business_activity(X1) =. true.
PS_RULE: 7
Pos. ex. covered: [[o1,[1]]]
Neg. ex. covered: [[o1,[8]]]
downtown(X1) =. true :-
adjacent(X1,X2) =. true.
Clauses for the concept: residential(_2984894) =. true
PS_RULE: 8
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[9,10,11,12]]]
residential(X1) =. true :-
close_to(X2,X1) =. true.
PS_RULE: 9
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[9,10,11,12]]]
residential(X1) =. true :-
close_to(X1,X2) =. true.
PS_RULE: 10
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[11]]]
residential(X1) =. true :-
low_business_activity(X1) =. true.
select_ps_rule
NEGATIVES COVERED: cov(No. examples covered, No. clause)
cov(1,5) cov(1,6) cov(1,7) cov(1,10) cov(4,3) cov(4,4) cov(4,8)
cov(4,9)
BEST NEGATIVES COVERED: cov(No. examples covered, No. clause)
cov(1,5) cov(1,6) cov(1,7) cov(1,10) cov(4,3) cov(4,4) cov(4,8)
cov(4,9)
POSITIVES COVERED: cov(No. examples covered, No. clause)
cov(2,3) cov(2,4) cov(2,5) cov(2,6) cov(2,8) cov(2,9) cov(2,10)
cov(1,7)
BEST POSITIVES COVERED: cov(No. examples covered, No. clause)
cov(2,3) cov(2,4) cov(2,5) cov(2,6) cov(2,8) cov(2,9) cov(2,10)
cov(1,7)
COST OF NUMERATION: cost(Cost, No. Clause)
cost(1,3) cost(1,4) cost(1,5) cost(1,6) cost(1,7) cost(1,8) cost(1,9)
cost(1,10)
BEST COST OF NUMERATION: cost(Cost, No. Clause)
cost(1,3) cost(1,4) cost(1,5) cost(1,6) cost(1,7) cost(1,8) cost(1,9)
cost(1,10)
---------------------- Specialization Step No. 2 ----------------------
Clauses for the concept: downtown(_2984882) =. true
PS_RULE: 11
Pos. ex. covered: [[o1,[1,2]]]
Neg. ex. covered: [[o1,[5,6,7,8]]]
downtown(X1) =. true :-
close_to(X2,X1) =. true,
close_to(X3,X1) =. true.
PS_RULE: 12
Pos. ex. covered: [[o1,[1,2]]]
Neg. ex. covered: [[o1,[5,6,7,8]]]
downtown(X1) =. true :-
close_to(X2,X1) =. true,
close_to(X1,X3) =. true.
PS_RULE: 13
Pos. ex. covered: [[o1,[1,2]]]
Neg. ex. covered: [[o1,[6]]]
downtown(X1) =. true :-
close_to(X2,X1) =. true,
onthesea(X1) =. true.
PS_RULE: 14
Pos. ex. covered: [[o1,[1,2]]]
Neg. ex. covered: [[o1,[8]]]
downtown(X1) =. true :-
close_to(X2,X1) =. true,
high_business_activity(X1) =. true.
PS_RULE: 15
Pos. ex. covered: [[o1,[1]]]
Neg. ex. covered: [[o1,[8]]]
downtown(X1) =. true :-
close_to(X2,X1) =. true,
adjacent(X1,X3) =. true.
PS_RULE: 16
Pos. ex. covered: [[o1,[1,2]]]
Neg. ex. covered: [[o1,[5,6,7,8]]]
downtown(X1) =. true :-
close_to(X2,X1) =. true,
close_to(X1,X2) =. true.
PS_RULE: 17
Pos. ex. covered: [[o1,[1,2]]]
Neg. ex. covered: [[o1,[5,6]]]
downtown(X1) =. true :-
close_to(X2,X1) =. true,
onthesea(X2) =. true.
PS_RULE: 18
Pos. ex. covered: [[o1,[1,2]]]
Neg. ex. covered: [[o1,[5,6,7]]]
downtown(X1) =. true :-
close_to(X2,X1) =. true,
high_business_activity(X2) =. true.
PS_RULE: 19
Pos. ex. covered: [[o1,[1,2]]]
Neg. ex. covered: [[o1,[5,6,7,8]]]
downtown(X1) =. true :-
close_to(X2,X1) =. true,
close_to(X3,X2) =. true.
PS_RULE: 20
Pos. ex. covered: [[o1,[1]]]
Neg. ex. covered: [[o1,[5,7,8]]]
downtown(X1) =. true :-
close_to(X2,X1) =. true,
low_business_activity(X2) =. true.
PS_RULE: 21
Pos. ex. covered: [[o1,[1,2]]]
Neg. ex. covered: [[o1,[5,6,7,8]]]
downtown(X1) =. true :-
close_to(X2,X1) =. true,
close_to(X2,X3) =. true.
PS_RULE: 22
Pos. ex. covered: [[o1,[1]]]
Neg. ex. covered: [[o1,[8]]]
downtown(X1) =. true :-
close_to(X2,X1) =. true,
adjacent(X1,X2) =. true.
PS_RULE: 23
Pos. ex. covered: [[o1,[2]]]
Neg. ex. covered: [[o1,[5,6,7]]]
downtown(X1) =. true :-
close_to(X2,X1) =. true,
adjacent(X2,X3) =. true.
PS_RULE: 24
Pos. ex. covered: [[o1,[1,2]]]
Neg. ex. covered: [[o1,[6]]]
downtown(X1) =. true :-
close_to(X1,X2) =. true,
onthesea(X1) =. true.
PS_RULE: 25
Pos. ex. covered: [[o1,[1,2]]]
Neg. ex. covered: [[o1,[8]]]
downtown(X1) =. true :-
close_to(X1,X2) =. true,
high_business_activity(X1) =. true.
PS_RULE: 26
Pos. ex. covered: [[o1,[1,2]]]
Neg. ex. covered: [[o1,[5,6,7,8]]]
downtown(X1) =. true :-
close_to(X1,X2) =. true,
close_to(X1,X3) =. true.
PS_RULE: 27
Pos. ex. covered: [[o1,[1]]]
Neg. ex. covered: [[o1,[8]]]
downtown(X1) =. true :-
close_to(X1,X2) =. true,
adjacent(X1,X2) =. true.
PS_RULE: 28
Pos. ex. covered: [[o1,[1,2]]]
Neg. ex. covered: [[o1,[5,6]]]
downtown(X1) =. true :-
close_to(X1,X2) =. true,
onthesea(X2) =. true.
PS_RULE: 29
Pos. ex. covered: [[o1,[1]]]
Neg. ex. covered: [[o1,[5,7,8]]]
downtown(X1) =. true :-
close_to(X1,X2) =. true,
low_business_activity(X2) =. true.
PS_RULE: 30
Pos. ex. covered: [[o1,[1,2]]]
Neg. ex. covered: [[o1,[5,6,7,8]]]
downtown(X1) =. true :-
close_to(X1,X2) =. true,
close_to(X3,X2) =. true.
PS_RULE: 31
Pos. ex. covered: [[o1,[1]]]
Neg. ex. covered: [[o1,[8]]]
downtown(X1) =. true :-
close_to(X1,X2) =. true,
adjacent(X1,X3) =. true.
PS_RULE: 32
Pos. ex. covered: [[o1,[1,2]]]
Neg. ex. covered: [[o1,[5,6,7,8]]]
downtown(X1) =. true :-
close_to(X1,X2) =. true,
close_to(X2,X3) =. true.
PS_RULE: 33
Pos. ex. covered: [[o1,[1,2]]]
Neg. ex. covered: [[o1,[5,6,7]]]
downtown(X1) =. true :-
close_to(X1,X2) =. true,
high_business_activity(X2) =. true.
PS_RULE: 34
Pos. ex. covered: [[o1,[2]]]
Neg. ex. covered: [[o1,[5,6,7]]]
downtown(X1) =. true :-
close_to(X1,X2) =. true,
adjacent(X2,X3) =. true.
PS_RULE: 35
Pos. ex. covered: [[o1,[1,2]]]
Neg. ex. covered: [[o1,[]]]
downtown(X1) =. true :-
onthesea(X1) =. true,
high_business_activity(X1) =. true.
PS_RULE: 36
Pos. ex. covered: [[o1,[1]]]
Neg. ex. covered: [[o1,[]]]
downtown(X1) =. true :-
onthesea(X1) =. true,
adjacent(X1,X2) =. true.
PS_RULE: 37
Pos. ex. covered: [[o1,[1]]]
Neg. ex. covered: [[o1,[8]]]
downtown(X1) =. true :-
high_business_activity(X1) =. true,
adjacent(X1,X2) =. true.
PS_RULE: 38
Pos. ex. covered: [[o1,[1]]]
Neg. ex. covered: [[o1,[]]]
downtown(X1) =. true :-
adjacent(X1,X2) =. true,
onthesea(X2) =. true.
PS_RULE: 39
Pos. ex. covered: [[o1,[1]]]
Neg. ex. covered: [[o1,[8]]]
downtown(X1) =. true :-
adjacent(X1,X2) =. true,
low_business_activity(X2) =. true.
Clauses for the concept: residential(_2984894) =. true
PS_RULE: 40
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[9,10,11,12]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
close_to(X3,X2) =. true.
PS_RULE: 41
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[9,10,11,12]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
close_to(X1,X3) =. true.
PS_RULE: 42
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[9,10,11,12]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
close_to(X3,X1) =. true.
PS_RULE: 43
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[11]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
low_business_activity(X1) =. true.
PS_RULE: 44
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[9,10,11,12]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
close_to(X1,X2) =. true.
PS_RULE: 45
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[9,10,11]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
low_business_activity(X2) =. true.
PS_RULE: 46
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[9,10,11,12]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
close_to(X2,X3) =. true.
PS_RULE: 47
Pos. ex. covered: [[o1,[3]]]
Neg. ex. covered: [[o1,[9,12]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
onthesea(X2) =. true.
PS_RULE: 48
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[9,11,12]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
high_business_activity(X2) =. true.
PS_RULE: 49
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[11,12]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
adjacent(X2,X3) =. true.
PS_RULE: 50
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[9,10,11,12]]]
residential(X1) =. true :-
close_to(X1,X2) =. true,
close_to(X3,X2) =. true.
PS_RULE: 51
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[9,10,11,12]]]
residential(X1) =. true :-
close_to(X1,X2) =. true,
close_to(X2,X3) =. true.
PS_RULE: 52
Pos. ex. covered: [[o1,[3]]]
Neg. ex. covered: [[o1,[9,12]]]
residential(X1) =. true :-
close_to(X1,X2) =. true,
onthesea(X2) =. true.
PS_RULE: 53
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[9,11,12]]]
residential(X1) =. true :-
close_to(X1,X2) =. true,
high_business_activity(X2) =. true.
PS_RULE: 54
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[11]]]
residential(X1) =. true :-
close_to(X1,X2) =. true,
low_business_activity(X1) =. true.
PS_RULE: 55
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[11,12]]]
residential(X1) =. true :-
close_to(X1,X2) =. true,
adjacent(X2,X3) =. true.
PS_RULE: 56
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[9,10,11,12]]]
residential(X1) =. true :-
close_to(X1,X2) =. true,
close_to(X1,X3) =. true.
PS_RULE: 57
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[9,10,11]]]
residential(X1) =. true :-
close_to(X1,X2) =. true,
low_business_activity(X2) =. true.
RULE CONSISTENT AND RANGE-RESTRICTED: 35
downtown(X1) =. true :-
onthesea(X1) =. true,
high_business_activity(X1) =. true.
RULE CONSISTENT AND RANGE-RESTRICTED: 36
downtown(X1) =. true :-
onthesea(X1) =. true,
adjacent(X1,X2) =. true.
RULE CONSISTENT AND RANGE-RESTRICTED: 38
downtown(X1) =. true :-
adjacent(X1,X2) =. true,
onthesea(X2) =. true.
select_ps_rule
NEGATIVES COVERED: cov(No. examples covered, No. clause)
cov(0,35) cov(0,36) cov(0,38) cov(1,13) cov(1,14) cov(1,15) cov(1,22)
cov(1,24) cov(1,25) cov(1,27) cov(1,31) cov(1,37) cov(1,39) cov(1,43)
cov(1,54) cov(2,17) cov(2,28) cov(2,47) cov(2,49) cov(2,52) cov(2,55)
cov(3,18) cov(3,20) cov(3,23) cov(3,29) cov(3,33) cov(3,34) cov(3,45)
cov(3,48) cov(3,53) cov(3,57) cov(4,11) cov(4,12) cov(4,16) cov(4,19)
cov(4,21) cov(4,26) cov(4,30) cov(4,32) cov(4,40) cov(4,41) cov(4,42)
cov(4,44) cov(4,46) cov(4,50) cov(4,51) cov(4,56)
BEST NEGATIVES COVERED: cov(No. examples covered, No. clause)
cov(0,35) cov(0,36) cov(0,38) cov(1,13) cov(1,14) cov(1,15) cov(1,22)
cov(1,24) cov(1,25) cov(1,27) cov(1,31) cov(1,37) cov(1,39) cov(1,43)
cov(1,54) cov(2,17) cov(2,28) cov(2,47) cov(2,49) cov(2,52) cov(2,55)
POSITIVES COVERED: cov(No. examples covered, No. clause)
cov(2,13) cov(2,14) cov(2,17) cov(2,24) cov(2,25) cov(2,28) cov(2,35)
cov(2,43) cov(2,49) cov(2,54) cov(2,55) cov(1,15) cov(1,22) cov(1,27)
cov(1,31) cov(1,36) cov(1,37) cov(1,38) cov(1,39) cov(1,47) cov(1,52)
BEST POSITIVES COVERED: cov(No. examples covered, No. clause)
cov(2,13) cov(2,14) cov(2,17) cov(2,24) cov(2,25) cov(2,28) cov(2,35)
cov(2,43) cov(2,49) cov(2,54) cov(2,55)
COST OF NUMERATION: cost(Cost, No. Clause)
cost(2,13) cost(2,14) cost(2,17) cost(2,24) cost(2,25) cost(2,28) cost(2,35)
cost(2,43) cost(2,49) cost(2,54) cost(2,55)
BEST COST OF NUMERATION: cost(Cost, No. Clause)
cost(2,13) cost(2,14) cost(2,17) cost(2,24) cost(2,25) cost(2,28) cost(2,35)
cost(2,43) cost(2,49) cost(2,54) cost(2,55)
In find_best
POSITIVES COVERED: cov(No. examples covered, No. clause)
poscov(2,35) poscov(1,36) poscov(1,38)
BEST POSITIVES COVERED: cov(No. examples covered, No. clause)
poscov(2,35)
find_best/1 took 0.001 sec.
**********************************************
CLAUSE 1 ADDED TO THE LOGIC THEORY
downtown(X1) =. true :-
onthesea(X1) =. true,
high_business_activity(X1) =. true.
**********************************************
example(2,o1,downtown(zone7) =. true,[pos])
example(1,o1,downtown(zone1) =. true,[pos])
The learned theory covers 2/4 examples of concepts to be learned.
The Concept downtown(_2984882) =. true is learned.
SEED: object no. o1 for Concept residential(_2984894) =. true
================ Parallel Conquer for Concepts
================ [residential(_2984894) =. true]
---------------------- Specialization Step No. 1 ----------------------
Clauses for the concept: residential(_2984894) =. true
PS_RULE: 59
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[9,10,11,12]]]
residential(X1) =. true :-
close_to(X2,X1) =. true.
PS_RULE: 60
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[9,10,11,12]]]
residential(X1) =. true :-
close_to(X1,X2) =. true.
PS_RULE: 61
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[11]]]
residential(X1) =. true :-
low_business_activity(X1) =. true.
select_ps_rule
NEGATIVES COVERED: cov(No. examples covered, No. clause)
cov(1,61) cov(4,59) cov(4,60)
BEST NEGATIVES COVERED: cov(No. examples covered, No. clause)
cov(1,61) cov(4,59) cov(4,60)
POSITIVES COVERED: cov(No. examples covered, No. clause)
cov(2,59) cov(2,60) cov(2,61)
BEST POSITIVES COVERED: cov(No. examples covered, No. clause)
cov(2,59) cov(2,60) cov(2,61)
COST OF NUMERATION: cost(Cost, No. Clause)
cost(1,59) cost(1,60) cost(1,61)
BEST COST OF NUMERATION: cost(Cost, No. Clause)
cost(1,59) cost(1,60) cost(1,61)
---------------------- Specialization Step No. 2 ----------------------
Clauses for the concept: residential(_2984894) =. true
PS_RULE: 62
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[9,10,11,12]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
close_to(X3,X2) =. true.
PS_RULE: 63
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[9,10,11,12]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
close_to(X1,X3) =. true.
PS_RULE: 64
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[9,10,11,12]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
close_to(X3,X1) =. true.
PS_RULE: 65
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[11]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
low_business_activity(X1) =. true.
PS_RULE: 66
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[9,10,11,12]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
close_to(X1,X2) =. true.
PS_RULE: 67
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[9,10,11]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
low_business_activity(X2) =. true.
PS_RULE: 68
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[9,10,11,12]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
close_to(X2,X3) =. true.
PS_RULE: 69
Pos. ex. covered: [[o1,[3]]]
Neg. ex. covered: [[o1,[9,12]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
downtown(X2) =. true.
PS_RULE: 70
Pos. ex. covered: [[o1,[3]]]
Neg. ex. covered: [[o1,[9,12]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
onthesea(X2) =. true.
PS_RULE: 71
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[9,11,12]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
high_business_activity(X2) =. true.
PS_RULE: 72
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[11,12]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
adjacent(X2,X3) =. true.
PS_RULE: 73
Pos. ex. covered: [[o1,[3]]]
Neg. ex. covered: [[o1,[9,12]]]
residential(X1) =. true :-
close_to(X1,X2) =. true,
downtown(X2) =. true.
PS_RULE: 74
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[9,10,11,12]]]
residential(X1) =. true :-
close_to(X1,X2) =. true,
close_to(X3,X2) =. true.
PS_RULE: 75
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[9,10,11,12]]]
residential(X1) =. true :-
close_to(X1,X2) =. true,
close_to(X2,X3) =. true.
PS_RULE: 76
Pos. ex. covered: [[o1,[3]]]
Neg. ex. covered: [[o1,[9,12]]]
residential(X1) =. true :-
close_to(X1,X2) =. true,
onthesea(X2) =. true.
PS_RULE: 77
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[9,11,12]]]
residential(X1) =. true :-
close_to(X1,X2) =. true,
high_business_activity(X2) =. true.
PS_RULE: 78
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[11]]]
residential(X1) =. true :-
close_to(X1,X2) =. true,
low_business_activity(X1) =. true.
PS_RULE: 79
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[11,12]]]
residential(X1) =. true :-
close_to(X1,X2) =. true,
adjacent(X2,X3) =. true.
PS_RULE: 80
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[9,10,11,12]]]
residential(X1) =. true :-
close_to(X1,X2) =. true,
close_to(X1,X3) =. true.
PS_RULE: 81
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[9,10,11]]]
residential(X1) =. true :-
close_to(X1,X2) =. true,
low_business_activity(X2) =. true.
select_ps_rule
NEGATIVES COVERED: cov(No. examples covered, No. clause)
cov(1,65) cov(1,78) cov(2,69) cov(2,70) cov(2,72) cov(2,73) cov(2,76)
cov(2,79) cov(3,67) cov(3,71) cov(3,77) cov(3,81) cov(4,62) cov(4,63)
cov(4,64) cov(4,66) cov(4,68) cov(4,74) cov(4,75) cov(4,80)
BEST NEGATIVES COVERED: cov(No. examples covered, No. clause)
cov(1,65) cov(1,78) cov(2,69) cov(2,70) cov(2,72) cov(2,73) cov(2,76)
cov(2,79)
POSITIVES COVERED: cov(No. examples covered, No. clause)
cov(2,65) cov(2,72) cov(2,78) cov(2,79) cov(1,69) cov(1,70) cov(1,73)
cov(1,76)
BEST POSITIVES COVERED: cov(No. examples covered, No. clause)
cov(2,65) cov(2,72) cov(2,78) cov(2,79) cov(1,69) cov(1,70) cov(1,73)
cov(1,76)
COST OF NUMERATION: cost(Cost, No. Clause)
cost(2,65) cost(2,69) cost(2,70) cost(2,72) cost(2,73) cost(2,76) cost(2,78)
cost(2,79)
BEST COST OF NUMERATION: cost(Cost, No. Clause)
cost(2,65) cost(2,69) cost(2,70) cost(2,72) cost(2,73) cost(2,76) cost(2,78)
cost(2,79)
---------------------- Specialization Step No. 3 ----------------------
Clauses for the concept: residential(_2984894) =. true
PS_RULE: 82
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[11]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
low_business_activity(X1) =. true,
close_to(X3,X2) =. true.
PS_RULE: 83
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[11]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
low_business_activity(X1) =. true,
close_to(X1,X3) =. true.
PS_RULE: 84
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[11]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
low_business_activity(X1) =. true,
close_to(X3,X1) =. true.
PS_RULE: 85
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[11]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
low_business_activity(X1) =. true,
close_to(X1,X2) =. true.
PS_RULE: 86
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[11]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
low_business_activity(X1) =. true,
low_business_activity(X2) =. true.
PS_RULE: 87
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[11]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
low_business_activity(X1) =. true,
close_to(X2,X3) =. true.
PS_RULE: 88
Pos. ex. covered: [[o1,[3]]]
Neg. ex. covered: [[o1,[]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
low_business_activity(X1) =. true,
downtown(X2) =. true.
PS_RULE: 89
Pos. ex. covered: [[o1,[3]]]
Neg. ex. covered: [[o1,[]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
low_business_activity(X1) =. true,
onthesea(X2) =. true.
PS_RULE: 90
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[11]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
low_business_activity(X1) =. true,
high_business_activity(X2) =. true.
PS_RULE: 91
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[11]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
low_business_activity(X1) =. true,
adjacent(X2,X3) =. true.
PS_RULE: 92
Pos. ex. covered: [[o1,[3]]]
Neg. ex. covered: [[o1,[9,12]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
downtown(X2) =. true,
close_to(X3,X2) =. true.
PS_RULE: 93
Pos. ex. covered: [[o1,[3]]]
Neg. ex. covered: [[o1,[9,12]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
downtown(X2) =. true,
close_to(X3,X1) =. true.
PS_RULE: 94
Pos. ex. covered: [[o1,[3]]]
Neg. ex. covered: [[o1,[9,12]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
downtown(X2) =. true,
close_to(X1,X2) =. true.
PS_RULE: 95
Pos. ex. covered: [[o1,[3]]]
Neg. ex. covered: [[o1,[9,12]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
downtown(X2) =. true,
close_to(X2,X3) =. true.
PS_RULE: 96
Pos. ex. covered: [[o1,[3]]]
Neg. ex. covered: [[o1,[9,12]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
downtown(X2) =. true,
onthesea(X2) =. true.
PS_RULE: 97
Pos. ex. covered: [[o1,[3]]]
Neg. ex. covered: [[o1,[9,12]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
downtown(X2) =. true,
high_business_activity(X2) =. true.
PS_RULE: 98
Pos. ex. covered: [[o1,[3]]]
Neg. ex. covered: [[o1,[12]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
downtown(X2) =. true,
adjacent(X2,X3) =. true.
PS_RULE: 99
Pos. ex. covered: [[o1,[3]]]
Neg. ex. covered: [[o1,[9,12]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
downtown(X2) =. true,
close_to(X1,X3) =. true.
PS_RULE: 100
Pos. ex. covered: [[o1,[3]]]
Neg. ex. covered: [[o1,[9,12]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
onthesea(X2) =. true,
close_to(X3,X2) =. true.
PS_RULE: 101
Pos. ex. covered: [[o1,[3]]]
Neg. ex. covered: [[o1,[9,12]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
onthesea(X2) =. true,
close_to(X3,X1) =. true.
PS_RULE: 102
Pos. ex. covered: [[o1,[3]]]
Neg. ex. covered: [[o1,[9,12]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
onthesea(X2) =. true,
close_to(X1,X2) =. true.
PS_RULE: 103
Pos. ex. covered: [[o1,[3]]]
Neg. ex. covered: [[o1,[9,12]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
onthesea(X2) =. true,
close_to(X2,X3) =. true.
PS_RULE: 104
Pos. ex. covered: [[o1,[3]]]
Neg. ex. covered: [[o1,[9,12]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
onthesea(X2) =. true,
high_business_activity(X2) =. true.
PS_RULE: 105
Pos. ex. covered: [[o1,[3]]]
Neg. ex. covered: [[o1,[12]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
onthesea(X2) =. true,
adjacent(X2,X3) =. true.
PS_RULE: 106
Pos. ex. covered: [[o1,[3]]]
Neg. ex. covered: [[o1,[9,12]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
onthesea(X2) =. true,
close_to(X1,X3) =. true.
PS_RULE: 107
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[11,12]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
adjacent(X2,X3) =. true,
close_to(X4,X2) =. true.
PS_RULE: 108
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[11,12]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
adjacent(X2,X3) =. true,
close_to(X4,X1) =. true.
PS_RULE: 109
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[11,12]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
adjacent(X2,X3) =. true,
close_to(X1,X2) =. true.
PS_RULE: 110
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[11,12]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
adjacent(X2,X3) =. true,
close_to(X3,X2) =. true.
PS_RULE: 111
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[11,12]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
adjacent(X2,X3) =. true,
close_to(X2,X3) =. true.
PS_RULE: 112
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[11,12]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
adjacent(X2,X3) =. true,
high_business_activity(X2) =. true.
PS_RULE: 113
Pos. ex. covered: [[o1,[3]]]
Neg. ex. covered: [[o1,[12]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
adjacent(X2,X3) =. true,
onthesea(X3) =. true.
PS_RULE: 114
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[11,12]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
adjacent(X2,X3) =. true,
low_business_activity(X3) =. true.
PS_RULE: 115
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[11,12]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
adjacent(X2,X3) =. true,
close_to(X1,X4) =. true.
PS_RULE: 116
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[11,12]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
adjacent(X2,X3) =. true,
close_to(X2,X4) =. true.
PS_RULE: 117
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[11,12]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
adjacent(X2,X3) =. true,
close_to(X4,X3) =. true.
PS_RULE: 118
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[11,12]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
adjacent(X2,X3) =. true,
close_to(X3,X4) =. true.
PS_RULE: 119
Pos. ex. covered: [[o1,[3]]]
Neg. ex. covered: [[o1,[9,12]]]
residential(X1) =. true :-
close_to(X1,X2) =. true,
downtown(X2) =. true,
close_to(X3,X2) =. true.
PS_RULE: 120
Pos. ex. covered: [[o1,[3]]]
Neg. ex. covered: [[o1,[9,12]]]
residential(X1) =. true :-
close_to(X1,X2) =. true,
downtown(X2) =. true,
close_to(X3,X1) =. true.
PS_RULE: 121
Pos. ex. covered: [[o1,[3]]]
Neg. ex. covered: [[o1,[9,12]]]
residential(X1) =. true :-
close_to(X1,X2) =. true,
downtown(X2) =. true,
close_to(X2,X3) =. true.
PS_RULE: 122
Pos. ex. covered: [[o1,[3]]]
Neg. ex. covered: [[o1,[9,12]]]
residential(X1) =. true :-
close_to(X1,X2) =. true,
downtown(X2) =. true,
onthesea(X2) =. true.
PS_RULE: 123
Pos. ex. covered: [[o1,[3]]]
Neg. ex. covered: [[o1,[9,12]]]
residential(X1) =. true :-
close_to(X1,X2) =. true,
downtown(X2) =. true,
high_business_activity(X2) =. true.
PS_RULE: 124
Pos. ex. covered: [[o1,[3]]]
Neg. ex. covered: [[o1,[]]]
residential(X1) =. true :-
close_to(X1,X2) =. true,
downtown(X2) =. true,
low_business_activity(X1) =. true.
PS_RULE: 125
Pos. ex. covered: [[o1,[3]]]
Neg. ex. covered: [[o1,[12]]]
residential(X1) =. true :-
close_to(X1,X2) =. true,
downtown(X2) =. true,
adjacent(X2,X3) =. true.
PS_RULE: 126
Pos. ex. covered: [[o1,[3]]]
Neg. ex. covered: [[o1,[9,12]]]
residential(X1) =. true :-
close_to(X1,X2) =. true,
downtown(X2) =. true,
close_to(X1,X3) =. true.
PS_RULE: 127
Pos. ex. covered: [[o1,[3]]]
Neg. ex. covered: [[o1,[9,12]]]
residential(X1) =. true :-
close_to(X1,X2) =. true,
onthesea(X2) =. true,
close_to(X3,X2) =. true.
PS_RULE: 128
Pos. ex. covered: [[o1,[3]]]
Neg. ex. covered: [[o1,[9,12]]]
residential(X1) =. true :-
close_to(X1,X2) =. true,
onthesea(X2) =. true,
close_to(X3,X1) =. true.
PS_RULE: 129
Pos. ex. covered: [[o1,[3]]]
Neg. ex. covered: [[o1,[9,12]]]
residential(X1) =. true :-
close_to(X1,X2) =. true,
onthesea(X2) =. true,
close_to(X2,X3) =. true.
PS_RULE: 130
Pos. ex. covered: [[o1,[3]]]
Neg. ex. covered: [[o1,[9,12]]]
residential(X1) =. true :-
close_to(X1,X2) =. true,
onthesea(X2) =. true,
high_business_activity(X2) =. true.
PS_RULE: 131
Pos. ex. covered: [[o1,[3]]]
Neg. ex. covered: [[o1,[]]]
residential(X1) =. true :-
close_to(X1,X2) =. true,
onthesea(X2) =. true,
low_business_activity(X1) =. true.
PS_RULE: 132
Pos. ex. covered: [[o1,[3]]]
Neg. ex. covered: [[o1,[12]]]
residential(X1) =. true :-
close_to(X1,X2) =. true,
onthesea(X2) =. true,
adjacent(X2,X3) =. true.
PS_RULE: 133
Pos. ex. covered: [[o1,[3]]]
Neg. ex. covered: [[o1,[9,12]]]
residential(X1) =. true :-
close_to(X1,X2) =. true,
onthesea(X2) =. true,
close_to(X1,X3) =. true.
PS_RULE: 134
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[11]]]
residential(X1) =. true :-
close_to(X1,X2) =. true,
low_business_activity(X1) =. true,
close_to(X3,X2) =. true.
PS_RULE: 135
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[11]]]
residential(X1) =. true :-
close_to(X1,X2) =. true,
low_business_activity(X1) =. true,
close_to(X2,X3) =. true.
PS_RULE: 136
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[11]]]
residential(X1) =. true :-
close_to(X1,X2) =. true,
low_business_activity(X1) =. true,
high_business_activity(X2) =. true.
PS_RULE: 137
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[11]]]
residential(X1) =. true :-
close_to(X1,X2) =. true,
low_business_activity(X1) =. true,
adjacent(X2,X3) =. true.
PS_RULE: 138
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[11]]]
residential(X1) =. true :-
close_to(X1,X2) =. true,
low_business_activity(X1) =. true,
close_to(X1,X3) =. true.
PS_RULE: 139
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[11]]]
residential(X1) =. true :-
close_to(X1,X2) =. true,
low_business_activity(X1) =. true,
low_business_activity(X2) =. true.
PS_RULE: 140
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[11,12]]]
residential(X1) =. true :-
close_to(X1,X2) =. true,
adjacent(X2,X3) =. true,
close_to(X4,X2) =. true.
PS_RULE: 141
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[11,12]]]
residential(X1) =. true :-
close_to(X1,X2) =. true,
adjacent(X2,X3) =. true,
close_to(X4,X1) =. true.
PS_RULE: 142
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[11,12]]]
residential(X1) =. true :-
close_to(X1,X2) =. true,
adjacent(X2,X3) =. true,
close_to(X3,X2) =. true.
PS_RULE: 143
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[11,12]]]
residential(X1) =. true :-
close_to(X1,X2) =. true,
adjacent(X2,X3) =. true,
close_to(X2,X3) =. true.
PS_RULE: 144
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[11,12]]]
residential(X1) =. true :-
close_to(X1,X2) =. true,
adjacent(X2,X3) =. true,
high_business_activity(X2) =. true.
PS_RULE: 145
Pos. ex. covered: [[o1,[3]]]
Neg. ex. covered: [[o1,[12]]]
residential(X1) =. true :-
close_to(X1,X2) =. true,
adjacent(X2,X3) =. true,
onthesea(X3) =. true.
PS_RULE: 146
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[11,12]]]
residential(X1) =. true :-
close_to(X1,X2) =. true,
adjacent(X2,X3) =. true,
low_business_activity(X3) =. true.
PS_RULE: 147
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[11,12]]]
residential(X1) =. true :-
close_to(X1,X2) =. true,
adjacent(X2,X3) =. true,
close_to(X1,X4) =. true.
PS_RULE: 148
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[11,12]]]
residential(X1) =. true :-
close_to(X1,X2) =. true,
adjacent(X2,X3) =. true,
close_to(X2,X4) =. true.
PS_RULE: 149
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[11,12]]]
residential(X1) =. true :-
close_to(X1,X2) =. true,
adjacent(X2,X3) =. true,
close_to(X4,X3) =. true.
PS_RULE: 150
Pos. ex. covered: [[o1,[3,4]]]
Neg. ex. covered: [[o1,[11,12]]]
residential(X1) =. true :-
close_to(X1,X2) =. true,
adjacent(X2,X3) =. true,
close_to(X3,X4) =. true.
RULE CONSISTENT AND RANGE-RESTRICTED: 88
residential(X1) =. true :-
close_to(X2,X1) =. true,
low_business_activity(X1) =. true,
downtown(X2) =. true.
RULE CONSISTENT AND RANGE-RESTRICTED: 89
residential(X1) =. true :-
close_to(X2,X1) =. true,
low_business_activity(X1) =. true,
onthesea(X2) =. true.
RULE CONSISTENT AND RANGE-RESTRICTED: 124
residential(X1) =. true :-
close_to(X1,X2) =. true,
downtown(X2) =. true,
low_business_activity(X1) =. true.
RULE CONSISTENT AND RANGE-RESTRICTED: 131
residential(X1) =. true :-
close_to(X1,X2) =. true,
onthesea(X2) =. true,
low_business_activity(X1) =. true.
select_ps_rule
NEGATIVES COVERED: cov(No. examples covered, No. clause)
cov(0,88) cov(0,89) cov(0,124) cov(0,131) cov(1,82) cov(1,83) cov(1,84)
cov(1,85) cov(1,86) cov(1,87) cov(1,90) cov(1,91) cov(1,98) cov(1,105)
cov(1,113) cov(1,125) cov(1,132) cov(1,134) cov(1,135) cov(1,136) cov(1,137)
cov(1,138) cov(1,139) cov(1,145) cov(2,92) cov(2,93) cov(2,94) cov(2,95)
cov(2,96) cov(2,97) cov(2,99) cov(2,100) cov(2,101) cov(2,102) cov(2,103)
cov(2,104) cov(2,106) cov(2,107) cov(2,108) cov(2,109) cov(2,110) cov(2,111)
cov(2,112) cov(2,114) cov(2,115) cov(2,116) cov(2,117) cov(2,118) cov(2,119)
cov(2,120) cov(2,121) cov(2,122) cov(2,123) cov(2,126) cov(2,127) cov(2,128)
cov(2,129) cov(2,130) cov(2,133) cov(2,140) cov(2,141) cov(2,142) cov(2,143)
cov(2,144) cov(2,146) cov(2,147) cov(2,148) cov(2,149) cov(2,150)
BEST NEGATIVES COVERED: cov(No. examples covered, No. clause)
cov(0,88) cov(0,89) cov(0,124) cov(0,131) cov(1,82) cov(1,83) cov(1,84)
cov(1,85) cov(1,86) cov(1,87) cov(1,90) cov(1,91) cov(1,98) cov(1,105)
cov(1,113) cov(1,125) cov(1,132) cov(1,134) cov(1,135) cov(1,136) cov(1,137)
cov(1,138) cov(1,139) cov(1,145)
POSITIVES COVERED: cov(No. examples covered, No. clause)
cov(2,82) cov(2,83) cov(2,84) cov(2,85) cov(2,86) cov(2,87) cov(2,90)
cov(2,91) cov(2,134) cov(2,135) cov(2,136) cov(2,137) cov(2,138) cov(2,139)
cov(1,88) cov(1,89) cov(1,98) cov(1,105) cov(1,113) cov(1,124) cov(1,125)
cov(1,131) cov(1,132) cov(1,145)
BEST POSITIVES COVERED: cov(No. examples covered, No. clause)
cov(2,82) cov(2,83) cov(2,84) cov(2,85) cov(2,86) cov(2,87) cov(2,90)
cov(2,91) cov(2,134) cov(2,135) cov(2,136) cov(2,137) cov(2,138) cov(2,139)
COST OF NUMERATION: cost(Cost, No. Clause)
cost(3,82) cost(3,83) cost(3,84) cost(3,85) cost(3,86) cost(3,87) cost(3,90)
cost(3,91) cost(3,134) cost(3,135) cost(3,136) cost(3,137) cost(3,138)
cost(3,139)
BEST COST OF NUMERATION: cost(Cost, No. Clause)
cost(3,82) cost(3,83) cost(3,84) cost(3,85) cost(3,86) cost(3,87) cost(3,90)
cost(3,91) cost(3,134) cost(3,135) cost(3,136) cost(3,137) cost(3,138)
cost(3,139)
In find_best
POSITIVES COVERED: cov(No. examples covered, No. clause)
poscov(1,88) poscov(1,89) poscov(1,124) poscov(1,131)
BEST POSITIVES COVERED: cov(No. examples covered, No. clause)
poscov(1,88) poscov(1,89) poscov(1,124) poscov(1,131)
find_best/1 took 0.001 sec.
**********************************************
CLAUSE 2 ADDED TO THE LOGIC THEORY
residential(X1) =. true :-
close_to(X2,X1) =. true,
low_business_activity(X1) =. true,
downtown(X2) =. true.
**********************************************
example(3,o1,residential(zone2) =. true,[pos])
The learned theory covers 3/4 examples of concepts to be learned.
SEED: object no. o1 for Concept residential(_2984894) =. true
================ Parallel Conquer for Concepts
================ [residential(_2984894) =. true]
---------------------- Specialization Step No. 1 ----------------------
Clauses for the concept: residential(_2984894) =. true
PS_RULE: 152
Pos. ex. covered: [[o1,[4]]]
Neg. ex. covered: [[o1,[9,10,11,12]]]
residential(X1) =. true :-
close_to(X2,X1) =. true.
PS_RULE: 153
Pos. ex. covered: [[o1,[4]]]
Neg. ex. covered: [[o1,[9,10,11,12]]]
residential(X1) =. true :-
close_to(X1,X2) =. true.
PS_RULE: 154
Pos. ex. covered: [[o1,[4]]]
Neg. ex. covered: [[o1,[11]]]
residential(X1) =. true :-
low_business_activity(X1) =. true.
select_ps_rule
NEGATIVES COVERED: cov(No. examples covered, No. clause)
cov(1,154) cov(4,152) cov(4,153)
BEST NEGATIVES COVERED: cov(No. examples covered, No. clause)
cov(1,154) cov(4,152) cov(4,153)
POSITIVES COVERED: cov(No. examples covered, No. clause)
cov(1,152) cov(1,153) cov(1,154)
BEST POSITIVES COVERED: cov(No. examples covered, No. clause)
cov(1,152) cov(1,153) cov(1,154)
COST OF NUMERATION: cost(Cost, No. Clause)
cost(1,152) cost(1,153) cost(1,154)
BEST COST OF NUMERATION: cost(Cost, No. Clause)
cost(1,152) cost(1,153) cost(1,154)
---------------------- Specialization Step No. 2 ----------------------
Clauses for the concept: residential(_2984894) =. true
PS_RULE: 155
Pos. ex. covered: [[o1,[4]]]
Neg. ex. covered: [[o1,[9,10,11,12]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
close_to(X1,X3) =. true.
PS_RULE: 156
Pos. ex. covered: [[o1,[4]]]
Neg. ex. covered: [[o1,[9,10,11,12]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
close_to(X3,X2) =. true.
PS_RULE: 157
Pos. ex. covered: [[o1,[4]]]
Neg. ex. covered: [[o1,[9,10,11,12]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
close_to(X2,X3) =. true.
PS_RULE: 158
Pos. ex. covered: [[o1,[4]]]
Neg. ex. covered: [[o1,[9,10,11,12]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
close_to(X3,X1) =. true.
PS_RULE: 159
Pos. ex. covered: [[o1,[4]]]
Neg. ex. covered: [[o1,[11]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
low_business_activity(X1) =. true.
PS_RULE: 160
Pos. ex. covered: [[o1,[4]]]
Neg. ex. covered: [[o1,[9,10,11,12]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
close_to(X1,X2) =. true.
PS_RULE: 161
Pos. ex. covered: [[o1,[4]]]
Neg. ex. covered: [[o1,[9,11,12]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
high_business_activity(X2) =. true.
PS_RULE: 162
Pos. ex. covered: [[o1,[4]]]
Neg. ex. covered: [[o1,[11,12]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
adjacent(X2,X3) =. true.
PS_RULE: 163
Pos. ex. covered: [[o1,[4]]]
Neg. ex. covered: [[o1,[9]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
residential(X2) =. true.
PS_RULE: 164
Pos. ex. covered: [[o1,[4]]]
Neg. ex. covered: [[o1,[9,10,11]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
low_business_activity(X2) =. true.
PS_RULE: 165
Pos. ex. covered: [[o1,[4]]]
Neg. ex. covered: [[o1,[9,10,11,12]]]
residential(X1) =. true :-
close_to(X1,X2) =. true,
close_to(X2,X3) =. true.
PS_RULE: 166
Pos. ex. covered: [[o1,[4]]]
Neg. ex. covered: [[o1,[9,10,11,12]]]
residential(X1) =. true :-
close_to(X1,X2) =. true,
close_to(X3,X2) =. true.
PS_RULE: 167
Pos. ex. covered: [[o1,[4]]]
Neg. ex. covered: [[o1,[9,10,11]]]
residential(X1) =. true :-
close_to(X1,X2) =. true,
low_business_activity(X2) =. true.
PS_RULE: 168
Pos. ex. covered: [[o1,[4]]]
Neg. ex. covered: [[o1,[11]]]
residential(X1) =. true :-
close_to(X1,X2) =. true,
low_business_activity(X1) =. true.
PS_RULE: 169
Pos. ex. covered: [[o1,[4]]]
Neg. ex. covered: [[o1,[9,10,11,12]]]
residential(X1) =. true :-
close_to(X1,X2) =. true,
close_to(X1,X3) =. true.
PS_RULE: 170
Pos. ex. covered: [[o1,[4]]]
Neg. ex. covered: [[o1,[9,11,12]]]
residential(X1) =. true :-
close_to(X1,X2) =. true,
high_business_activity(X2) =. true.
PS_RULE: 171
Pos. ex. covered: [[o1,[4]]]
Neg. ex. covered: [[o1,[11,12]]]
residential(X1) =. true :-
close_to(X1,X2) =. true,
adjacent(X2,X3) =. true.
select_ps_rule
NEGATIVES COVERED: cov(No. examples covered, No. clause)
cov(1,159) cov(1,163) cov(1,168) cov(2,162) cov(2,171) cov(3,161) cov(3,164)
cov(3,167) cov(3,170) cov(4,155) cov(4,156) cov(4,157) cov(4,158) cov(4,160)
cov(4,165) cov(4,166) cov(4,169)
BEST NEGATIVES COVERED: cov(No. examples covered, No. clause)
cov(1,159) cov(1,163) cov(1,168) cov(2,162) cov(2,171) cov(3,161) cov(3,164)
cov(3,167) cov(3,170)
POSITIVES COVERED: cov(No. examples covered, No. clause)
cov(1,159) cov(1,161) cov(1,162) cov(1,163) cov(1,164) cov(1,167) cov(1,168)
cov(1,170) cov(1,171)
BEST POSITIVES COVERED: cov(No. examples covered, No. clause)
cov(1,159) cov(1,161) cov(1,162) cov(1,163) cov(1,164) cov(1,167) cov(1,168)
cov(1,170) cov(1,171)
COST OF NUMERATION: cost(Cost, No. Clause)
cost(1,163) cost(2,159) cost(2,161) cost(2,162) cost(2,164) cost(2,167)
cost(2,168)
cost(2,170) cost(2,171)
BEST COST OF NUMERATION: cost(Cost, No. Clause)
cost(1,163) cost(2,159) cost(2,161) cost(2,162) cost(2,164) cost(2,167)
cost(2,168)
cost(2,170) cost(2,171)
---------------------- Specialization Step No. 3 ----------------------
Clauses for the concept: residential(_2984894) =. true
PS_RULE: 172
Pos. ex. covered: [[o1,[4]]]
Neg. ex. covered: [[o1,[11]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
low_business_activity(X1) =. true,
close_to(X1,X3) =. true.
PS_RULE: 173
Pos. ex. covered: [[o1,[4]]]
Neg. ex. covered: [[o1,[11]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
low_business_activity(X1) =. true,
close_to(X3,X2) =. true.
PS_RULE: 174
Pos. ex. covered: [[o1,[4]]]
Neg. ex. covered: [[o1,[11]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
low_business_activity(X1) =. true,
close_to(X2,X3) =. true.
PS_RULE: 175
Pos. ex. covered: [[o1,[4]]]
Neg. ex. covered: [[o1,[11]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
low_business_activity(X1) =. true,
close_to(X3,X1) =. true.
PS_RULE: 176
Pos. ex. covered: [[o1,[4]]]
Neg. ex. covered: [[o1,[11]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
low_business_activity(X1) =. true,
close_to(X1,X2) =. true.
PS_RULE: 177
Pos. ex. covered: [[o1,[4]]]
Neg. ex. covered: [[o1,[11]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
low_business_activity(X1) =. true,
high_business_activity(X2) =. true.
PS_RULE: 178
Pos. ex. covered: [[o1,[4]]]
Neg. ex. covered: [[o1,[11]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
low_business_activity(X1) =. true,
adjacent(X2,X3) =. true.
PS_RULE: 179
Pos. ex. covered: [[o1,[4]]]
Neg. ex. covered: [[o1,[]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
low_business_activity(X1) =. true,
residential(X2) =. true.
PS_RULE: 180
Pos. ex. covered: [[o1,[4]]]
Neg. ex. covered: [[o1,[11]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
low_business_activity(X1) =. true,
low_business_activity(X2) =. true.
PS_RULE: 181
Pos. ex. covered: [[o1,[4]]]
Neg. ex. covered: [[o1,[9,11,12]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
high_business_activity(X2) =. true,
close_to(X1,X3) =. true.
PS_RULE: 182
Pos. ex. covered: [[o1,[4]]]
Neg. ex. covered: [[o1,[9,11,12]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
high_business_activity(X2) =. true,
close_to(X3,X2) =. true.
PS_RULE: 183
Pos. ex. covered: [[o1,[4]]]
Neg. ex. covered: [[o1,[9,11,12]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
high_business_activity(X2) =. true,
close_to(X2,X3) =. true.
PS_RULE: 184
Pos. ex. covered: [[o1,[4]]]
Neg. ex. covered: [[o1,[9,11,12]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
high_business_activity(X2) =. true,
close_to(X3,X1) =. true.
PS_RULE: 185
Pos. ex. covered: [[o1,[4]]]
Neg. ex. covered: [[o1,[9,11,12]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
high_business_activity(X2) =. true,
close_to(X1,X2) =. true.
PS_RULE: 186
Pos. ex. covered: [[o1,[4]]]
Neg. ex. covered: [[o1,[11,12]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
high_business_activity(X2) =. true,
adjacent(X2,X3) =. true.
PS_RULE: 187
Pos. ex. covered: [[o1,[4]]]
Neg. ex. covered: [[o1,[11,12]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
adjacent(X2,X3) =. true,
close_to(X4,X3) =. true.
PS_RULE: 188
Pos. ex. covered: [[o1,[4]]]
Neg. ex. covered: [[o1,[11,12]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
adjacent(X2,X3) =. true,
close_to(X1,X4) =. true.
PS_RULE: 189
Pos. ex. covered: [[o1,[4]]]
Neg. ex. covered: [[o1,[11,12]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
adjacent(X2,X3) =. true,
close_to(X3,X2) =. true.
PS_RULE: 190
Pos. ex. covered: [[o1,[4]]]
Neg. ex. covered: [[o1,[11,12]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
adjacent(X2,X3) =. true,
close_to(X2,X3) =. true.
PS_RULE: 191
Pos. ex. covered: [[o1,[4]]]
Neg. ex. covered: [[o1,[11,12]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
adjacent(X2,X3) =. true,
close_to(X4,X1) =. true.
PS_RULE: 192
Pos. ex. covered: [[o1,[4]]]
Neg. ex. covered: [[o1,[11,12]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
adjacent(X2,X3) =. true,
close_to(X1,X2) =. true.
PS_RULE: 193
Pos. ex. covered: [[o1,[4]]]
Neg. ex. covered: [[o1,[11,12]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
adjacent(X2,X3) =. true,
low_business_activity(X3) =. true.
PS_RULE: 194
Pos. ex. covered: [[o1,[4]]]
Neg. ex. covered: [[o1,[11,12]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
adjacent(X2,X3) =. true,
close_to(X3,X4) =. true.
PS_RULE: 195
Pos. ex. covered: [[o1,[4]]]
Neg. ex. covered: [[o1,[9]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
residential(X2) =. true,
close_to(X3,X1) =. true.
PS_RULE: 196
Pos. ex. covered: [[o1,[4]]]
Neg. ex. covered: [[o1,[9]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
residential(X2) =. true,
close_to(X1,X2) =. true.
PS_RULE: 197
Pos. ex. covered: [[o1,[4]]]
Neg. ex. covered: [[o1,[9]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
residential(X2) =. true,
close_to(X2,X3) =. true.
PS_RULE: 198
Pos. ex. covered: [[o1,[4]]]
Neg. ex. covered: [[o1,[9]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
residential(X2) =. true,
close_to(X3,X2) =. true.
PS_RULE: 199
Pos. ex. covered: [[o1,[4]]]
Neg. ex. covered: [[o1,[9]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
residential(X2) =. true,
low_business_activity(X2) =. true.
PS_RULE: 200
Pos. ex. covered: [[o1,[4]]]
Neg. ex. covered: [[o1,[9]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
residential(X2) =. true,
close_to(X1,X3) =. true.
PS_RULE: 201
Pos. ex. covered: [[o1,[4]]]
Neg. ex. covered: [[o1,[9,10,11]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
low_business_activity(X2) =. true,
close_to(X3,X1) =. true.
PS_RULE: 202
Pos. ex. covered: [[o1,[4]]]
Neg. ex. covered: [[o1,[9,10,11]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
low_business_activity(X2) =. true,
close_to(X1,X2) =. true.
PS_RULE: 203
Pos. ex. covered: [[o1,[4]]]
Neg. ex. covered: [[o1,[9,10,11]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
low_business_activity(X2) =. true,
close_to(X2,X3) =. true.
PS_RULE: 204
Pos. ex. covered: [[o1,[4]]]
Neg. ex. covered: [[o1,[9,10,11]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
low_business_activity(X2) =. true,
close_to(X3,X2) =. true.
PS_RULE: 205
Pos. ex. covered: [[o1,[4]]]
Neg. ex. covered: [[o1,[9,10,11]]]
residential(X1) =. true :-
close_to(X2,X1) =. true,
low_business_activity(X2) =. true,
close_to(X1,X3) =. true.
PS_RULE: 206
Pos. ex. covered: [[o1,[4]]]
Neg. ex. covered: [[o1,[9,10,11]]]
residential(X1) =. true :-
close_to(X1,X2) =. true,
low_business_activity(X2) =. true,
close_to(X3,X1) =. true.
PS_RULE: 207
Pos. ex. covered: [[o1,[4]]]
Neg. ex. covered: [[o1,[9,10,11]]]
residential(X1) =. true :-
close_to(X1,X2) =. true,
low_business_activity(X2) =. true,
close_to(X2,X3) =. true.
PS_RULE: 208
Pos. ex. covered: [[o1,[4]]]
Neg. ex. covered: [[o1,[9,10,11]]]
residential(X1) =. true :-
close_to(X1,X2) =. true,
low_business_activity(X2) =. true,
close_to(X3,X2) =. true.
PS_RULE: 209
Pos. ex. covered: [[o1,[4]]]
Neg. ex. covered: [[o1,[11]]]
residential(X1) =. true :-
close_to(X1,X2) =. true,
low_business_activity(X2) =. true,
low_business_activity(X1) =. true.
PS_RULE: 210
Pos. ex. covered: [[o1,[4]]]
Neg. ex. covered: [[o1,[9,10,11]]]
residential(X1) =. true :-
close_to(X1,X2) =. true,
low_business_activity(X2) =. true,
close_to(X1,X3) =. true.
PS_RULE: 211
Pos. ex. covered: [[o1,[4]]]
Neg. ex. covered: [[o1,[11]]]
residential(X1) =. true :-
close_to(X1,X2) =. true,
low_business_activity(X1) =. true,
close_to(X2,X3) =. true.
PS_RULE: 212
Pos. ex. covered: [[o1,[4]]]
Neg. ex. covered: [[o1,[11]]]
residential(X1) =. true :-
close_to(X1,X2) =. true,
low_business_activity(X1) =. true,
close_to(X3,X2) =. true.
PS_RULE: 213
Pos. ex. covered: [[o1,[4]]]
Neg. ex. covered: [[o1,[11]]]
residential(X1) =. true :-
close_to(X1,X2) =. true,
low_business_activity(X1) =. true,
close_to(X1,X3) =. true.
PS_RULE: 214
Pos. ex. covered: [[o1,[4]]]
Neg. ex. covered: [[o1,[11]]]
residential(X1) =. true :-
close_to(X1,X2) =. true,
low_business_activity(X1) =. true,
high_business_activity(X2) =. true.
PS_RULE: 215
Pos. ex. covered: [[o1,[4]]]
Neg. ex. covered: [[o1,[11]]]
residential(X1) =. true :-
close_to(X1,X2) =. true,
low_business_activity(X1) =. true,
adjacent(X2,X3) =. true.
PS_RULE: 216
Pos. ex. covered: [[o1,[4]]]
Neg. ex. covered: [[o1,[9,11,12]]]
residential(X1) =. true :-
close_to(X1,X2) =. true,
high_business_activity(X2) =. true,
close_to(X1,X3) =. true.
PS_RULE: 217
Pos. ex. covered: [[o1,[4]]]
Neg. ex. covered: [[o1,[9,11,12]]]
residential(X1) =. true :-
close_to(X1,X2) =. true,
high_business_activity(X2) =. true,
close_to(X3,X2) =. true.
PS_RULE: 218
Pos. ex. covered: [[o1,[4]]]
Neg. ex. covered: [[o1,[9,11,12]]]
residential(X1) =. true :-
close_to(X1,X2) =. true,
high_business_activity(X2) =. true,
close_to(X2,X3) =. true.
PS_RULE: 219
Pos. ex. covered: [[o1,[4]]]
Neg. ex. covered: [[o1,[9,11,12]]]
residential(X1) =. true :-
close_to(X1,X2) =. true,
high_business_activity(X2) =. true,
close_to(X3,X1) =. true.
PS_RULE: 220
Pos. ex. covered: [[o1,[4]]]
Neg. ex. covered: [[o1,[11,12]]]
residential(X1) =. true :-
close_to(X1,X2) =. true,
high_business_activity(X2) =. true,
adjacent(X2,X3) =. true.
RULE CONSISTENT AND RANGE-RESTRICTED: 179
residential(X1) =. true :-
close_to(X2,X1) =. true,
low_business_activity(X1) =. true,
residential(X2) =. true.
select_ps_rule
NEGATIVES COVERED: cov(No. examples covered, No. clause)
cov(0,179) cov(1,172) cov(1,173) cov(1,174) cov(1,175) cov(1,176) cov(1,177)
cov(1,178) cov(1,180) cov(1,195) cov(1,196) cov(1,197) cov(1,198) cov(1,199)
cov(1,200) cov(1,209) cov(1,211) cov(1,212) cov(1,213) cov(1,214) cov(1,215)
cov(2,186) cov(2,187) cov(2,188) cov(2,189) cov(2,190) cov(2,191) cov(2,192)
cov(2,193) cov(2,194) cov(2,220) cov(3,181) cov(3,182) cov(3,183) cov(3,184)
cov(3,185) cov(3,201) cov(3,202) cov(3,203) cov(3,204) cov(3,205) cov(3,206)
cov(3,207) cov(3,208) cov(3,210) cov(3,216) cov(3,217) cov(3,218) cov(3,219)
BEST NEGATIVES COVERED: cov(No. examples covered, No. clause)
cov(0,179) cov(1,172) cov(1,173) cov(1,174) cov(1,175) cov(1,176) cov(1,177)
cov(1,178) cov(1,180) cov(1,195) cov(1,196) cov(1,197) cov(1,198) cov(1,199)
cov(1,200) cov(1,209) cov(1,211) cov(1,212) cov(1,213) cov(1,214) cov(1,215)
POSITIVES COVERED: cov(No. examples covered, No. clause)
cov(1,172) cov(1,173) cov(1,174) cov(1,175) cov(1,176) cov(1,177) cov(1,178)
cov(1,179) cov(1,180) cov(1,195) cov(1,196) cov(1,197) cov(1,198) cov(1,199)
cov(1,200) cov(1,209) cov(1,211) cov(1,212) cov(1,213) cov(1,214) cov(1,215)
BEST POSITIVES COVERED: cov(No. examples covered, No. clause)
cov(1,172) cov(1,173) cov(1,174) cov(1,175) cov(1,176) cov(1,177) cov(1,178)
cov(1,179) cov(1,180) cov(1,195) cov(1,196) cov(1,197) cov(1,198) cov(1,199)
cov(1,200) cov(1,209) cov(1,211) cov(1,212) cov(1,213) cov(1,214) cov(1,215)
COST OF NUMERATION: cost(Cost, No. Clause)
cost(2,179) cost(2,195) cost(2,196) cost(2,197) cost(2,198) cost(2,199)
cost(2,200)
cost(3,172) cost(3,173) cost(3,174) cost(3,175) cost(3,176) cost(3,177)
cost(3,178)
cost(3,180) cost(3,209) cost(3,211) cost(3,212) cost(3,213) cost(3,214)
cost(3,215)
BEST COST OF NUMERATION: cost(Cost, No. Clause)
cost(2,179) cost(2,195) cost(2,196) cost(2,197) cost(2,198) cost(2,199)
cost(2,200)
cost(3,172) cost(3,173) cost(3,174) cost(3,175) cost(3,176) cost(3,177)
cost(3,178)
cost(3,180) cost(3,209) cost(3,211) cost(3,212) cost(3,213) cost(3,214)
cost(3,215)
In find_best
POSITIVES COVERED: cov(No. examples covered, No. clause)
poscov(1,179)
BEST POSITIVES COVERED: cov(No. examples covered, No. clause)
poscov(1,179)
find_best/1 took 0.000 sec.
**********************************************
CLAUSE 3 ADDED TO THE LOGIC THEORY
residential(X1) =. true :-
close_to(X2,X1) =. true,
low_business_activity(X1) =. true,
residential(X2) =. true.
**********************************************
example(4,o1,residential(zone4) =. true,[pos])
The learned theory covers 4/4 examples of concepts to be learned.
The Concept residential(_2984894) =. true is learned
End of the learning process the 3/3/2003(15:41:21)
The learning process took 0.77 s.