Wikipedia preview

出典(authority):フリー百科事典『ウィキペディア（Wikipedia）』「2014/05/15 06:52:16」(JST)

wiki en

Spatial–temporal reasoning is a field of study in computer science. An emphasis has been on qualitative 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 constraint 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 decidable fragments with simple qualitative (non-metric) 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 GIS queries efficiently and some may be used for navigating, and communicating with, a mobile robot.

Examples of temporal calculi include Allen's interval algebra, and Vilain's & Kautz's point algebra. The most prominent spatial calculi are mereotopological calculi, Frank's cardinal direction calculus, Freksa's double cross calculus, Egenhofer and Franzosa's 4- and 9-intersection calculi, Ligozat's flip-flop calculus, various region connection calculi (RCC), and the Oriented Point Relation Algebra. Recently, spatio-temporal calculi have been designed that combine spatial and temporal information. For example, the spatiotemporal constraint calculus (STCC) by Gerevini and Nebel combines Allen's interval algebra with RCC-8. Moreover, the qualitative trajectory calculus (QTC) allows for reasoning about moving objects.

Most of these calculi can be formalized as abstract relation algebras, such that reasoning can be carried out at a symbolic level. For computing solutions of a constraint network, the path-consistency algorithm is an important tool.

Notes

References

J. Renz, B. Nebel, Qualitative Spatial Reasoning using Constraint Calculi, in: M. Aiello, I. Pratt-Hartmann, J. van Benthem (eds.): Handbook of Spatial Logics, Springer 2007.
M. Vilain, H. Kautz, P. van Beek, Constraint propagation algorithms for temporal reasoning: A Revised Report, 1987.

UpToDate Contents

全文を閲覧するには購読必要です。 To read the full text you will need to subscribe.

1. 成人における精神状態検査 the mental status examination in adults
2. レビー小体型認知症の臨床的特徴および診断 clinical features and diagnosis of dementia with lewy bodies
3. ウイリアムズ症候群：腎症状 williams beuren syndrome renal manifestations
4. 成人における虚血性脳卒中の予後 ischemic stroke prognosis in adults
5. 頸動脈硬化の症状の病態生理 pathophysiology of symptoms from carotid atherosclerosis

English Journal

Grasping remaps the distribution of visuospatial attention and enhances competing action activation.

Colman H1, Remington R1, Kritikos A1.
Quarterly journal of experimental psychology (2006).Q J Exp Psychol (Hove).2017 Sep;70(9):1892-1908. doi: 10.1080/17470218.2016.1214974. Epub 2016 Aug 6.
PMID 27434754

Visuospatial and verbal memory in mental arithmetic.

Clearman J1, Klinger V1, Szűcs D1.
Quarterly journal of experimental psychology (2006).Q J Exp Psychol (Hove).2017 Sep;70(9):1837-1855. doi: 10.1080/17470218.2016.1209534. Epub 2016 Aug 1.
PMID 27379460

Sex differences in HIV effects on visual memory among substance-dependent individuals.

Keutmann MK1, Gonzalez R2, Maki PM1, Rubin LH1, Vassileva J3, Martin EM4.
Journal of clinical and experimental neuropsychology.J Clin Exp Neuropsychol.2017 Aug;39(6):574-586. doi: 10.1080/13803395.2016.1250869. Epub 2016 Nov 13.
PMID 27841082