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