Implementação de uma Estratégia Eficiente para a Lógica C1 em um Provador de Teoremas Multi-Estratégia

Edição de 10h44min de 7 de agosto de 2009

Informações

• Projeto de Iniciação Científica
• Título: Implementação de uma Estratégia Eficiente para a Lógica C1 em um Provador de Teoremas Multi-Estratégia
• Estudante (bolsista IC UTFPR): Emerson Shigeo Sugimoto.
• Orientador: Professor Adolfo Neto.
• Período: 08/2009 a 07/2010.

Descrição das Atividades

1. Levantamento bibliográfico sobre implementações de provadores de teoremas para a lógica C1
   • Leituras sobre padrões de projeto utilizados no KEMS
     1. Padrão Strategy
        • http://www.dsc.ufcg.edu.br/~jacques/cursos/1998.2/lp4/material/patterns/pat4.htm
        • http://en.wikipedia.org/wiki/Strategy_pattern
        • http://today.java.net/pub/a/today/2005/04/07/pojostrategy.html
        • http://www.c2.com/cgi/wiki?StrategyPattern
2. Estudo detalhado do sistema KEMS
3. Especificação e Projeto da Estratégia
4. Implementação da Estratégia
5. Testes
6. Escrita do Relatório Final

Cronograma de Atividades

• Período: Mês 1 ao mês 12.