Terminated in academic year 2022/2023

Spatial Reasoning

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

Subject syllabus

1) Spatial reasoning overview
2) Logic and deduction
3) Reasoning
4) Syntax a semantics
5) Qualitative reasoning
6) QSR – Qualitative spatial reasoning
7) Example of spatial reasoning
8) Formal notation
9) Qualitative spatial reasoning tools
10) Vagueness, uncertainty, granularity and indiscernibility

Literature

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

Advised literature

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

back to search page