Lógicas de raciocínio aproximado e o problema SAT

Detalhes bibliográficos
Autor(a) principal: Ide, Fabio Luiz
Data de Publicação: 2004
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da USP
Texto Completo: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-142926/
Resumo: O objetivo deste trabalho é utilizar os conhecimentos de lógicas de raciocínio aproximado para incrementar os métodos de resolução do problema SAT (completos e incompletos), através da criação de novas heurísticas que reduzem o tamanho do espaço de busca de uma dada instância o problema. Foram desenvolvidos dois novos algoritmos, denominados S1 e s1, que foram testados sobre o problema das N-Rainhas para a análise de sua eficiência.
id USP_5aeb5547047885fcf78eeeb2ad9cf2a9
oai_identifier_str oai:teses.usp.br:tde-20210729-142926
network_acronym_str USP
network_name_str Biblioteca Digital de Teses e Dissertações da USP
repository_id_str 2721
spelling Lógicas de raciocínio aproximado e o problema SATnot availableInteligência ArtificialO objetivo deste trabalho é utilizar os conhecimentos de lógicas de raciocínio aproximado para incrementar os métodos de resolução do problema SAT (completos e incompletos), através da criação de novas heurísticas que reduzem o tamanho do espaço de busca de uma dada instância o problema. Foram desenvolvidos dois novos algoritmos, denominados S1 e s1, que foram testados sobre o problema das N-Rainhas para a análise de sua eficiência.not availableBiblioteca Digitais de Teses e Dissertações da USPFinger, MarceloIde, Fabio Luiz2004-10-14info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttps://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-142926/reponame:Biblioteca Digital de Teses e Dissertações da USPinstname:Universidade de São Paulo (USP)instacron:USPLiberar o conteúdo para acesso público.info:eu-repo/semantics/openAccesspor2021-07-31T19:13:37Zoai:teses.usp.br:tde-20210729-142926Biblioteca Digital de Teses e Dissertaçõeshttp://www.teses.usp.br/PUBhttp://www.teses.usp.br/cgi-bin/mtd2br.plvirginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.bropendoar:27212021-07-31T19:13:37Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false
dc.title.none.fl_str_mv Lógicas de raciocínio aproximado e o problema SAT
not available
title Lógicas de raciocínio aproximado e o problema SAT
spellingShingle Lógicas de raciocínio aproximado e o problema SAT
Ide, Fabio Luiz
Inteligência Artificial
title_short Lógicas de raciocínio aproximado e o problema SAT
title_full Lógicas de raciocínio aproximado e o problema SAT
title_fullStr Lógicas de raciocínio aproximado e o problema SAT
title_full_unstemmed Lógicas de raciocínio aproximado e o problema SAT
title_sort Lógicas de raciocínio aproximado e o problema SAT
author Ide, Fabio Luiz
author_facet Ide, Fabio Luiz
author_role author
dc.contributor.none.fl_str_mv Finger, Marcelo
dc.contributor.author.fl_str_mv Ide, Fabio Luiz
dc.subject.por.fl_str_mv Inteligência Artificial
topic Inteligência Artificial
description O objetivo deste trabalho é utilizar os conhecimentos de lógicas de raciocínio aproximado para incrementar os métodos de resolução do problema SAT (completos e incompletos), através da criação de novas heurísticas que reduzem o tamanho do espaço de busca de uma dada instância o problema. Foram desenvolvidos dois novos algoritmos, denominados S1 e s1, que foram testados sobre o problema das N-Rainhas para a análise de sua eficiência.
publishDate 2004
dc.date.none.fl_str_mv 2004-10-14
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-142926/
url https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-142926/
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv
dc.rights.driver.fl_str_mv Liberar o conteúdo para acesso público.
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Liberar o conteúdo para acesso público.
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.coverage.none.fl_str_mv
dc.publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
dc.source.none.fl_str_mv
reponame:Biblioteca Digital de Teses e Dissertações da USP
instname:Universidade de São Paulo (USP)
instacron:USP
instname_str Universidade de São Paulo (USP)
instacron_str USP
institution USP
reponame_str Biblioteca Digital de Teses e Dissertações da USP
collection Biblioteca Digital de Teses e Dissertações da USP
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)
repository.mail.fl_str_mv virginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.br
_version_ 1809090927989358592

Registros relacionados