nÃo hà / A lÃgica default foi introduzida para manipular raciocÃnio com conhecimento incompleto e tornou-se o principal paradigma para a formalizaÃÃo do raciocÃnio nÃo monotÃnico. Muitas variaÃÃes foram propostas com o objetivo de solucionar algumas limitaÃÃes do formalismo ou para proporem diferentes intuiÃÃes sobre o papel das informaÃÃes inconlusivas. PorÃm, algumas das principais caracterÃsticas foram mantidas: a informaÃÃo inconclusiva à representada por regras default, objetivam o cÃlculo de extensÃes e, para isso, utilizam uma caracterizaÃÃo atravÃs de operadores de ponto fixo. NÃs propomos uma nova abordagem para o raciocÃnio nÃo monotÃnico. Nesta dissertaÃÃo, apresentamos a LÃgica Defeasible com Prioridade Ãs ExceÃÃes. As principais vantagens desta proposta sÃo a nÃo utilizaÃÃo de pontos fixos para definiÃÃo das expansÃes (nosso correspondente de extensÃes) e a propriedade de prioridade Ãs exceÃÃes que nÃo permite que uma proposiÃÃo inconclusiva interfira na derivaÃÃo de sua exceÃÃo. AlÃm disso, apresentamos uma nova maneira de definir as extensÃes da lÃgica default e de duas das suas principais variantes a lÃgica default justificada e a lÃgica default com restriÃÃes. / Default logic was introduced to manipulate reasoning with incomplete information and became the main paradigm to formalize nonmonotonic reasoning. Many variations have been proposed with the objective to solve some limitations of the formalism or to consider different intuitions on the role of inconclusive information. However, some of the main characteristics had been kept: inconclusive information is represented as default rules, objectifies the calculation of extensions and, because this, they use characterizations through fixed-point operators. We consider a new approach for nonmonotonic reasoning. In this dissertation, we present the Defeasible Logic with Exception-First. The main advantages of this approach are: it does not use fixed-points operators to define expansions (our correspondent of extensions) and exception-first property that does not allow that a inconclusive proposition intervenes with the derivation of its exception. Moreover, we present a new way to define the extensions of default logic and two of its main variants, justified default logic and constrained default logic.

CoordenaÃÃo de AperfeiÃoamento de Pessoal de NÃvel Superior / A formalizaÃÃo do conhecimento e a automatizaÃÃo do raciocÃnio sÃo assuntos centrais de pesquisa da InteligÃncia Articial. A LÃgica de Primeira Ordem tem sido tradicionalmente utilizada para tais propÃsitos. No entanto, ela à mais adequada para lidar com conhecimento completo em circunstÃncias ideais. Em situaÃÃes reais, nas quais o conhecimento à parcial, a LÃgica de Primeira Ordem nÃo à suciente. LÃgicas nÃo-monotÃnicas tÃm sido propostas para melhor lidar com o raciocÃnio prÃtico. Uma formalizaÃÃo do raciocÃnio nÃo-monotÃnico bem-sucedida à a LÃgica Default de Reiter que estende a LÃgica de Primeira Ordem com regras default. Infelizmente, a LÃgica Default à indecidÃvel. Nesta dissertaÃÃo, propomos uma LÃgica de DescriÃÃo Default expressiva o suciente para formalizar o raciocÃnio prÃtico sobre bases de conhecimento. Ela tem como base monotÃnica a LÃgica de DescriÃÃo ALC. Adicionamos algumas restriÃÃes à aplicaÃÃo dos defaults a m de obter propriedades interessantes, tais como a coerÃncia e a eliminaÃÃo de extensÃes anÃmalas. Apresentamos os principais algoritmos usados para construir uma extensÃo com um passo-a-passo e suas anÃlise de complexidade. / Knowledge formalization and reasoning automatization are central within Articial Intelligence. First Order Logic has been traditionally used for such purposes. However, it is better suited to deal with complete knowledge in ideal circumstances. In real situations, in which the knowledge is partial, First Order Logic is not sucient. Nonmonotonic logics have been proposed to better cope with practical reasoning. A successful formalization of nonmonotonic reasoning is the Reiter's default logic which extends classical logic with default rules. Unfortunately, default logic is undecidable. In this work, we propose a description default logic expressible enough to formalize practical reasoning in knowledge bases. It has as its monotonic basis the ALC Description Logic. We add some restrictions to the application of defaults in order to obtain nice properties such as coherence and the elimination of anomalous extensions. We present the main algorithms used to build an extension with a step by step complexity analysis.