Přeskočit na hlavní obsah
Přeskočit hlavičku

Prostorové usuzování

Anotace

Předmět se zabývá problematikou aplikace metod a postupů matematické logiky do oblasti usuzování nad prostorovými daty. Zabývá se nejprve úvodem do problematiky usuzování, dále kvalitativní reprezentací a usuzováním a problematikou zahrnutí prostoru do reprezentace i usuzování.

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


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