Please use this identifier to cite or link to this item: http://www.repositorio.ufc.br/handle/riufc/17798
Full metadata record
DC FieldValueLanguage
dc.contributor.advisorMartins, Ana Teresa de Castro-
dc.contributor.authorFrota, Débora Farias-
dc.date.accessioned2016-06-20T19:28:34Z-
dc.date.available2016-06-20T19:28:34Z-
dc.date.issued2011-
dc.identifier.citationFROTA, Débora Farias. Uma lógica de descrição default. 2011. 79 f. : Dissertação (Mestrado) - Universidade Federal do Ceará. Centro de Ciências, Coordenação do Programa de Pós-Graduação em Computação, Fortaleza-CE, 2011.pt_BR
dc.identifier.urihttp://www.repositorio.ufc.br/handle/riufc/17798-
dc.description.abstractKnowledge formalization and reasoning automatization are central within Arti cial 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 su cient. 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.pt_BR
dc.language.isopt_BRpt_BR
dc.subjectCiência da computaçãopt_BR
dc.subjectLógica de descriçãopt_BR
dc.subjectLógica defaultpt_BR
dc.subjectComplexidade exptimept_BR
dc.subjectDescription logicpt_BR
dc.subjectDefault logicpt_BR
dc.subjectExptime complexitypt_BR
dc.subjectLógica de primeira ordempt_BR
dc.subjectLógica de computadorpt_BR
dc.subjectAlgoritmospt_BR
dc.subjectComplexidade computacionalpt_BR
dc.titleUma lógica de descrição defaultpt_BR
dc.typeDissertaçãopt_BR
dc.contributor.co-advisorAlcântara, João Fernando Lima-
dc.description.abstract-ptbrA formalização do conhecimento e a automatização do raciocínio são assuntos centrais de pesquisa da Inteligência Arti cial. 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 é su ciente. 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 su ciente 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.pt_BR
dc.title.enA Description Logic for Defaultpt_BR
Appears in Collections:DCOMP - Dissertações defendidas na UFC

Files in This Item:
File Description SizeFormat 
2011_dis_dffrota.pdf922,87 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.