Přeskočit na hlavní obsah
Přeskočit hlavičku
Ukončeno v akademickém roce 2022/2023

Prostorové usuzování

Typ studia navazující magisterské
Jazyk výuky angličtina
Kód 548-0118/01
Zkratka SR
Název předmětu česky Prostorové usuzování
Název předmětu anglicky Spatial Reasoning
Kreditů 5
Garantující katedra Katedra geoinformatiky
Garant předmětu doc. Ing. Petr Rapant, CSc.

Osnova předmětu

1) Přehled prostorového usuzování
2) Logika a dedukce
3) Usuzování
4) Syntaxe a sémantika
5) Kvalitativní usuzování
6) QSR - kvalitativní prostorové usuzování
7) Příklad prostorového usuzování
8) Formální notace
9) Nástroje kvalitativního prostorového usuzování
10) Vágnost, nejistota, granularita a nerozlišitelnost

Povinná literatura

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

Doporučená literatura

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