TEORIA DE MODELOS PARA HEURÍSTICAS BASEADA EM TOPOI

Detalhes bibliográficos
Autor(a) principal: FERNANDO NAUFEL DO AMARAL
Data de Publicação: 2004
Tipo de documento: Tese
Idioma: por
Título da fonte: Repositório Institucional da PUC-RIO (Projeto Maxwell)
Texto Completo: https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=5254@1
https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=5254@2
Resumo: 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.
id PUC_RIO-1_e5da624fe33877403fb2d8016eb0668d
oai_identifier_str oai:MAXWELL.puc-rio.br:5254
network_acronym_str PUC_RIO-1
network_name_str Repositório Institucional da PUC-RIO (Projeto Maxwell)
repository_id_str 534
spelling info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisTEORIA DE MODELOS PARA HEURÍSTICAS BASEADA EM TOPOI TOPOS-BASED MODEL THEORY FOR HEURISTICS 2004-03-29EDWARD HERMANN HAEUSLER24815438153lattes.cnpq.br/6075905438020841CELSO DA CRUZ CARNEIRO RIBEIROEDWARD HERMANN HAEUSLERMARIO ROBERTO F BENEVIDESPAULO AUGUSTO SILVA VELOSOCELSO DA CRUZ CARNEIRO RIBEIROFERNANDO NAUFEL DO AMARALPONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIROPPG EM INFORMÁTICAPUC-RioBREste 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.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.COORDENAÇÃO DE APERFEIÇOAMENTO DO PESSOAL DE ENSINO SUPERIORhttps://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=5254@1https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=5254@2porreponame:Repositório Institucional da PUC-RIO (Projeto Maxwell)instname:Pontifícia Universidade Católica do Rio de Janeiro (PUC-RIO)instacron:PUC_RIOinfo:eu-repo/semantics/openAccess2022-11-01T12:40:36Zoai:MAXWELL.puc-rio.br:5254Repositório InstitucionalPRIhttps://www.maxwell.vrac.puc-rio.br/ibict.phpopendoar:5342019-05-30T00:00Repositório Institucional da PUC-RIO (Projeto Maxwell) - Pontifícia Universidade Católica do Rio de Janeiro (PUC-RIO)false
dc.title.pt.fl_str_mv TEORIA DE MODELOS PARA HEURÍSTICAS BASEADA EM TOPOI
dc.title.alternative.en.fl_str_mv TOPOS-BASED MODEL THEORY FOR HEURISTICS
title TEORIA DE MODELOS PARA HEURÍSTICAS BASEADA EM TOPOI
spellingShingle TEORIA DE MODELOS PARA HEURÍSTICAS BASEADA EM TOPOI
FERNANDO NAUFEL DO AMARAL
title_short TEORIA DE MODELOS PARA HEURÍSTICAS BASEADA EM TOPOI
title_full TEORIA DE MODELOS PARA HEURÍSTICAS BASEADA EM TOPOI
title_fullStr TEORIA DE MODELOS PARA HEURÍSTICAS BASEADA EM TOPOI
title_full_unstemmed TEORIA DE MODELOS PARA HEURÍSTICAS BASEADA EM TOPOI
title_sort TEORIA DE MODELOS PARA HEURÍSTICAS BASEADA EM TOPOI
dc.creator.ID.none.fl_str_mv
dc.creator.Lattes.none.fl_str_mv
author FERNANDO NAUFEL DO AMARAL
author_facet FERNANDO NAUFEL DO AMARAL
author_role author
dc.contributor.advisor1.fl_str_mv EDWARD HERMANN HAEUSLER
dc.contributor.advisor1ID.fl_str_mv 24815438153
dc.contributor.advisor1Lattes.fl_str_mv lattes.cnpq.br/6075905438020841
dc.contributor.referee1.fl_str_mv CELSO DA CRUZ CARNEIRO RIBEIRO
dc.contributor.referee2.fl_str_mv EDWARD HERMANN HAEUSLER
dc.contributor.referee3.fl_str_mv MARIO ROBERTO F BENEVIDES
dc.contributor.referee4.fl_str_mv PAULO AUGUSTO SILVA VELOSO
dc.contributor.referee5.fl_str_mv CELSO DA CRUZ CARNEIRO RIBEIRO
dc.contributor.author.fl_str_mv FERNANDO NAUFEL DO AMARAL
contributor_str_mv EDWARD HERMANN HAEUSLER
CELSO DA CRUZ CARNEIRO RIBEIRO
EDWARD HERMANN HAEUSLER
MARIO ROBERTO F BENEVIDES
PAULO AUGUSTO SILVA VELOSO
CELSO DA CRUZ CARNEIRO RIBEIRO
description 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.
publishDate 2004
dc.date.issued.fl_str_mv 2004-03-29
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=5254@1
https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=5254@2
url https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=5254@1
https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=5254@2
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO
dc.publisher.program.fl_str_mv PPG EM INFORMÁTICA
dc.publisher.initials.fl_str_mv PUC-Rio
dc.publisher.country.fl_str_mv BR
publisher.none.fl_str_mv PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO
dc.source.none.fl_str_mv reponame:Repositório Institucional da PUC-RIO (Projeto Maxwell)
instname:Pontifícia Universidade Católica do Rio de Janeiro (PUC-RIO)
instacron:PUC_RIO
instname_str Pontifícia Universidade Católica do Rio de Janeiro (PUC-RIO)
instacron_str PUC_RIO
institution PUC_RIO
reponame_str Repositório Institucional da PUC-RIO (Projeto Maxwell)
collection Repositório Institucional da PUC-RIO (Projeto Maxwell)
repository.name.fl_str_mv Repositório Institucional da PUC-RIO (Projeto Maxwell) - Pontifícia Universidade Católica do Rio de Janeiro (PUC-RIO)
repository.mail.fl_str_mv
_version_ 1748324880659513344

Registros relacionados