[pt] 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: Outros
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
http://doi.org/10.17771/PUCRio.acad.5254
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.
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 [pt] TEORIA DE MODELOS PARA HEURÍSTICAS BASEADA EM TOPOI [en] TOPOS-BASED MODEL THEORY FOR HEURISTICS [pt] TEORIA DE CATEGORIAS[pt] LOGICA INTERNA[pt] TEORIA DE MODELOS[pt] TEORIA DE PROBLEMAS[pt] BUSCA HEURISTICA[en] CATEGORY THEORY[en] INTERNAL LOGIC[en] MODEL THEORY[en] PROBLEM THEORY[en] HEURISTIC SEARCH[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.[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.MAXWELLEDWARD HERMANN HAEUSLERFERNANDO NAUFEL DO AMARAL2004-08-06info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/otherhttps://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@2http://doi.org/10.17771/PUCRio.acad.5254porreponame: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/openAccess2019-05-30T00:00:00Zoai: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.none.fl_str_mv [pt] TEORIA DE MODELOS PARA HEURÍSTICAS BASEADA EM TOPOI
[en] TOPOS-BASED MODEL THEORY FOR HEURISTICS
title [pt] TEORIA DE MODELOS PARA HEURÍSTICAS BASEADA EM TOPOI
spellingShingle [pt] TEORIA DE MODELOS PARA HEURÍSTICAS BASEADA EM TOPOI
FERNANDO NAUFEL DO AMARAL
[pt] TEORIA DE CATEGORIAS
[pt] LOGICA INTERNA
[pt] TEORIA DE MODELOS
[pt] TEORIA DE PROBLEMAS
[pt] BUSCA HEURISTICA
[en] CATEGORY THEORY
[en] INTERNAL LOGIC
[en] MODEL THEORY
[en] PROBLEM THEORY
[en] HEURISTIC SEARCH
title_short [pt] TEORIA DE MODELOS PARA HEURÍSTICAS BASEADA EM TOPOI
title_full [pt] TEORIA DE MODELOS PARA HEURÍSTICAS BASEADA EM TOPOI
title_fullStr [pt] TEORIA DE MODELOS PARA HEURÍSTICAS BASEADA EM TOPOI
title_full_unstemmed [pt] TEORIA DE MODELOS PARA HEURÍSTICAS BASEADA EM TOPOI
title_sort [pt] TEORIA DE MODELOS PARA HEURÍSTICAS BASEADA EM TOPOI
author FERNANDO NAUFEL DO AMARAL
author_facet FERNANDO NAUFEL DO AMARAL
author_role author
dc.contributor.none.fl_str_mv EDWARD HERMANN HAEUSLER
dc.contributor.author.fl_str_mv FERNANDO NAUFEL DO AMARAL
dc.subject.por.fl_str_mv [pt] TEORIA DE CATEGORIAS
[pt] LOGICA INTERNA
[pt] TEORIA DE MODELOS
[pt] TEORIA DE PROBLEMAS
[pt] BUSCA HEURISTICA
[en] CATEGORY THEORY
[en] INTERNAL LOGIC
[en] MODEL THEORY
[en] PROBLEM THEORY
[en] HEURISTIC SEARCH
topic [pt] TEORIA DE CATEGORIAS
[pt] LOGICA INTERNA
[pt] TEORIA DE MODELOS
[pt] TEORIA DE PROBLEMAS
[pt] BUSCA HEURISTICA
[en] CATEGORY THEORY
[en] INTERNAL LOGIC
[en] MODEL THEORY
[en] PROBLEM THEORY
[en] HEURISTIC SEARCH
description [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.
publishDate 2004
dc.date.none.fl_str_mv 2004-08-06
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/other
format other
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
http://doi.org/10.17771/PUCRio.acad.5254
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
http://doi.org/10.17771/PUCRio.acad.5254
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 MAXWELL
publisher.none.fl_str_mv MAXWELL
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_ 1814822550315728896

Registros relacionados