← Back to branch summary

~seh999/jcog/proto3

« back to all changes in this revision

Viewing changes to mind/cog.nars/examples/Example-NAL7-complete.txt

  • Committer: SeH
  • Date: 2009-10-02 22:01:19 UTC
  • Revision ID: seh999@gmail.com-20091002220119-1mfzwvxwh6q4jmxy
changes in various parts

Show diffs side-by-side

added added

removed removed

Lines of Context:
mind/cog.nars/examples/Example-NAL7-complete.txt
 
1
********** temporal deduction/explification
 
2
  IN: <<(*,#1,room_101) --> enter> =\> <(*,#1,door_101) --> open>>. %0.90;0.90% {1: 1} 
 
3
 
 
4
  IN: <<(*,#1,door_101) --> open> =\> <(*,#1,key_101) --> hold>>. %0.80;0.90% {1: 2} 
 
5
 
 
6
3
 
7
 
 
8
 OUT: <<room_101 --> (/,enter,#1,_)> =\> <(*,#1,door_101) --> open>>. %0.90;0.90% {1: 1} 
 
9
 
 
10
2
 
11
 
 
12
 OUT: <<(*,#1,door_101) --> open> =\> <key_101 --> (/,hold,#1,_)>>. %0.80;0.90% {1: 2} 
 
13
 
 
14
2
 
15
 
 
16
 OUT: <<(*,#1,room_101) --> enter> =\> <door_101 --> (/,open,#1,_)>>. %0.90;0.90% {1: 1} 
 
17
 
 
18
3
 
19
 
 
20
 OUT: <<door_101 --> (/,open,#1,_)> =\> <(*,#1,key_101) --> hold>>. %0.80;0.90% {1: 2} 
 
21
 
 
22
3
 
23
 
 
24
 OUT: <<room_101 --> (/,enter,#1,_)> =\> <(*,#1,key_101) --> hold>>. %0.72;0.58% {2: 1;2} 
 
25
 
 
26
 OUT: <<(*,#1,key_101) --> hold> =/> <room_101 --> (/,enter,#1,_)>>. %1.00;0.36% {2: 1;2} 
 
27
 
 
28
1
 
29
 
 
30
 OUT: <<(*,#1,room_101) --> enter> =\> <(*,#1,key_101) --> hold>>. %0.72;0.58% {2: 1;2} 
 
31
 
 
32
 OUT: <<(*,#1,key_101) --> hold> =/> <(*,#1,room_101) --> enter>>. %1.00;0.36% {2: 1;2} 
 
33
 
 
34
********** temporal induction
 
35
  IN: <<(*,#1,door_101) --> open> =/> <(*,#1,room_101) --> enter>>. %0.90;0.90% {1: 1} 
 
36
 
 
37
  IN: <<(*,#1,door_101) --> open> =\> <(*,#1,key_101) --> hold>>. %0.80;0.90% {1: 2} 
 
38
 
 
39
3
 
40
 
 
41
 OUT: <<(*,#1,door_101) --> open> =/> <room_101 --> (/,enter,#1,_)>>. %0.90;0.90% {1: 1} 
 
42
 
 
43
2
 
44
 
 
45
 OUT: <<(*,#1,door_101) --> open> =\> <key_101 --> (/,hold,#1,_)>>. %0.80;0.90% {1: 2} 
 
46
 
 
47
2
 
48
 
 
49
 OUT: <<door_101 --> (/,open,#1,_)> =/> <(*,#1,room_101) --> enter>>. %0.90;0.90% {1: 1} 
 
50
 
 
51
3
 
52
 
 
53
 OUT: <<door_101 --> (/,open,#1,_)> =\> <(*,#1,key_101) --> hold>>. %0.80;0.90% {1: 2} 
 
54
 
 
55
3
 
56
 
 
57
 OUT: <<(*,#1,key_101) --> hold> =\> <room_101 --> (/,enter,#1,_)>>. %0.90;0.39% {2: 1;2} 
 
58
 
 
59
 OUT: <<room_101 --> (/,enter,#1,_)> =/> <(*,#1,key_101) --> hold>>. %0.80;0.42% {2: 1;2} 
 
60
 
 
61
 OUT: <<room_101 --> (/,enter,#1,_)> </> <(*,#1,key_101) --> hold>>. %0.73;0.44% {2: 1;2} 
 
62
 
 
63
1
 
64
 
 
65
 OUT: <<(*,#1,key_101) --> hold> =\> <(*,#1,room_101) --> enter>>. %0.90;0.39% {2: 1;2} 
 
66
 
 
67
 OUT: <<(*,#1,room_101) --> enter> =/> <(*,#1,key_101) --> hold>>. %0.80;0.42% {2: 1;2} 
 
68
 
 
69
 OUT: <<(*,#1,room_101) --> enter> </> <(*,#1,key_101) --> hold>>. %0.73;0.44% {2: 1;2} 
 
70
 
 
71
********** temporal analogy
 
72
  IN: <<(*,#1,door_101) --> open> =/> <(*,#1,room_101) --> enter>>. %0.95;0.90% {1: 1} 
 
73
 
 
74
  IN: <<(*,#1,corridor_100) --> leave> <=> <(*,#1,room_101) --> enter>>. %1.00;0.90% {1: 2} 
 
75
 
 
76
3
 
77
 
 
78
 OUT: <<door_101 --> (/,open,#1,_)> =/> <(*,#1,room_101) --> enter>>. %0.95;0.90% {1: 1} 
 
79
 
 
80
2
 
81
 
 
82
 OUT: <<(*,#1,room_101) --> enter> <=> <corridor_100 --> (/,leave,#1,_)>>. %1.00;0.90% {1: 2} 
 
83
 
 
84
2
 
85
 
 
86
 OUT: <<(*,#1,door_101) --> open> =/> <room_101 --> (/,enter,#1,_)>>. %0.95;0.90% {1: 1} 
 
87
 
 
88
3
 
89
 
 
90
 OUT: <<(*,#1,corridor_100) --> leave> <=> <room_101 --> (/,enter,#1,_)>>. %1.00;0.90% {1: 2} 
 
91
 
 
92
2
 
93
 
 
94
 OUT: <<door_101 --> (/,open,#1,_)> =/> <(*,#1,corridor_100) --> leave>>. %0.95;0.72% {2: 1;2} 
 
95
 
 
96
1
 
97
 
 
98
 OUT: <<(*,#1,door_101) --> open> =/> <(*,#1,corridor_100) --> leave>>. %0.95;0.72% {2: 1;2} 
 
99
 
 
100
********** inference on tense
 
101
  IN: <<(*,#1,key_101) --> hold> =/> <(*,#1,room_101) --> enter>>. %1.00;0.90% {1: 1} 
 
102
 
 
103
  IN: <(*,John,key_101) --> hold>. :/: %1.00;0.90% {1: 2} 
 
104
 
 
105
2
 
106
 
 
107
 OUT: <<(*,#1,key_101) --> hold> =/> <room_101 --> (/,enter,#1,_)>>. %1.00;0.90% {1: 1} 
 
108
 
 
109
2
 
110
 
 
111
 OUT: <John --> (/,hold,_,key_101)>. :/: %1.00;0.90% {1: 2} 
 
112
 
 
113
2
 
114
 
 
115
 OUT: <<key_101 --> (/,hold,#1,_)> =/> <(*,#1,room_101) --> enter>>. %1.00;0.90% {1: 1} 
 
116
 
 
117
1
 
118
 
 
119
 OUT: <room_101 --> (/,enter,John,_)>. :/: %1.00;0.81% {2: 1;2} 
 
120
 
 
121
4
 
122
 
 
123
 OUT: <key_101 --> (/,hold,John,_)>. :/: %1.00;0.90% {1: 2} 
 
124
 
 
125
1
 
126
 
 
127
 OUT: <(*,John,room_101) --> enter>. :/: %1.00;0.81% {2: 1;2} 
 
128
 
 
129
********** inference on tense
 
130
  IN: <<(*,#1,key_101) --> hold> =/> <(*,#1,room_101) --> enter>>. %1.00;0.90% {1: 1} 
 
131
 
 
132
  IN: <(*,John,room_101) --> enter>. :|: %1.00;0.90% {1: 2} 
 
133
 
 
134
2
 
135
 
 
136
 OUT: <<key_101 --> (/,hold,#1,_)> =/> <(*,#1,room_101) --> enter>>. %1.00;0.90% {1: 1} 
 
137
 
 
138
2
 
139
 
 
140
 OUT: <John --> (/,enter,_,room_101)>. :|: %1.00;0.90% {1: 2} 
 
141
 
 
142
2
 
143
 
 
144
 OUT: <<(*,#1,key_101) --> hold> =/> <room_101 --> (/,enter,#1,_)>>. %1.00;0.90% {1: 1} 
 
145
 
 
146
1
 
147
 
 
148
 OUT: <key_101 --> (/,hold,John,_)>. :\: %1.00;0.44% {2: 1;2} 
 
149
 
 
150
********** inference on tense
 
151
  IN: <<(*,John,key_101) --> hold> =/> <(*,John,room_101) --> enter>>. %1.00;0.90% {1: 1} 
 
152
 
 
153
  IN: <(*,John,key_101) --> hold>. :|: %1.00;0.90% {1: 2} 
 
154
 
 
155
1
 
156
 
 
157
 OUT: <(*,John,room_101) --> enter>. :/: %1.00;0.81% {2: 1;2} 
 
158
 
 
159
********** inference on tense
 
160
  IN: <<(*,John,key_101) --> hold> =/> <(*,John,room_101) --> enter>>. %1.00;0.90% {1: 1} 
 
161
 
 
162
  IN: <(*,John,room_101) --> enter>. :\: %1.00;0.90% {1: 2} 
 
163
 
 
164
2
 
165
 
 
166
 OUT: <(*,John,key_101) --> hold>. :\: %1.00;0.44% {2: 2;1} 
 
167
 
 
168
********** induction on events
 
169
  IN: <(*,John,door_101) --> open>. :|: %1.00;0.90% {1: 1} 
 
170
 
 
171
1
 
172
 
 
173
 OUT: <John --> (/,open,_,door_101)>. :|: %1.00;0.90% {1: 1} 
 
174
 
 
175
  IN: <(*,John,room_101) --> enter>. :|: %1.00;0.90% {1: 2} 
 
176
 
 
177
1
 
178
 
 
179
 OUT: <<(*,John,room_101) --> enter> =\> <(*,John,door_101) --> open>>. :|: %1.00;0.44% {2: 1;2} 
 
180
 
 
181
 OUT: <<(*,John,door_101) --> open> =/> <(*,John,room_101) --> enter>>. :|: %1.00;0.44% {2: 1;2} 
 
182
 
 
183
 OUT: <<(*,John,door_101) --> open> </> <(*,John,room_101) --> enter>>. :|: %1.00;0.44% {2: 1;2} 
 
184
 
 
185
 OUT: <<John --> (/,open,_,door_101)> =/> <(*,John,room_101) --> enter>>. :|: %1.00;0.44% {2: 2;1} 
 
186
 
 
187
 OUT: <<(*,John,room_101) --> enter> =\> <John --> (/,open,_,door_101)>>. :|: %1.00;0.44% {2: 2;1} 
 
188
 
 
189
 OUT: <<John --> (/,open,_,door_101)> </> <(*,John,room_101) --> enter>>. :|: %1.00;0.44% {2: 2;1} 
 
190
 
 
191
 OUT: <door_101 --> (/,open,John,_)>. :|: %1.00;0.90% {1: 1} 
 
192
 
 
193
********** induction on events
 
194
  IN: <(*,John,door_101) --> open>. :|: %1.00;0.90% {1: 1} 
 
195
 
 
196
1
 
197
 
 
198
 OUT: <John --> (/,open,_,door_101)>. :|: %1.00;0.90% {1: 1} 
 
199
 
 
200
  IN: <(*,John,room_101) --> enter>. :|: %0.00;0.90% {1: 2} 
 
201
 
 
202
1
 
203
 
 
204
 OUT: <<(*,John,door_101) --> open> =/> <(*,John,room_101) --> enter>>. :|: %0.00;0.44% {2: 1;2} 
 
205
 
 
206
 OUT: <<(*,John,door_101) --> open> </> <(*,John,room_101) --> enter>>. :|: %0.00;0.44% {2: 1;2} 
 
207
 
 
208
 OUT: <<John --> (/,open,_,door_101)> =/> <(*,John,room_101) --> enter>>. :|: %0.00;0.44% {2: 2;1} 
 
209
 
 
210
 OUT: <<John --> (/,open,_,door_101)> </> <(*,John,room_101) --> enter>>. :|: %0.00;0.44% {2: 2;1} 
 
211
 
 
212
 OUT: <door_101 --> (/,open,John,_)>. :|: %1.00;0.90% {1: 1} 
 
213
 
 
214
********** induction on events
 
215
  IN: <John --> (/,open,_,door_101)>. :|: %1.00;0.90% {1: 1} 
 
216
 
 
217
1
 
218
 
 
219
  IN: <John --> (/,enter,_,room_101)>. :|: %1.00;0.90% {1: 2} 
 
220
 
 
221
1
 
222
 
 
223
 OUT: <<#1 --> (/,enter,_,room_101)> =\> <#1 --> (/,open,_,door_101)>>. :|: %1.00;0.44% {2: 1;2} 
 
224
 
 
225
 OUT: <<#1 --> (/,open,_,door_101)> =/> <#1 --> (/,enter,_,room_101)>>. :|: %1.00;0.44% {2: 1;2} 
 
226
 
 
227
 OUT: <<#1 --> (/,open,_,door_101)> </> <#1 --> (/,enter,_,room_101)>>. :|: %1.00;0.44% {2: 1;2} 
 
228
 
 
229
 OUT: <(*,John,door_101) --> open>. :|: %1.00;0.90% {1: 1} 
 
230
 
 
231
********** induction on events
 
232
  IN: <(*,John,key_101) --> hold>. :|: %1.00;0.90% {1: 1} 
 
233
 
 
234
1
 
235
 
 
236
 OUT: <John --> (/,hold,_,key_101)>. :|: %1.00;0.90% {1: 1} 
 
237
 
 
238
  IN: <<(*,John,door_101) --> open> =/> <(*,John,room_101) --> enter>>. :|: %1.00;0.90% {1: 2} 
 
239
 
 
240
1
 
241
 
 
242
 OUT: <(&/,<(*,John,key_101) --> hold>,<(*,John,door_101) --> open>) =/> <(*,John,room_101) --> enter>>. :|: %1.00;0.44% {2: 1;2} 
 
243
 
 
244
 OUT: <(&/,<John --> (/,hold,_,key_101)>,<(*,John,door_101) --> open>) =/> <(*,John,room_101) --> enter>>. :|: %1.00;0.44% {2: 2;1} 
 
245
 
 
246
 OUT: <key_101 --> (/,hold,John,_)>. :|: %1.00;0.90% {1: 1} 
 
247