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.
| Identifer | oai:union.ndltd.org:IBICT/oai:www.teses.ufc.br:5127 |
| Date | 19 August 2011 |
| Creators | DÃbora Farias Frota |
| Contributors | Ana Teresa de Castro Martins, JoÃo Fernando Lima AlcÃntara, Edward Hermann Hauesler |
| Publisher | Universidade Federal do CearÃ, Programa de PÃs-GraduaÃÃo em CiÃncia da ComputaÃÃo, UFC, BR |
| Source Sets | IBICT Brazilian ETDs |
| Language | Portuguese |
| Detected Language | Portuguese |
| Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis |
| Format | application/pdf |
| Source | reponame:Biblioteca Digital de Teses e Dissertações da UFC, instname:Universidade Federal do Ceará, instacron:UFC |
| Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.0026 seconds