Um Provador de Teoremas para Logicas de Inconsistencia Formal

1.156 visualizações

Publicada em

A nova versao do KEMS - "Provador de Teoremas Multi-estrategia baseado no Sistema KE" ( http://kems.incubadora.fapesp.br e http://www.ime.usp.br/~adolfo/KEMS ) implementa estrategias para duas Logicas de Inconsistencia Formal (LFIs): mbC e mCi. Apresentaremos os sistemas de tablo KE, as estrategias implementadas e os problemas utilizados para testar provadores para estas duas logicas. Faremos uma demonstracao do provador e discutiremos os resultados obtidos ate agora e as possibilidades de extensao deste provador para outras LFIs. Apresentacaoo feita nos Seminarios de Programa do Grupo de Logica Teorica e Aplicada CLE/IFCH e Colloquia Logicae - CLE-UNICAMP em 27/09/2006.

0 comentários
1 gostou
Estatísticas
Notas
  • Seja o primeiro a comentar

Sem downloads
Visualizações
Visualizações totais
1.156
No SlideShare
0
A partir de incorporações
0
Número de incorporações
55
Ações
Compartilhamentos
0
Downloads
0
Comentários
0
Gostaram
1
Incorporações 0
Nenhuma incorporação

Nenhuma nota no slide

×