548-0118/01 – Spatial Reasoning (SR)
| Gurantor department | Department of Geoinformatics | Credits | 5 |
| Subject guarantor | doc. Ing. Petr Rapant, CSc. | Subject version guarantor | doc. Ing. Petr Rapant, CSc. |
| Study level | undergraduate or graduate | Requirement | Compulsory |
| Year | 2 | Semester | summer |
| | Study language | English |
| Year of introduction | 2018/2019 | Year of cancellation | 2022/2023 |
| Intended for the faculties | HGF | Intended for study types | Follow-up Master |
Subject aims expressed by acquired skills and competences
The aim of the course is to acquaint students with the basic principles, the subject of study and methods of qualitative spatial reasoning and its application in geosciences. Practically acquired skills allow them to design unconventional approaches to spatial data analysis and use it to find the right solutions to various problems.
Teaching methods
Lectures
Tutorials
Summary
The course deals with the application of methods and procedures of mathematical logic to the area of spatial data. It deals first with an introduction to the problem of reasoning, qualitative representation and reasoning and the issue of the inclusion of space in representation and reasoning.
Compulsory 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
Recommended 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
Way of continuous check of knowledge in the course of semester
Continuous control of solving tasks assigned to the exercise. Written and oral exam.
E-learning
Other requirements
No additional requirements are imposed on the student.
Prerequisities
Subject has no prerequisities.
Co-requisities
Subject has no co-requisities.
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
Conditions for subject completion
Occurrence in study plans
Occurrence in special blocks
Assessment of instruction