Abstract
This paper extends a mereotopological theory of spatiotemporal reasoning to vague ”egg-yolk” regions. In this extension, the egg and its yolk are allowed to move and change over time. We present a classification of motion classes for vague regions as well as composition tables for reasoning about moving vague regions. We also discuss the formation of scrambled eggs when it becomes impossible to distinguish the yolk from the white and examine how to incorporate temporally and spatially dispersed observations to recover the yolk and white from a scrambled egg. Egg splitting may occur as a result of the recovery process when available information supports multiple egg recovery alternatives. Egg splitting adds another dimension of uncertainty to reasoning with vague regions.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Allen, J.: Maintaining knowledge about temporal intervals. Communications of the ACM 26, 832–843 (1983)
Asher, N., Vieu, L.: Towards a geometry of commonsense: A semantics and a complete axiomatisation of mereotopology. In: Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, IJCAI 1995 (1995)
Clarke, B.: A calculus of individuals based on ’connection’. Notre Dame Journal of Formal Logic 22, 204–218 (1981)
Cohn, N., Gotts, N.: A theory of spatial regions with indeterminate boundaries. In: Eschenbach, C., Habel, C., Smith, B. (eds.) Topological Foundations of Cognitive Science (1994)
Cohn, N., Gotts, N.: The ’Egg-Yolk’ representation of regions with indeterminate boundaries. In: Burough, P., Frank, A. (eds.) Geographical Objects with Indeterminate Boundaries, GISDATA, vol. 2, pp. 171–187 (1996)
Guesgen, H.: From the Egg-Yolk to the scrambled-egg theory. In: Proceedings of the Fifteenth Internatinal Florida Artificial Intelligence Research Symbosium, FLAIRS 2002 (2002)
Guesgen, H.: When regions start to move. In: Proceedings of the Sixteenth Internatinal Florida Artificial Intelligence Research Symbosium (FLAIRS 2003) (2003)
Hazarika, S., Cohn, A.: Qualitative spatiotemporal continuity. In: Conference on Spatial Information Theory (COSIT), pp. 92–107 (2001)
Hornsby, K., Egenhofer, M.: Identity-based change: A foundation for knowledge representation. International Journal of Geographical Information Science 14, 207–224 (2000)
Lehmann, F., Cohn, A.: The EGG/YOLK reliability hierarchy: semantic data integration using sorts with prototypes. In: Proceedings of Conference on Information Knowledge Management (1994)
Muller, P.: A qualitative theory of motion based on spatiotemporal primitives. Principles of Knowledge Representation and Reasoning (1998)
Muller, P.: Space-Time as a primitive for space and motion. In: Proceedings of FOIS, Frontiers in Artificial Intelligence Applications (1998)
Muller, P.: Topological spatiotemporal reasoning and representation. Computational Intelligence 18(3), 420–450 (2002)
Rajagopalan, R., Kuipers, B.: Qualitative spatial reasoning about objects in motion. In: Proceedings of the IEEE Conference on Artificial Intelligence for Applications, vol. 46 (1994)
Randell, D., Cui, Z., Cohn, A.: A spatial logic based on regions and connection. In: Proceedings of Knowledge Representation and Reasoning, KR & R, vol. 92, pp. 165–176 (1992)
Tawfik, A., Peng, A., Tabib, S., Abdulhai, B.: Learning spatiotemporal context for vehicle reidentification. Proceedings of the 2nd IEEE International Symposium on Signal Processing and Information Technology (2002)
Wolter, F., Zakharyaschev, M.: Spatiotemporal representation and reasoning based on RCC-8. In: Proceedings of the 17th Conf. on Principles of Knowledge Representation and Reasoning, KR 2000, pp. 3–14 (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ibrahim, Z.M., Tawfik, A.Y. (2004). Spatio-temporal Reasoning for Vague Regions. In: Tawfik, A.Y., Goodwin, S.D. (eds) Advances in Artificial Intelligence. Canadian AI 2004. Lecture Notes in Computer Science(), vol 3060. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24840-8_22
Download citation
DOI: https://doi.org/10.1007/978-3-540-24840-8_22
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22004-6
Online ISBN: 978-3-540-24840-8
eBook Packages: Springer Book Archive