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.

Caracterização limnológica do rio do Peixe (microrregião geográfica de Botucatu - SP), em duas épocas do ano (períodos de seca e chuva)

O rio do Peixe, um dos principais afluentes do rio Tietê (Reservatório de Barra Bonita/Hidrovia Tietê Paraná), juntamente com seus formadores (microrregião geográfica de Botucatu - SP) constituem os principais mananciais das cidades que se localizam em suas bacias. A maior parte da bacia hidrográfica do rio do Peixe desenvolve-se sob rochas sedimentares arenosas, favoráveis às atividades de extração de areia, fato que aliado ao manejo incorreto do solo favorece a ocorrência de processos erosivos. Foram realizadas amostragens de água durante dez dias consecutivos e de sedimento durante três dias alternados, em dois períodos hidrológicos (seca e chuva), para a determinação de variáveis físicas, químicas e biológicas,com o objetivo principal de caracterizar do ponto de vista limnológico esse rio e sua foz. As análises das diferentes variáveis seguiram os métodos que são utilizados rotineiramente no Laboratório de Limnologia do CRHEA/EESC/USP. As águas do rio do Peixe apresentaram, principalmente altas concentrações de sólidos em suspensão. Os maiores valores de turbidez, condutividade, alcalinidade, HCO3-, CO3-, nitrito, nitrogênio amoniacal, nitrogênio Kjedhal, fosfato inorgânico, carbono orgânico e sólidos em suspensão foram obtidos durante o período de chuvas, influenciados principalmente pelo escoamento superficial que promove o carreamento de materiais da bacia hidrográfica. Foi possível ainda através das características limnológicas, agrupar as estações de amostragem ao longo do contínuo do rio em três regiões (alto, médio e baixo curso), e diferenciar do ponto de vista trófico as estações da foz com o rio Tietê. Um aumento da biomassa fitoplanctônica, no período de seca, no baixo curso do rio do Peixe foi favorecido pela menor vazão na barragem de Barra Bonita.