548-0118 – Prostorové usuzování (SR)

Cílem předmětu je seznámit studenty se základními principy, předmětem studia a metodami kvalitativního prostorového usuzování a s jeho aplikací v geovědách. Prakticky nabyté dovednosti jim dovolí navrhovat netradiční přístupy k analýze prostorových dat a využívat ji při nalézání správných řešení různých problémů.

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í.

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

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