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
Prostorové usuzování
| Jazyk výuky | anglič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. |
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
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
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