Belief Revision deals with the problem of how a rational agent should proceed in face of new information. In the AGM paradigm, the most used framework in Belief Revision, given a set of beliefs, there are three possible epistemic changes in relation to a new belief: expansion, contraction and revision. Among them, we are particularly interested in the latter. A revision occurs when an agent receives new information possibly inconsistent with its epistemic state and has to change it in order to accommodate the new belief in a consistent way. However, new information may come as a set of beliefs (instead of a single one), a problem known as Multiple Revision, in which, unlike Iterated Revision, all new pieces of information are processed simultaneously. This thesis starts with a survey on the topic of Multiple Revision. The purpose is to bring and organize the state-of-the-art of the area, showing the different approaches developed since 1988 and the open problems that still exist. After that, different contributions on non-prioritized multiple revision are proposed. One of AGM revision's main properties is success, which guarantees that new information is always accepted by a rational agent, even when it has to give up a reasonable belief previously held. However, in more realistic scenarios, when dealing with a new belief that contradicts previous ones, an agent has the option to reject it, an approach called non-prioritized revision. Among the possible operations for this approach, Choice Revision is the one that deals with the case in which it is enough for the agent to absorb only a subset of the input set. We propose an axiomatic characterization of Choice Multiple Revision through two different constructions: one based on remainder sets and the other on kernel sets, along with algorithms for both of them. The approach was developed for belief bases and is not restricted to classical propositional logic. Still about the possible operations for non-prioritized multiple revision and the option the agent has to accept or reject a new information, Selective Revision came up as a third possibility, allowing the agent to accept only a part of the new belief. The operation was initially defined for single sentences as inputs and for belief sets. This thesis proposes a generalization of Selective Revision to the multiple case for both belief sets (theories) and belief bases. We provide constructions, postulates and representation theorems for different classes of Multiple Selective Revision.

A área de Revisão de Crenças lida com o problema de como um agente racional deve proceder ao se deparar com uma nova informação. No paradigma AGM, o framework mais utilizado em Revisão de Crenças, dado um conjunto de crenças, há três possíveis mudanças epistêmicas em relação a uma nova crença: expansão, contração e revisão. Entre elas, estamos particularmente interessados na última. Uma revisão ocorre quando um agente recebe uma nova informação possivelmente inconsistente com seu estado epistêmico e tem que mudá-lo para acomodar a nova crença de forma consistente. Entretanto, uma nova informação pode vir como um conjunto de crenças (ao invés de uma única), um problema conhecido como Revisão Múltipla, no qual, ao contrário de Revisão Iterada, todas as novas crenças são processadas simultaneamente. Esta tese começa com um survey acerca do tema de Revisão Múltipla. A proposta é trazer e organizar o estado-da-arte da área, mostrando as diferentes abordagens desenvolvidas desde 1988 e os problemas que ainda estão em aberto. Depois disso, são propostas diferentes contribuições em Revisão Múltipla não-priorizada. Uma das principais propriedades na teoria AGM é o postulado de sucesso, o qual garante que uma nova informação é sempre aceita por um agente racional, mesmo quando ele tem que desistir de alguma crença razoável que ele tinha anteriormente. Porém, em cenários mais realistas, quando um agente está lidando com uma nova crença que contradiz crenças prévias ele tem a opção de rejeitá-la, uma abordagem denominada revisão não-priorizada. Entre as possíveis operações para essa abordagem, revisão choice é aquela que lida com o caso no qual é suficiente para o agente absorver apenas um subconjunto do conjunto de entrada. Nós propomos uma caracterização axiomática de revisão múltipla choice por meio de duas construções diferentes: uma baseada em conjuntos resíduos e outra em conjuntos kernel, juntamente com algoritmos para ambas. A abordagem foi desenvolvida para bases de crenças e não é limitada à lógica proposicional clássica. Ainda sobre as possíveis operações para revisão múltipla não-priorizada e a opção que o agente tem de aceitar ou rejeitar uma nova informação, Revisão Seletiva surgiu como uma terceira possibilidade, permitindo ao agente aceitar apenas uma parte da nova crença. A operação foi definida inicialmente para entradas de uma única sentença e para conjuntos de crenças. Esta tese propõe uma generalização de Revisão Seletiva para o caso múltiplo, tanto para conjuntos de crenças (teorias) quanto para bases de crença. Nós fornecemos construções, postulados e teoremas de representação para diferentes classes de Revisão Seletiva Múltipla.