3
4:- declare_concept( train ),
5 declare_concept( car ),
6 declare_concept( closed_car ),
7 declare_concept( open_car ),
8 declare_concept( triangle_load ),
9 declare_concept( square_load ). 10
11
12:- add_to_concept( train, [ (t1,0.88), (t2,0.9), (t3,0.8), (t4,1.0), (t5, 0.95) ] ). 13:- add_to_concept( car, [ (c11, 0.95), (c12, 0.95), (c13, 0.95), (c14, 0.95), (c21, 0.95), (c22, 0.95), (c23, 0.95), (c31, 0.95), (c32, 0.95), (c51, 0.95), (c41, 0.95), (c42, 0.95), (c52, 0.95)] ). 14:- add_to_concept( closed_car, [ (c11, 0.7), (c12, 0.9), (c14, 0.94), (c21, 0.95), (c22, 0.95), (c31, 0.9), (c32, 0.95), (c51, 0.94) ] ). 15:- add_to_concept( open_car, [ (c13, 0.95), (c23, 0.9), (c41, 0.95), (c42, 0.88), (c52, 0.91) ] ). 16:- add_to_concept( triangle_load, [ (l121,0.87), (l131,0.9), (l141, 0.8), (l211, 0.5), (l411, 0.79), (l511,0.87), (l521,0.87) ] ). 17:- add_to_concept( square_load, [ (l111,0.87), (l142,0.87), (l221,0.9), (l211, 0.5), (l231,0.87), (l311,0.87), (l321,0.87), (l421,0.87), (l422,0.87), (l522,0.87) ] ). 18
19
20:- declare_relation( has_car, train, car),
21 declare_relation( has_load, car, thing). 22
23:- add_to_relation( has_car, t1, [(c11,0.9), (c12,0.9), (c13,0.9), (c14,0.9) ]),
24 add_to_relation( has_load, c11, [(l111, 0.88)] ),
25 add_to_relation( has_load, c12, [(l121, 0.88)] ),
26 add_to_relation( has_load, c13, [(l131, 0.88)] ),
27 add_to_relation( has_load, c14, [(l141, 0.88), (l142, 0.9)] ). 28
29:- add_to_relation( has_car, t2, [(c21,0.8), (c22,1.0), (c23,1.0) ] ),
30 add_to_relation( has_load, c21, [(l211, 0.5)] ),
31 add_to_relation( has_load, c22, [(l221, 1.0)] ),
32 add_to_relation( has_load, c23, [(l231, 0.88)] ). 33
34:- add_to_relation( has_car, t3, [(c31,0.9), (c32, 0.9)] ),
35 add_to_relation( has_load, c31, [(l311, 0.88)] ),
36 add_to_relation( has_load, c32, [(l321, 0.88)] ). 37
38:- add_to_relation( has_car, t4, [(c41,0.9),(c42,0.88)] ),
39 add_to_relation( has_load, c41, [(l411,1.0)] ),
40 add_to_relation( has_load, c42, [(l421,1.0),(l422,1.0)] ). 41
42:- add_to_relation( has_car, t5, [(c51,0.9),(c52,0.88)] ),
43 add_to_relation( has_load, c51, [(l511,1.0)] ),
44 add_to_relation( has_load, c52, [(l521,1.0),(l522,1.0)] ).