113:
systematically explained within the theory of cognitive prism as follows: (1) the connection relation is primitive; (2) an orientation relation is a distance comparison relation: you being in front of me can be interpreted as you are nearer to my front side than my other sides; (3) a distance relation is a connection relation using a third object: you being one meter away from me can be interpreted as a one meter long object connected with you and me simultaneously.
186:) languages. Contrary to mathematical or physical theories about space and time, qualitative constraint calculi allow for rather inexpensive reasoning about entities located in space and time. For this reason, the limited expressiveness of qualitative representation formalism calculi is a benefit if such reasoning tasks need to be integrated in applications. For example, some of these calculi may be implemented for handling spatial
453:
32:
112:
A convergent result in cognitive psychology is that the connection relation is the first spatial relation that human babies acquire, followed by understanding orientation relations and distance relations. Internal relations among the three kinds of spatial relations can be computationally and
173:
spatial-temporal reasoning which is based on qualitative abstractions of temporal and spatial aspects of the common-sense background knowledge on which our human perspective of physical reality is based. Methodologically, qualitative
232:
is a Python framework for qualitative reasoning over networks of relation algebras, such as RCC-8, Allen's interval algebra, and Allen's algebra integrated with Time Points and situated in either Left- or Right-Branching
100:. The theoretic goal—on the cognitive side—involves representing and reasoning spatial-temporal knowledge in mind. The applied goal—on the computing side—involves developing high-level control systems of automata for
154:
158:
138:
178:
calculi restrict the vocabulary of rich mathematical theories dealing with temporal or spatial entities such that specific aspects of these theories can be treated within
153:(RCC), and the Oriented Point Relation Algebra. Recently, spatio-temporal calculi have been designed that combine spatial and temporal information. For example, the
142:
121:
Without addressing internal relations among spatial relations, AI researchers contributed many fragmentary representations. Examples of temporal calculi include
207:
146:
50:
457:
126:
287:
226:, constraint network solver for calculi like RCC-5, RCC-8, Allen's interval algebra, point algebra, cardinal direction calculus, etc.
223:
19:
This article is about spatial–temporal reasoning in information technology. For spatial–temporal reasoning in psychology, see
211:
478:
435:
394:
300:
68:
483:
187:
20:
46:
122:
503:
473:
150:
416:
336:
488:
508:
306:
175:
85:
253:
498:
248:
170:
430:. Studies in Computational Intelligence. Vol. 388. Springer-Verlag, Berlin Heidelberg.
206:, such that reasoning can be carried out at a symbolic level. For computing solutions of a
183:
179:
97:
190:
queries efficiently and some may be used for navigating, and communicating with, a mobile
8:
157:(STCC) by Gerevini and Nebel combines Allen's interval algebra with RCC-8. Moreover, the
493:
404:
383:
369:
361:
324:
101:
431:
390:
296:
93:
286:
Renz, J.; Nebel, B. (2007). Aiello, M.; Pratt-Hartmann, I.; van
Benthem, J. (eds.).
373:
353:
203:
89:
425:
268:
258:
243:
134:
263:
357:
467:
130:
385:
Constraint propagation algorithms for temporal reasoning: A Revised Report
365:
229:
116:
427:
Recognizing
Variable Environment -- The Theory of Cognitive Prism
452:
191:
141:, Freksa's double cross calculus, Egenhofer and Franzosa's
344:
Dong, T. (2008). "A Comment on RCC: From RCC to RCC⁺⁺".
289:
Qualitative
Spatial Reasoning using Constraint Calculi
107:
202:
Most of these calculi can be formalized as abstract
380:
41:
may be too technical for most readers to understand
382:
161:(QTC) allows for reasoning about moving objects..
465:
117:Fragmentary representations of temporal calculi
381:Vilain, M.; Kautz, H.; van Beek, P. (1987).
164:
169:An emphasis in the literature has been on
285:
129:. The most prominent spatial calculi are
69:Learn how and when to remove this message
53:, without removing the technical details.
182:fragments with simple qualitative (non-
466:
51:make it understandable to non-experts
423:
343:
25:
197:
108:Influence from cognitive psychology
13:
155:spatiotemporal constraint calculus
104:and understanding time and space.
14:
520:
445:
451:
30:
159:qualitative trajectory calculus
16:Area of artificial intelligence
389:. Morgan Kaufmann Publishers.
346:Journal of Philosophical Logic
88:that draws from the fields of
1:
279:
143:4- and 9-intersection calculi
125:, and Vilain's & Kautz's
21:Spatial visualization ability
7:
237:
217:
139:cardinal direction calculus
10:
525:
458:Spatial–temporal reasoning
212:path-consistency algorithm
82:Spatial–temporal reasoning
18:
358:10.1007/s10992-007-9074-y
151:region connection calculi
479:Knowledge representation
274:
165:Quantitative abstraction
131:mereotopological calculi
123:Allen's interval algebra
86:artificial intelligence
484:Educational psychology
254:Diagrammatic reasoning
214:is an important tool.
249:Commonsense reasoning
460:at Wikimedia Commons
98:cognitive psychology
208:constraint network
147:flip-flop calculus
504:Spatial cognition
474:Cognitive science
456:Media related to
424:Dong, T. (2012).
204:relation algebras
94:cognitive science
79:
78:
71:
516:
455:
441:
420:
414:
410:
408:
400:
388:
377:
340:
334:
330:
328:
320:
318:
317:
311:
305:. Archived from
294:
198:Relation algebra
90:computer science
74:
67:
63:
60:
54:
34:
33:
26:
524:
523:
519:
518:
517:
515:
514:
513:
489:Logical calculi
464:
463:
448:
438:
412:
411:
402:
401:
397:
332:
331:
322:
321:
315:
313:
309:
303:
292:
282:
277:
269:Visual thinking
259:Spatial ability
244:Cerebral cortex
240:
220:
200:
167:
119:
110:
75:
64:
58:
55:
47:help improve it
44:
35:
31:
24:
17:
12:
11:
5:
522:
512:
511:
509:Space and time
506:
501:
496:
491:
486:
481:
476:
462:
461:
447:
446:External links
444:
443:
442:
436:
421:
395:
378:
352:(2): 319–352.
341:
301:
281:
278:
276:
273:
272:
271:
266:
264:Temporal logic
261:
256:
251:
246:
239:
236:
235:
234:
227:
219:
216:
199:
196:
166:
163:
118:
115:
109:
106:
84:is an area of
77:
76:
38:
36:
29:
15:
9:
6:
4:
3:
2:
521:
510:
507:
505:
502:
500:
497:
495:
492:
490:
487:
485:
482:
480:
477:
475:
472:
471:
469:
459:
454:
450:
449:
439:
437:9783642240577
433:
429:
428:
422:
418:
406:
398:
396:1-55860-095-7
392:
387:
386:
379:
375:
371:
367:
363:
359:
355:
351:
347:
342:
338:
326:
312:on 2007-06-27
308:
304:
302:9781402055867
298:
291:
290:
284:
283:
270:
267:
265:
262:
260:
257:
255:
252:
250:
247:
245:
242:
241:
231:
228:
225:
222:
221:
215:
213:
209:
205:
195:
193:
189:
185:
181:
177:
172:
162:
160:
156:
152:
148:
144:
140:
136:
132:
128:
127:point algebra
124:
114:
105:
103:
99:
95:
91:
87:
83:
73:
70:
62:
52:
48:
42:
39:This article
37:
28:
27:
22:
499:Time in life
426:
384:
349:
345:
314:. Retrieved
307:the original
295:. Springer.
288:
201:
168:
145:, Ligozat's
120:
111:
81:
80:
65:
59:October 2012
56:
40:
413:|work=
333:|work=
171:qualitative
468:Categories
316:2007-03-01
280:References
176:constraint
149:, various
102:navigating
494:Reasoning
415:ignored (
405:cite book
335:ignored (
325:cite book
180:decidable
366:41217909
238:See also
230:qualreas
218:Software
374:6243376
45:Please
434:
393:
372:
364:
299:
210:, the
184:metric
96:, and
370:S2CID
362:JSTOR
310:(PDF)
293:(PDF)
275:Notes
233:Time.
192:robot
135:Frank
432:ISBN
417:help
391:ISBN
337:help
297:ISBN
354:doi
224:GQR
188:GIS
137:'s
49:to
470::
409::
407:}}
403:{{
368:.
360:.
350:34
348:.
329::
327:}}
323:{{
194:.
133:,
92:,
440:.
419:)
399:.
376:.
356::
339:)
319:.
72:)
66:(
61:)
57:(
43:.
23:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.