Título
[pt] TEORIA DE MODELOS PARA HEURÍSTICAS BASEADA EM TOPOI
Título
[en] TOPOS-BASED MODEL THEORY FOR HEURISTICS
Autor
[pt] FERNANDO NAUFEL DO AMARAL
Vocabulário
[pt] TEORIA DE CATEGORIAS
Vocabulário
[pt] LOGICA INTERNA
Vocabulário
[pt] TEORIA DE MODELOS
Vocabulário
[pt] TEORIA DE PROBLEMAS
Vocabulário
[pt] BUSCA HEURISTICA
Vocabulário
[en] CATEGORY THEORY
Vocabulário
[en] INTERNAL LOGIC
Vocabulário
[en] MODEL THEORY
Vocabulário
[en] PROBLEM THEORY
Vocabulário
[en] HEURISTIC SEARCH
Resumo
[pt] Este trabalho emprega conceitos e ferramentas de Teoria das
Categorias e Teoria de Topoi para construir um modelo
matemático de problemas, reduções entre problemas, espaços
e estratégias de busca heurística. Mais precisamente, uma
estratégia de construção de espaços de busca é representada
por um funtor de uma certa categoria de problemas para uma
certa categoria de florestas. A coleção de todos estes
funtores forma um topos, um modelo específico equipado com
uma lógica interna própria. Esta lógica interna é usada,
então, para definir estratégias de busca e heurísticas em
Teoria Local dos Conjuntos. Possíveis aplicações do
trabalho incluem (1) a especificação lógica e a
classificação de heurísticas e meta-heurísticas usadas na
prática e (2) uma versão mais abstrata e geral de
resultados específicos relacionando a estrutura de
problemas com métodos de resolução adequados.
Resumo
[en] This work employs concepts and tools from Category Theory
and Topos Theory to construct a mathematical model for
problems, reductions between problems, heuristic search
spaces and strategies. More precisely, a search space
construction strategy is represented by a functor from a
certain category of problems to a certain category of
forests. The collection of all such functors forms a topos,
a specific model equipped with its own internal logic. This
internal logic is then used to define search satrategies
and heuristics in Local Set Theory. Possible applications
of this work include (1) the logical specification and
classification of heuristics and metaheuristics used in
pratice and (2) a more abstract and general rendering of
specific results relating the structure of problems to
adequate problem-solving methods.
Orientador(es)
EDWARD HERMANN HAEUSLER
Banca
CELSO DA CRUZ CARNEIRO RIBEIRO
Banca
EDWARD HERMANN HAEUSLER
Banca
MARIO ROBERTO F BENEVIDES
Banca
PAULO AUGUSTO SILVA VELOSO
Banca
CARLOS ALBERTO DE JESUS MARTINHON
Banca
PAULO FERNANDO BLAUTH MENEZES
Catalogação
2004-08-06
Apresentação
2004-03-29
Tipo
[pt] TEXTO
Formato
application/pdf
Formato
application/pdf
Formato
application/pdf
Formato
application/pdf
Formato
application/pdf
Formato
application/pdf
Formato
application/pdf
Formato
application/pdf
Formato
application/pdf
Idioma(s)
PORTUGUÊS
Referência [pt]
https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=5254@1
Referência [en]
https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=5254@2
Referência DOI
https://doi.org/10.17771/PUCRio.acad.5254
Arquivos do conteúdo
CAPA, AGRADECIMENTOS, RESUMO, ABSTRACT E SUMÁRIO PDF CAPÍTULO 1 PDF CAPÍTULO 2 PDF CAPÍTULO 3 PDF CAPÍTULO 4 PDF CAPÍTULO 5 PDF CAPÍTULO 6 PDF CAPÍTULO 7 PDF REFERÊNCIAS BIBLIOGRÁFICAS E ANEXOS PDF