Lógicas de raciocínio aproximado e o problema SAT (2004)
- Authors:
- Autor USP: IDE, FABIO LUIZ - IME
- Unidade: IME
- Sigla do Departamento: MAC
- Assunto: INTELIGÊNCIA ARTIFICIAL
- Language: Português
- Abstract: 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.
- Imprenta:
- Data da defesa: 14.10.2004
-
ABNT
IDE, Fabio Luiz. Lógicas de raciocínio aproximado e o problema SAT. 2004. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2004. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-142926/. Acesso em: 28 set. 2024. -
APA
Ide, F. L. (2004). Lógicas de raciocínio aproximado e o problema SAT (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-142926/ -
NLM
Ide FL. Lógicas de raciocínio aproximado e o problema SAT [Internet]. 2004 ;[citado 2024 set. 28 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-142926/ -
Vancouver
Ide FL. Lógicas de raciocínio aproximado e o problema SAT [Internet]. 2004 ;[citado 2024 set. 28 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-142926/
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas