Implementação de uma Estratégia Eficiente para a Lógica C1 em um Provador de Teoremas Multi-Estratégia
De Wiki DAINF
(Diferença entre revisões)
(→Tarefas) |
|||
Linha 1: | Linha 1: | ||
− | + | = Informações = | |
* Projeto de Iniciação Científica | * Projeto de Iniciação Científica | ||
Linha 7: | Linha 7: | ||
* Período: 08/2009 a 07/2010. | * Período: 08/2009 a 07/2010. | ||
* Grupo de Pesquisa: [[Grupo de Pesquisa em Inteligência Computacional]] | * Grupo de Pesquisa: [[Grupo de Pesquisa em Inteligência Computacional]] | ||
+ | |||
+ | = Gerenciamento de Tarefas = | ||
== Tarefas em Andamento == | == Tarefas em Andamento == | ||
Linha 34: | Linha 36: | ||
== Backlog == | == Backlog == | ||
− | + | = Descrição das Atividades = | |
# Levantamento bibliográfico sobre implementações de provadores de teoremas para [[A lógica C1| a lógica C1]] | # Levantamento bibliográfico sobre implementações de provadores de teoremas para [[A lógica C1| a lógica C1]] | ||
Linha 56: | Linha 58: | ||
# Escrita do Relatório Final | # Escrita do Relatório Final | ||
− | + | = Cronograma de Atividades (Inicial) = | |
* Período: Mês 1 ao mês 12. | * Período: Mês 1 ao mês 12. |
Edição de 13h26min de 15 de setembro de 2009
Tabela de conteúdo |
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 Shigueo Sugimoto.
- Orientador: Professor Adolfo Neto.
- Período: 08/2009 a 07/2010.
- Grupo de Pesquisa: Grupo de Pesquisa em Inteligência Computacional
Gerenciamento de Tarefas
Tarefas em Andamento
- Demonstração da instância 3 da família 5 usando os dois sistemas KE para C1
- Início: 14/09/2009
- Término previsto: 16/09/2009
- Demonstração de várias instâncias de várias das famílias de problemas para LFIs com o objetivo de descobrir:
- Qual é a família mais difícil para a C1SimpleStrategy?
- Que regras podemos adicionar o sistema para tornar o processo de demonstração mais eficiente?
- Início: 15/09/2009
- Término prvisto: 22/09/2009
Tarefas temporariamente suspensas
- Página Wiki sobre a lógica C1.
- Início: 09/09/2009
- Término previsto: 26/09/2009
- Leituras sobre padrões de projeto
- Elaboração de resumo sobre os padrões de projeto utilizados no KEMS
- Início: 01/09/2009
- Término previsto: 28/09/2009
- Elaboração de resumo sobre os padrões de projeto utilizados no KEMS
Backlog
Descrição das Atividades
- Levantamento bibliográfico sobre implementações de provadores de teoremas para a lógica C1
- Leituras sobre padrões de projeto utilizados no KEMS
- Padrão Strategy
- Livros disponíveis na Biblioteca:
- GAMMA, Erich; JOHNSON, Ralph, 1948-; HELM, Richard; VLISSIDES, John. Padrões de projeto: soluções reutilizáveis de software orientado a objetos . Porto Alegre: Bookman, 2002 364 p.
- METSKER, Steven John. Padrões de projeto em Java. Porto Alegre: Bookman, 2004. 407 p.
- LARMAN, Craig. Utilizando UML e padrões: uma introdução à análise e ao projeto orientados a objetos e ao desenvolvimento iterativo. 3. ed. Porto Alegre: Bookman, 2007. 695 p.
- SHALLOWAY, Alan. Explicando padrões de projeto: uma nova perspectiva em projeto orientado a objeto. Porto Alegre: Bookman, 2004. 328 p.
- http://serpeerless.wordpress.com/category/design-patterns/
- http://www.dsc.ufcg.edu.br/~jacques/cursos/1998.2/lp4/material/patterns/pat4.htm
- http://www.lcg.ufrj.br/Cursos/designpatterns/structural.html
- 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
- Livros disponíveis na Biblioteca:
- Padrão Strategy
- Leituras sobre padrões de projeto utilizados no KEMS
- Estudo detalhado do sistema KEMS
- Especificação e Projeto da Estratégia
- Implementação da Estratégia
- Testes
- Escrita do Relatório Final
Cronograma de Atividades (Inicial)
- Período: Mês 1 ao mês 12.
|
| |||||||||||
|
|
|
|
|
|
|
|
|
|
|
| |
|
X | X | ||||||||||
|
X | X | ||||||||||
|
X | X | ||||||||||
|
X | X | X | X | X | X | X | |||||
|
X | X | X | X | X | X | X | |||||
|
X | X | ||||||||||