Transição de fase em satisfazibilidade probabilística

• Processo: 13/22445-4
• Modalidade de apoio: Bolsas no Brasil - Iniciação Científica
• Data de Início da vigência: 01 de dezembro de 2013
• Data de Término da vigência: 31 de julho de 2014
• Área de conhecimento: Ciências Exatas e da Terra - Ciência da Computação
• Pesquisador responsável: Fabio Gagliardi Cozman
• Beneficiário: Fábio Tosetto Reale
• Instituição Sede: Escola Politécnica (EP). Universidade de São Paulo (USP). São Paulo , SP, Brasil
• Assunto(s): Inteligência artificial Cálculo proposicional Transição de fase
• Palavra(s)-Chave do Pesquisador: Inteligência Artificial | Lógica Probabilística | Lógica Proposicional | Satisfazibilidade | Transição de fase | Inteligência Artificial

Resumo

O objetivo do trabalho é investigar o fenômeno de transição de fase no problema de satisfazibilidade probabilística (PSAT), usando um novo algoritmo, recentemente desenvolvido pelo orientador. Pretende-se investigar problemas com cláusulas contendo apenas dois literais (2-PSAT).O foco no problema 2-PSAT se deve ao fato do fenômeno de transição de fase ser bem entendido para problemas de satisfazibilidade (não probabilística) em forma normal conjuntiva com cláusulas contendo dois literais(2-SAT).