Spatial Reasoning

Type of study	Follow-up Master
Language of instruction	English
Code	548-0118/02
Abbreviation	SR
Course title	Spatial Reasoning
Credits	4
Coordinating department	Department of Geoinformatics
Course coordinator	doc. Ing. Petr Rapant, CSc.

Osnova předmětu

1) Overview of spatial reasoning. Logic and deduction. Reasoning
2) Syntax and semantics. Qualitative reasoning
3) Qualitative representation
4) QSR - qualitative spatial reasoning
5) Tools of qualitative spatial reasoning
6) RCC - region connection calculus
7) 4-intersection model. 9-intersection model.
8) Dimensionally extended 9-intersection model
9) Vagueness, uncertainty, granularity and indistinguishability
10) Example of spatial reasoning. Formal notation

Note: The course is taught in the last semester with 10 weeks of teaching.

Povinná literatura

Shen, J., Zhou, T., & Chen, M.: A 27-Intersection Model for Representing Detailed Topological Relations between Spatial Objects in Two-Dimensional Space. ISPRS International Journal of Geo-Information, 2017, 6(2). https://doi.org/10.3390/ijgi6020037
Duží, M.: Mathematical Logic. Lesons. VŠB-TU Ostrava, 2012. http://www.cs.vsb.cz/duzi/MatLog-English.html
Fadlysiah, M.: Qualitative Reasoning: An Introduction. Univerity of Oslo, 2009. 41 str. http://www.uio.no/studier/emner/matnat/ifi/INF5160/v09/undervisningsmateriale/qualitative_reasoning_intro.pdf
Ligozat, G.: Qualitative Spatial and Temporal Reasoning. John Wiley, 2013. 505 s. https://doi.org/10.1002/9781118601457

Doporučená literatura

Chaudhri, V. K.: CS 227: Knowledge Representation and Reasoning. Stanford University, 2011. http://web.stanford.edu/class/cs227/
Hazarika, S,. M. (ed.): Qualitative Spatio-Temporal Representation and Reasoning: Trends and Future Directions. IGI Global; 1st edition (May 31, 2012). 381 s.
Kordjamshidi, P., Pustejovsky, J., Moens, M-F.: EMNLP-2020 Tutorial - Representation, Learning and Reasoning on Spatial Language for Downstream NLP Tasks. https://spatial-language-tutorial.github.io/
Izadi, A., Stock. K. M., Guesgen, H. W.: Multidimensional Region Connection Calculus. 30th International Workshop on Qualitative Reasoning Monday, August 21, 2017, Melbourne, Australia. 7 s. https://www.qrg.northwestern.edu/qr2017/papers/QR2017_paper_8.pdf

zpět na vyhledávání