Seminários de Pesquisa do DAINF
(→Programação) |
(→Sugestões para Futuras Palestras) |
||
| Linha 28: | Linha 28: | ||
* "KEMS - Um provador de teoremas multi-estratégia" - Prof. [[Adolfo Neto]] | * "KEMS - Um provador de teoremas multi-estratégia" - Prof. [[Adolfo Neto]] | ||
| + | Resumo: KEMS (http://www.dainf.ct.utfpr.edu.br/~adolfo/KEMS) é um provador de teoremas multi-estratégias baseado no sistema KE. O sistema KE, um método de tablôs desenvolvido por Marco Mondadori e Marcello D'Agostino, foi apresentado como uma melhoria, no sentido computacional, em relação ao método de tablôs analíticos de Smullyan. Um provador de teoremas multi-estratégia é um provador de teoremas onde podemos variar a estratégia de prova sem modificar o núcleo da implementação. Um provador de teoremas multi-estratégia pode ser usado com três objetivos: educacionais, exploratórios e adaptativos. Com objetivos educacionais, ele pode ser usado para ilustrar como a escolha de uma estratégia pode afetar o desempenho do provador. Como uma ferramenta exploratória, ele pode ser usado para testar novas estratégias e compará-las com outras. E podemos pensar em um provador de teoremas multi-estratégia adaptativo que modifica a estratégia utilizada de acordo com características do problema apresentado a ele. | ||
Edição de 16h27min de 6 de abril de 2009
Tabela de conteúdo |
Descrição
Ciclo de apresentações de temas de pesquisa no DAINF.
Programação
Primeiro semestre de 2009
06/04/2009 (segunda-feira) - 14:00 - "Classificação Automática de Gêneros Musicais" - Prof. Celso Kaestner. Local: Sala de vídeo conferência. Clique aqui para ler um artigo relacionado a esta palestra.
Resumo: O tema a ser apresentado é a classificação automática de gêneros musicais a partir de arquivos em formato digital (MP3 ou similar). Inicialmente os arquivos são tratados por procedimentos de extração, que geram vetores de características. Estes vetores são então submetidos a algoritmos de aprendizagem de máquina, seguindo o paradigma supervisionado para problemas de classificação. No projeto empregou-se uma abordagem baseada na cooperação de diversos classificadores, seguindo a decomposição do problema nas dimensões "espacial" e "temporal". São empregados diversos classificadores: naïve-Bayes, árvores de decisão, SVM, redes neurais e k-NN. Foram também realizados experimentos de seleção de atributos, com o uso de um procedimento baseado em algoritmos genéticos. Todos os experimentos empregaram uma nova base de dados, a "Latin Music Database", composta por 3.160 músicas de 10 gêneros musicais.
Sugestões para Futuras Palestras
- "KEMS - Um provador de teoremas multi-estratégia" - Prof. Adolfo Neto
Resumo: KEMS (http://www.dainf.ct.utfpr.edu.br/~adolfo/KEMS) é um provador de teoremas multi-estratégias baseado no sistema KE. O sistema KE, um método de tablôs desenvolvido por Marco Mondadori e Marcello D'Agostino, foi apresentado como uma melhoria, no sentido computacional, em relação ao método de tablôs analíticos de Smullyan. Um provador de teoremas multi-estratégia é um provador de teoremas onde podemos variar a estratégia de prova sem modificar o núcleo da implementação. Um provador de teoremas multi-estratégia pode ser usado com três objetivos: educacionais, exploratórios e adaptativos. Com objetivos educacionais, ele pode ser usado para ilustrar como a escolha de uma estratégia pode afetar o desempenho do provador. Como uma ferramenta exploratória, ele pode ser usado para testar novas estratégias e compará-las com outras. E podemos pensar em um provador de teoremas multi-estratégia adaptativo que modifica a estratégia utilizada de acordo com características do problema apresentado a ele.
