Pseudo-contractions in belief revision

Belief Revision addresses the problem of how to change epistemic states, usually represented in the literature by sets of logical sentences. Solid theoretical results were consolidated with the AGM paradigm, which deals with theories (logically closed sets of sentences). After that, the theory was extended to belief bases, that is, arbitrary sets of sentences. Besides all this theoretical framework, AI researchers face serious difficulties when trying to implement belief revision systems. One of the major complications is the closure required by AGM theory, which cannot be easily computed. Even belief bases, which do not require closure, seem to be improper for practical purposes, since their changes are usually very rigid (syntax dependent). Some operations, known as pseudo-contractions, are in the middle ground between belief set change and belief base change. In the present work we have proposed a new pseudo-contraction operation, studied its properties and characterized it. We have also found connections between this operator and some other pseudo-contractions.

Aplicação da dendrogeomorfologia na caracterização e datação de processos erosivos em voçorocas na região de Piracicaba, SP

O solo é um recurso natural essencial para os seres humanos. Porém, atualmente, as atividades humanas estão provocando a degradação do solo principalmente através da aceleração dos processos erosivos. Os estudos sobre estes processos ajudam na compreensão, interpretação e conservação do solo. Assim, este trabalho pretende estudar e datar os processos erosivos em uma voçoroca localizada na Estação Experimental de Tupi (Piracicaba SP) mediante o uso da dendrogeomorfologia. A dendrogeomorfologia é uma ciência relativamente recente que relaciona os anéis de crescimento das árvores com processos geomorfológicos permitindo a reconstrução cronológica e ocorrência dos eventos. A relevância deste estudo é conhecer o potencial desta ciência em áreas tropicais já que atualmente este tipo de estudos são escassos nestas áreas. Esta técnica foi aplicada utilizando raízes expostas de espécies do gênero Pinus sp. A datação do processo erosivo baseou-se nas mudanças no padrão de crescimento das raízes, tais como: a largura do anel, crescimento excêntrico, porcentagem do lenho tardio e densidade do lenho ocorridas após a sua exposição pelo processo erosivo. Através do estudo destas alterações determinou-se o primeiro ano de exposição da raiz e se calculou a taxa de erosão anual. Os resultados mostraram que a voçoroca está formada pela integração de dois sistemas de diferentes origens que confluem em um degrau de erosão. A abertura das voçorocas está influenciada pela presença de processos de \"piping\" na área, os quais também afetam a morfologia das raízes quando enterradas. A taxa de erosão vertical, segundo o método de GÄRTNER (2007), atingem valores entre 17,0 e 36,5 mm/ano quantificando o processo de afundamento da voçoroca; e a taxa de erosão horizontal, segundo o método de MALIK (2008), valores de 0,70 e 1,45 m/ano caracterizando o avanço longitudinal da mesma. Estes resultados são elevados se comparados com resultados obtidos em climas temperados por outros autores e similares aos publicados por BOVI (2013) na mesma área de estudo. Finalmente, a dendrogeomorfologia se corrobora como uma ferramenta de grande potencial em áreas tropicais. Os dados e informações obtidos podem se traduzir num banco de dados dendrogeomorfológicos e contribuir à expansão desta ciência no Brasil e áreas de ambientes tropicais.