As levadas da Ilha da Madeira: uma herança cultural

A presente dissertação de mestrado tem como primeiro e fundamental objetivo salientar a importância das levadas da ilha da Madeira como património cultural e sublinhar a pertinência da sua candidatura a Património da Humanidade. Debruçando-se sobre um enquadramento conceitual e teórico acerca do património cultural e das levadas da ilha da Madeira, esta investigação pretende conhecer qual a relação existente entre ambos, existindo, também, o intuito de compreender qual o interesse da valorização, preservação e conservação destes aquedutos. O estudo desenvolveu-se, portanto, no sentido de responder à questão “As levadas da ilha da Madeira e o património cultural: que relação?”. Para dar resposta à mesma procedeu-se à explanação do conceito de património cultural e a sua legislação e, ainda, à história das levadas, que se cruza com a da própria ilha, recorrendo à consulta, leitura e análise de documentos relacionados com estes assuntos bem como ao trabalho de campo, percorrendo diversas levadas e registando observações in loco. Neste sentido, chegou-se à conclusão de que as levadas, que, no século XV, surgiram da necessidade de levar a água até aos terrenos agrícolas, são hoje a prova do esforço, luta e triunfo do povo madeirense. É na perspetiva de herança e cultura que encarar as levadas como património cultural faz todo o sentido, na medida em que apresentam, de facto, uma autenticidade ímpar, relativamente à sua forma e conceção, construção e materiais utilizados, tradições e técnicas de gestão de águas, localização, enquadramento e amplitude, termos linguísticos, lendas e contos a que deram origem e, ainda, a todo um património material e imaterial consigo relacionados.

On the iteration of Katsuno and Mendelzon update

In this dissertation we present a model for iteration of Katsuno and Mendelzon’s Update, inspired in the developments for iteration in AGM belief revision. We adapt Darwiche and Pearls’ postulates of iterated belief revision to update (as well as the independence postulate proposed in [BM06, JT07]) and show two families of such operators, based in natural [Bou96] and lexicographic revision [Nay94a, NPP03]. In all cases, we provide a possible worlds semantics of the models.