Course Unit Code | 548-0118/03 |
---|
Number of ECTS Credits Allocated | 4 ECTS credits |
---|
Type of Course Unit * | Compulsory |
---|
Level of Course Unit * | Second Cycle |
---|
Year of Study * | Second Year |
---|
Semester when the Course Unit is delivered | Summer Semester |
---|
Mode of Delivery | Face-to-face |
---|
Language of Instruction | Czech |
---|
Prerequisites and Co-Requisites | Course succeeds to compulsory courses of previous semester |
---|
Name of Lecturer(s) | Personal ID | Name |
---|
| RAP30 | doc. Ing. Petr Rapant, CSc. |
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. |
Learning Outcomes of the Course Unit |
---|
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. |
Course Contents |
---|
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. |
Recommended or Required Reading |
---|
Required Reading: |
---|
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
|
Worboys, M., Duckham, M.: GIS: a Computational Perspective. Second Edition. CRC Press, Boca Raton, 2004. 426 str.
Duží, M.: Logika pro informatiky. VŠB-TU Ostrava, 2012. 181 str. http://www.cs.vsb.cz/duzi/Matlogika_ESF_Definite.pdf
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
Sharma, Jayant: Integrated Spatial Reasoning in Geographic Information System: Combining Topology and Directions. PhD theses, 1996, Maine |
Recommended Reading: |
---|
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
|
Chaudhri, V. K.: CS 227: Knowledge Representation and Reasoning. Stanford University, 2011. http://web.stanford.edu/class/cs227/
Hunt, J. E., Lee, M. H., Price, C. J.: Applications of Qualitative Model-Based Reasoning. Control Engineering Practice, 1 (2), pp. 253-256. 1993. http://www.it.iitb.ac.in/~palwencha/mtp/MBR.pdf
Casati, R., and Varzi, A. C.: Parts and places: the structures of spatial representation. MIT Press, 2003. 248 str.
Cohn, A, Bennett, B., Gooday, J., Gotts, N. M.: Quantitative Spatial Representation and reasoning with the Region Connection Calculus. Geoinformatica, vol. 1, 1997. Pp. 1-44. http://www.comp.leeds.ac.uk/qsr/pub/geoinformatica.pdf |
Planned learning activities and teaching methods |
---|
Lectures, Tutorials |
Assesment methods and criteria |
---|
Task Title | Task Type | Maximum Number of Points (Act. for Subtasks) | Minimum Number of Points for Task Passing |
---|
Credit and Examination | Credit and Examination | 100 (100) | 51 |
Credit | Credit | 33 | 17 |
Examination | Examination | 67 (67) | 18 |
Written part of exam | Written examination | 52 | 18 |
Oral part of exam | Oral examination | 15 | 0 |