548-0118/03 – Prostorové usuzování (SR)
| Garantující katedra | Katedra geoinformatiky | Kredity | 4 |
| Garant předmětu | doc. Ing. Petr Rapant, CSc. | Garant verze předmětu | doc. Ing. Petr Rapant, CSc. |
| Úroveň studia | pregraduální nebo graduální | Povinnost | povinný |
| Ročník | 2 | Semestr | letní |
| | Jazyk výuky | čeština |
| Rok zavedení | 2021/2022 | Rok zrušení | |
| Určeno pro fakulty | HGF | Určeno pro typy studia | navazující magisterské |
Cíle předmětu vyjádřené dosaženými dovednostmi a kompetencemi
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ů.
Vyučovací metody
Přednášky
Cvičení (v učebně)
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
Další studijní materiály
Forma způsobu ověření studijních výsledků a další požadavky na studenta
Průběžná kontrola zpracovávaných úkolů ve cvičení. Písemná a ústní zkouška.
E-learning
Další požadavky na studenta
Žádné další požadavky na studenta nejsou kladeny.
Prerekvizity
Předmět nemá žádné prerekvizity.
Korekvizity
Předmět nemá žádné korekvizity.
Osnova předmětu
1) Přehled prostorového usuzování. Logika a dedukce. Usuzování
2) Syntaxe a sémantika. Kvalitativní usuzování
3) Kvalitativní reprezentace
4) QSR - kvalitativní prostorové usuzování
5) Nástroje kvalitativního prostorového usuzování
6) RCC - region connection calculus
7) 4-intersection model. 9-intersection model.
8) dimensionally extended 9-intersection model
9) Vágnost, nejistota, granularita a nerozlišitelnost
10) Příklad prostorového usuzování. Formální notace
Pozn.: Předmět vyučován v posledním semestru s 10 týdny výuky.
Podmínky absolvování předmětu
Výskyt ve studijních plánech
Výskyt ve speciálních blocích
Hodnocení Výuky