548-0118/04 – Spatial Reasoning (SR)

Gurantor departmentDepartment of GeoinformaticsCredits5
Subject guarantordoc. Ing. Petr Rapant, CSc.Subject version guarantordoc. Ing. Petr Rapant, CSc.
Study levelundergraduate or graduateRequirementCompulsory
Year2Semestersummer
Study languageCzech
Year of introduction2021/2022Year of cancellation
Intended for the facultiesHGFIntended for study typesFollow-up Master
Instruction secured by
LoginNameTuitorTeacher giving lectures
RAP30 doc. Ing. Petr Rapant, CSc.
Extent of instruction for forms of study
Form of studyWay of compl.Extent
Full-time Credit and Examination 2+2
Part-time Credit and Examination 8+8

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 processed tasks in practical exercises. 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) 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.

Conditions for subject completion

Full-time form (validity from: 2020/2021 Winter semester)
Task nameType of taskMax. number of points
(act. for subtasks)
Min. number of points
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
Mandatory attendence parzicipation: Lectures are optional, attendance at seminars at least 80%.

Show history

Occurrence in study plans

Academic yearProgrammeField of studySpec.ZaměřeníFormStudy language Tut. centreYearWSType of duty
2021/2022 (N3654) Geodesy, Cartography and Geoinformatics (3608T002) Geoinformatics P Czech Ostrava 2 Compulsory study plan
2021/2022 (N3654) Geodesy, Cartography and Geoinformatics (3608T002) Geoinformatics K Czech Ostrava 2 Compulsory study plan

Occurrence in special blocks

Block nameAcademic yearForm of studyStudy language YearWSType of blockBlock owner