Spatiotemporal interval logic for reasoning about land use change dynamics

• Autor(a) principal: Adeline Marinho Maciel
• Data de Publicação: 2017
• Tipo de documento: Tese
• Idioma: eng
• Título da fonte: Biblioteca Digital de Teses e Dissertações do INPE
• Texto Completo: http://urlib.net/sid.inpe.br/mtc-m21b/2017/11.23.13.04

With the global population growth, the food production will need to rise, potentially causing extensive environmental damage. In Brazil, the demand for farmland is the key immediate driver of land use change, which has influence in public policies. For example, the soy and beef moratorium, that aim at reducing the advance of soybean cropping and pasture areas expansion over the Amazon biome. Currently, Earth observation satellites form part of a comprehensive Earth observation system due to their higher spatial, temporal and spectral resolutions, providing continuous and consistent information about Earths surface. It is the era of big Earth observation data. It has been creating new perspectives in remote sensing data analysis that enable the development of land use and land cover maps at higher spatial resolution and with high temporal frequency. Given this scenery, this thesis introduces a spatiotemporal interval logic mechanism that can be used for reasoning about land use change dynamics, from big Earth observation data systems. The main contribution of this mechanism is to use the concept of events to reason about land use change. Building on this view this thesis extends Allens interval temporal logic to the spatial context, resulting in a formal calculus that allows users to express queries about the land use dynamics. The calculus allows scientists to manipulate large sets of land use data in a flexible way, to understand the environmental and economic effects of land use change. The formalism was applied in three cases studies to identify and quantifying land use transitions in Mato Grosso state in Brazil.