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

Ide, Fabio Luiz

doi:10.11606/D.45.2004.tde-20210729-142926

Início

Servicios

Disertación de Maestría

DOI

https://doi.org/10.11606/D.45.2004.tde-20210729-142926

Documento

Disertación de Maestría

Autor

Ide, Fabio Luiz (Catálogo USP)

Nombre completo

Fabio Luiz Ide

Dirección Electrónica

Instituto/Escuela/Facultad

Instituto de Matemática e Estatística

Área de Conocimiento

Informática

Fecha de Defensa

2004-10-14

Publicación

São Paulo, 2001

Director

Finger, Marcelo (Catálogo USP)

Título en portugués

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

Palabras clave en portugués

Inteligência Artificial

Resumen en portugués

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.

Título en inglés

not available

Resumen en inglés

not available

ADVERTENCIA - La consulta de este documento queda condicionada a la aceptación de las siguientes condiciones de uso:
Este documento es únicamente para usos privados enmarcados en actividades de investigación y docencia. No se autoriza su reproducción con finalidades de lucro. Esta reserva de derechos afecta tanto los datos del documento como a sus contenidos. En la utilización o cita de partes del documento es obligado indicar el nombre de la persona autora.

IdeFabioLuiz.pdf (6.12 Mbytes)

Fecha de Publicación

2021-07-29

Trabajos derivados

ADVERTENCIA: Aprenda que son los trabajos derivados haciendo clic aquí.