548-0118/01 – 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 languageEnglish
Year of introduction2018/2019Year 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
Combined 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:

Worboys, M., Duckham, M.: GIS: a Computational Perspective. Second Edition. CRC Press, Boca Raton, 2004. 426 str. Duží, M.: Mathematical Logic. Lesons. VŠB-TU Ostrava. 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 Sharma, Jayant: Integrated Spatial Reasoning in Geographic Information System: Combining Topology and Directions. PhD theses, 1996, Maine

Recommended literature:

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

Way of continuous check of knowledge in the course of semester

E-learning

Další požadavky na studenta

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

Combined form (validity from: 2018/2019 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 test 55  18
                Oral part of exam Oral examination 12  0
Mandatory attendence parzicipation: Lectures are optional, exercises are compulsory.

Show history

Occurrence in study plans

Academic yearProgrammeField of studySpec.FormStudy language Tut. centreYearWSType of duty
2019/2020 (N3654) Geodesy, Cartography and Geoinformatics (3608T002) Geoinformatics P English Ostrava 2 Compulsory study plan
2019/2020 (N3654) Geodesy, Cartography and Geoinformatics (3608T002) Geoinformatics P Czech Ostrava 2 Compulsory study plan
2019/2020 (N3654) Geodesy, Cartography and Geoinformatics (3608T002) Geoinformatics K Czech Ostrava 2 Compulsory study plan
2018/2019 (N3654) Geodesy, Cartography and Geoinformatics (3608T002) Geoinformatics K Czech Ostrava 2 Compulsory study plan
2018/2019 (N3654) Geodesy, Cartography and Geoinformatics (3608T002) Geoinformatics P Czech Ostrava 2 Compulsory study plan
2018/2019 (N3654) Geodesy, Cartography and Geoinformatics (3608T002) Geoinformatics P English Ostrava 2 Compulsory study plan

Occurrence in special blocks

Block nameAcademic yearForm of studyStudy language YearWSType of blockBlock owner