Use este identificador para citar ou linkar para este item: http://repositorio.ufc.br/handle/riufc/18059
Registro completo de metadados
Campo DCValorIdioma
dc.contributor.advisorMartins, Ana Teresa de Castro-
dc.contributor.authorFerreira, Francicleber Martins-
dc.date.accessioned2016-06-29T18:56:33Z-
dc.date.available2016-06-29T18:56:33Z-
dc.date.issued2007-
dc.identifier.citationFERREIRA, Francicleber Martins. Modelos minimais e hierarquia de expressividade. 2007. 122 f. Dissertação (mestrado) - Universidade Federal do Ceará, Centro de Ciências, Departamento de Computação, Fortaleza-CE, 2007.pt_BR
dc.identifier.urihttp://www.repositorio.ufc.br/handle/riufc/18059-
dc.language.isopt_BRpt_BR
dc.subjectCiência da computaçãopt_BR
dc.subjectLógicapt_BR
dc.subjectMinimalidadept_BR
dc.subjectConjuntos indutivospt_BR
dc.subjectDefinições recursivaspt_BR
dc.subjectDefinibilidadept_BR
dc.subjectExpressividadept_BR
dc.subjectLogicpt_BR
dc.subjectInductive setspt_BR
dc.subjectRecursivas definitionspt_BR
dc.subjectDefinabilitypt_BR
dc.subjectExpressive powerpt_BR
dc.titleModelos minimais e hierarquia de expressividadept_BR
dc.typeDissertaçãopt_BR
dc.contributor.co-advisorPequeno, Marcelino Cavalcante-
dc.description.abstract-ptbrNeste trabalho, o conceito de Modelo Minimal e seu uso na semântica de certas lógicas são estudados. Nós analisamos o poder expressivo de diversas lógicas que usam o conceito de Modelo Minimal para definir sua relação de satisfação. Os principais teoremas estudados foram o Teorema de Löwenheim-Skolem e o Teorema de Definibilidade de Beth. No Capítulo 1, nós damos algumas motivações e revisamos alguns conceitos básicos de Lógica. No Capítulo 2, nos estudamos a Lógica de Menor Ponto Fixo|LFP. Nós exibimos uma prova de que o Teorema de Beth não vale para LFP. Nós usamos teorias infinitas para provar isso. Utilizando um resultado de Hodkinson para L!!1!, nós mostramos que o Teorema de Beth continua não valendo mesmo para teorias finitas de LFP. Nós continuamos estudando problemas de definibilidade para LFP e demonstramos que, para tipos especiais de definições implícitas formadas por Sistemas Recursivos, que funcionam como definições recursivas em determinados contextos, existe uma definição explícita. Nós promavos ainda que o Teorema de LÄowenheim-Skolem Descendente vale para qualquer conjunto de fórmulas de LFP, independentemente de sua cardinalidade. No Capítulo 3, a Circunscrição de McCarthy e as Teorias Circunscritivas Aninhadas de Lifschitz, uma generalização da primeira. Nós abordamos o poder expressivo de Circunscrição e a falha do Teorema de LÄowenheim-Skolem Descendente. Nós também investigamos questões de definibilidade no contexto de Circunscrição. Nós encerramos esse capítulo mostrando que as Teorias Circunscritivas Aninhadas possuem poder expressivo comparável com o da Lógica de Segunda-Ordem. No Capítulo 4, nós estendemos uma lógica criada por van Benthem dando origem a duas outras lógicas, a saber, U-MIN e I-MIN. Nós provamos que ambas são equivalentes entre si em poder expressivo e daí em diante chamamos U-MIN de MIN. Nós introduzimos a Lógica Si-MIN de minimalização simultânea e provamos que Si-MIN é equivalente a U-MIN e I-MIN e também à Lógica de Segunda-Ordem. Nós então propomos o fragmento MIN¢ de MIN, cujo poder expressivo situa-se entre o da Lógica de Segunda-Ordem e o de LFP. No Capítulo 5, nós reunimos nossas conclusões e apontamos trabalhos futuros.pt_BR
dc.title.enMinimal Model and hierarchy of expressive powerpt_BR
Aparece nas coleções:DCOMP - Dissertações defendidas na UFC

Arquivos associados a este item:
Arquivo Descrição TamanhoFormato 
2007_dis_fmferreira.pdf734,9 kBAdobe PDFVisualizar/Abrir
Mostrar registro simples do item Visualizar estatísticas


Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.